File: type_Xmlm.S.html

package info (click to toggle)
xmlm 1.0.2-1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 424 kB
  • ctags: 670
  • sloc: ml: 1,770; sh: 90; makefile: 19
file content (78 lines) | stat: -rw-r--r-- 15,667 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
 
<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Xmlm" rel="Chapter" href="Xmlm.html"><title>Xmlm.S</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;encoding&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">ISO_8859_1</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">US_ASCII</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">UTF_16</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">UTF_16BE</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">UTF_16LE</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">UTF_8</span>&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;dtd&nbsp;=&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;name&nbsp;=&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;attribute&nbsp;=&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.name&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;tag&nbsp;=&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.name&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.attribute&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;signal&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">Data</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Dtd</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.dtd<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">El_end</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">El_start</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.tag&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ns_xml&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ns_xmlns&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;pos&nbsp;=&nbsp;int&nbsp;*&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;error&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">Expected_char_seqs</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;list&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Expected_root_element</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Illegal_char_ref</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Illegal_char_seq</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Malformed_char_stream</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Max_buffer_size</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Unexpected_eoi</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Unknown_encoding</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Unknown_entity_ref</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Unknown_ns_prefix</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">Error</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.pos&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.error<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;error_message&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.error&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;source&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">Channel</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Pervasives</span>.in_channel<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Fun</span>&nbsp;<span class="keyword">of</span>&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">String</span>&nbsp;<span class="keyword">of</span>&nbsp;int&nbsp;*&nbsp;<span class="constructor">Xmlm</span>.std_string&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;input<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_input&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;?enc:<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.encoding&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;?strip:bool&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;?ns:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;option)&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;?entity:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;option)&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.source&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;input&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.signal<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;input_tree&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;el:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.tag&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;data:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;input_doc_tree&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;el:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.tag&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;data:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.dtd&nbsp;*&nbsp;<span class="keywordsign">'</span>a<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;peek&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.signal<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;eoi&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pos&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.input&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.pos<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;frag&nbsp;=&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">Data</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">El</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.tag&nbsp;*&nbsp;<span class="keywordsign">'</span>a&nbsp;list&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;dest&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&nbsp;<span class="keywordsign">`</span><span class="constructor">Buffer</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Xmlm</span>.std_buffer<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Channel</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Pervasives</span>.out_channel<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Fun</span>&nbsp;<span class="keyword">of</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit&nbsp;]<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;output<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_output&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;?nl:bool&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;?indent:int&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;?ns_prefix:(<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.string&nbsp;option)&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.dest&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.output<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;output&nbsp;:&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.output&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.signal&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;output_tree&nbsp;:&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.frag)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.output&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;output_doc_tree&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.frag)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.output&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Xmlm</span>.<span class="constructor">S</span>.dtd&nbsp;*&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
<span class="keyword">end</span></code></body></html>