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>Token</title>
18
<code class="code"><span class="keyword">sig</span><br>
19
<span class="keyword">type</span> pattern = string * string<br>
20
<span class="keyword">exception</span> <span class="constructor">Error</span> <span class="keyword">of</span> string<br>
21
<span class="keyword">type</span> location = int * int<br>
22
<span class="keyword">and</span> location_function = int <span class="keywordsign">-></span> <span class="constructor">Token</span>.location<br>
23
<span class="keyword">and</span> <span class="keywordsign">'</span>a lexer_func = char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Stream</span>.t * <span class="constructor">Token</span>.location_function<br>
24
<span class="keyword">and</span> <span class="keywordsign">'</span>a glexer = {<br>
25
tok_func : <span class="keywordsign">'</span>a <span class="constructor">Token</span>.lexer_func;<br>
26
tok_using : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> unit;<br>
27
tok_removing : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> unit;<br>
28
tok_match : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string;<br>
29
tok_text : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> string;<br>
30
<span class="keyword">mutable</span> tok_comm : <span class="constructor">Token</span>.location list option;<br>
32
<span class="keyword">val</span> lexer_text : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> string<br>
33
<span class="keyword">val</span> default_match : <span class="constructor">Token</span>.pattern <span class="keywordsign">-></span> string * string <span class="keywordsign">-></span> string<br>
34
<span class="keyword">val</span> lexer_func_of_parser :<br>
35
(char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a * <span class="constructor">Token</span>.location) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Token</span>.lexer_func<br>
36
<span class="keyword">val</span> lexer_func_of_ocamllex : (<span class="constructor">Lexing</span>.lexbuf <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Token</span>.lexer_func<br>
37
<span class="keyword">val</span> make_stream_and_location :<br>
38
(unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a * <span class="constructor">Token</span>.location) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Stream</span>.t * <span class="constructor">Token</span>.location_function<br>
39
<span class="keyword">val</span> eval_char : string <span class="keywordsign">-></span> char<br>
40
<span class="keyword">val</span> eval_string : string <span class="keywordsign">-></span> string<br>
41
<span class="keyword">end</span></code></body></html>
b'\\ No newline at end of file'