2
<link rel="stylesheet" href="style.css" type="text/css">
3
<link rel="Start" href="index.html">
4
<link title="Index of types" rel=Appendix href="index_types.html">
5
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
6
<link title="Index of values" rel=Appendix href="index_values.html">
7
<link title="Index of modules" rel=Appendix href="index_modules.html">
8
<link title="Index of module types" rel=Appendix href="index_module_types.html">
9
<link title="Grammar" rel="Chapter" href="Grammar.html">
10
<link title="Extfun" rel="Chapter" href="Extfun.html">
11
<link title="Pcaml" rel="Chapter" href="Pcaml.html">
12
<link title="Plexer" rel="Chapter" href="Plexer.html">
13
<link title="Quotation" rel="Chapter" href="Quotation.html">
14
<link title="Token" rel="Chapter" href="Token.html">
15
<link title="Stdpp" rel="Chapter" href="Stdpp.html"><title>Grammar.S</title>
18
<code class="code"><span class="keyword">sig</span><br>
19
<span class="keyword">type</span> te<br>
20
<span class="keyword">and</span> parsable<br>
21
<span class="keyword">val</span> parsable : char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable<br>
22
<span class="keyword">val</span> tokens : string <span class="keywordsign">-></span> (string * int) list<br>
23
<span class="keyword">val</span> glexer : <span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Token</span>.glexer<br>
24
<span class="keyword">module</span> <span class="constructor">Entry</span> :<br>
25
<span class="keyword">sig</span><br>
26
<span class="keyword">type</span> <span class="keywordsign">'</span>a e<br>
27
<span class="keyword">val</span> create : string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
28
<span class="keyword">val</span> parse : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> <span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
29
<span class="keyword">val</span> parse_token : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> <span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
30
<span class="keyword">val</span> name : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> string<br>
31
<span class="keyword">val</span> of_parser :<br>
32
string <span class="keywordsign">-></span> (<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
33
<span class="keyword">val</span> print : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> unit<br>
34
<span class="keyword">external</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> <span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Gramext</span>.g_entry<br>
35
= <span class="string">"%identity"</span><br>
36
<span class="keyword">end</span><br>
37
<span class="keyword">module</span> <span class="constructor">Unsafe</span> :<br>
38
<span class="keyword">sig</span><br>
39
<span class="keyword">val</span> gram_reinit : <span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Token</span>.glexer <span class="keywordsign">-></span> unit<br>
40
<span class="keyword">val</span> clear_entry : <span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> unit<br>
41
<span class="keyword">end</span><br>
42
<span class="keyword">val</span> extend :<br>
43
<span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span><br>
44
<span class="constructor">Gramext</span>.position option <span class="keywordsign">-></span><br>
45
(string option * <span class="constructor">Gramext</span>.g_assoc option *<br>
46
(<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Gramext</span>.g_symbol list * <span class="constructor">Gramext</span>.g_action) list)<br>
47
list <span class="keywordsign">-></span> unit<br>
48
<span class="keyword">val</span> delete_rule :<br>
49
<span class="keywordsign">'</span>a <span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e <span class="keywordsign">-></span> <span class="constructor">Grammar</span>.<span class="constructor">S</span>.te <span class="constructor">Gramext</span>.g_symbol list <span class="keywordsign">-></span> unit<br>
50
<span class="keyword">end</span></code></body></html>
b'\\ No newline at end of file'