3
<link rel="stylesheet" href="style.css" type="text/css">
4
<link rel="Start" href="index.html">
5
<link rel="previous" href="Grammar.Entry.html">
6
<link rel="next" href="Grammar.GMake.html">
7
<link rel="Up" href="Grammar.html">
8
<link title="Index of types" rel=Appendix href="index_types.html">
9
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
10
<link title="Index of values" rel=Appendix href="index_values.html">
11
<link title="Index of modules" rel=Appendix href="index_modules.html">
12
<link title="Index of module types" rel=Appendix href="index_module_types.html">
13
<link title="Grammar" rel="Chapter" href="Grammar.html">
14
<link title="Extfun" rel="Chapter" href="Extfun.html">
15
<link title="Pcaml" rel="Chapter" href="Pcaml.html">
16
<link title="Plexer" rel="Chapter" href="Plexer.html">
17
<link title="Quotation" rel="Chapter" href="Quotation.html">
18
<link title="Token" rel="Chapter" href="Token.html">
19
<link title="Stdpp" rel="Chapter" href="Stdpp.html"><title>Grammar.Unsafe</title>
22
<div class="navbar"><a href="Grammar.Entry.html">Previous</a>
23
<a href="Grammar.html">Up</a>
24
<a href="Grammar.GMake.html">Next</a>
26
<center><h1>Module <a href="type_Grammar.Unsafe.html">Grammar.Unsafe</a></h1></center>
28
<pre><span class="keyword">module</span> Unsafe: <code class="type">sig end</code></pre><div class="info">
29
Module for clearing grammars and entries. To be manipulated with
30
care, because: 1) reinitializing a grammar destroys all tokens
31
and there may have problems with the associated lexer if it has
32
a notion of keywords; 2) clearing an entry does not destroy the
33
tokens used only by itself.<ul>
34
<li> <code class="code">Unsafe.reinit_gram g lex</code> removes the tokens of the grammar</li>
35
<li> and sets <code class="code">lex</code> as a new lexer for <code class="code">g</code>. Warning: the lexer</li>
36
<li> itself is not reinitialized.</li>
37
<li> <code class="code">Unsafe.clear_entry e</code> removes all rules of the entry <code class="code">e</code>.</li>
42
<pre><span class="keyword">val</span> <a name="VALgram_reinit"></a>gram_reinit : <code class="type"><a href="Grammar.html#TYPEg">Grammar.g</a> -> Token.t <a href="Token.html#TYPEglexer">Token.glexer</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALclear_entry"></a>clear_entry : <code class="type">'a <a href="Grammar.Entry.html#TYPEe">Grammar.Entry.e</a> -> unit</code></pre></body></html>
b'\\ No newline at end of file'