]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/html/index.html
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / html / index.html
1 <HTML
2 ><HEAD
3 ><TITLE
4 >The PXP user's guide</TITLE
5 ><META
6 NAME="GENERATOR"
7 CONTENT="Modular DocBook HTML Stylesheet Version 1.46"><LINK
8 REL="NEXT"
9 TITLE="User's guide"
10 HREF="p34.html"><LINK
11 REL="STYLESHEET"
12 TYPE="text/css"
13 HREF="markup.css"></HEAD
14 ><BODY
15 CLASS="BOOK"
16 BGCOLOR="#FFFFFF"
17 TEXT="#000000"
18 LINK="#0000FF"
19 VLINK="#840084"
20 ALINK="#0000FF"
21 ><DIV
22 CLASS="BOOK"
23 ><A
24 NAME="AEN1"
25 ></A
26 ><DIV
27 CLASS="TITLEPAGE"
28 ><H1
29 CLASS="TITLE"
30 ><A
31 NAME="AEN1"
32 >The PXP user's guide</A
33 ></H1
34 ><H3
35 CLASS="AUTHOR"
36 >Gerd Stolpmann</H3
37 ><P
38 CLASS="COPYRIGHT"
39 >Copyright &copy; 1999, 2000 by <SPAN
40 CLASS="HOLDER"
41 >Gerd Stolpmann</SPAN
42 ></P
43 ><DIV
44 ><DIV
45 CLASS="ABSTRACT"
46 ><P
47 ></P
48 ><P
49 ><SPAN
50 CLASS="ACRONYM"
51 >PXP</SPAN
52 > is a validating parser for XML-1.0 which has been
53 written entirely in Objective Caml.</P
54 ><DIV
55 CLASS="FORMALPARA"
56 ><P
57 ><H1
58 CLASS="TITLE"
59 ><A
60 NAME="AEN18"
61 >Download <SPAN
62 CLASS="ACRONYM"
63 >PXP</SPAN
64 >:</A
65 ></H1
66 >The free <SPAN
67 CLASS="ACRONYM"
68 >PXP</SPAN
69 > library can be downloaded at
70 <A
71 HREF="http://www.ocaml-programming.de/packages/"
72 TARGET="_top"
73 >http://www.ocaml-programming.de/packages/</A
74 >. This user's guide is included.
75 Newest releases of <SPAN
76 CLASS="ACRONYM"
77 >PXP</SPAN
78 > will be announced in
79 <A
80 HREF="http://www.npc.de/ocaml/linkdb/"
81 TARGET="_top"
82 >The OCaml Link
83 Database</A
84 >.</P
85 ></DIV
86 ><P
87 ></P
88 ></DIV
89 ></DIV
90 ><DIV
91 CLASS="LEGALNOTICE"
92 ><P
93 ><B
94 >License</B
95 ></P
96 ><P
97 >This document, and the described software, "<SPAN
98 CLASS="ACRONYM"
99 >PXP</SPAN
100 >", are copyright by
101 Gerd Stolpmann. </P
102 ><P
103 >Permission is hereby granted, free of charge, to any person obtaining
104 a copy of this document and the "<SPAN
105 CLASS="ACRONYM"
106 >PXP</SPAN
107 >" software (the
108 "Software"), to deal in the Software without restriction, including
109 without limitation the rights to use, copy, modify, merge, publish,
110 distribute, sublicense, and/or sell copies of the Software, and to
111 permit persons to whom the Software is furnished to do so, subject to
112 the following conditions:</P
113 ><P
114 >The above copyright notice and this permission notice shall be included
115 in all copies or substantial portions of the Software.</P
116 ><P
117 >The Software is provided ``as is'', without warranty of any kind, express
118 or implied, including but not limited to the warranties of
119 merchantability, fitness for a particular purpose and noninfringement.
120 In no event shall Gerd Stolpmann be liable for any claim, damages or
121 other liability, whether in an action of contract, tort or otherwise,
122 arising from, out of or in connection with the Software or the use or
123 other dealings in the software.</P
124 ></DIV
125 ><HR></DIV
126 ><DIV
127 CLASS="TOC"
128 ><DL
129 ><DT
130 ><B
131 >Table of Contents</B
132 ></DT
133 ><DT
134 >I. <A
135 HREF="p34.html"
136 >User's guide</A
137 ></DT
138 ><DD
139 ><DL
140 ><DT
141 >1. <A
142 HREF="c36.html"
143 >What is XML?</A
144 ></DT
145 ><DD
146 ><DL
147 ><DT
148 >1.1. <A
149 HREF="c36.html#AEN38"
150 >Introduction</A
151 ></DT
152 ><DT
153 >1.2. <A
154 HREF="x107.html"
155 >Highlights of XML</A
156 ></DT
157 ><DT
158 >1.3. <A
159 HREF="x468.html"
160 >A complete example: The <I
161 CLASS="EMPHASIS"
162 >readme</I
163 > DTD</A
164 ></DT
165 ></DL
166 ></DD
167 ><DT
168 >2. <A
169 HREF="c533.html"
170 >Using <SPAN
171 CLASS="ACRONYM"
172 >PXP</SPAN
173 ></A
174 ></DT
175 ><DD
176 ><DL
177 ><DT
178 >2.1. <A
179 HREF="c533.html#AEN536"
180 >Validation</A
181 ></DT
182 ><DT
183 >2.2. <A
184 HREF="x550.html"
185 >How to parse a document from an application</A
186 ></DT
187 ><DT
188 >2.3. <A
189 HREF="x675.html"
190 >Class-based processing of the node tree</A
191 ></DT
192 ><DT
193 >2.4. <A
194 HREF="x738.html"
195 >Example: An HTML backend for the <I
196 CLASS="EMPHASIS"
197 >readme</I
198 >
199 DTD</A
200 ></DT
201 ></DL
202 ></DD
203 ><DT
204 >3. <A
205 HREF="c893.html"
206 >The objects representing the document</A
207 ></DT
208 ><DD
209 ><DL
210 ><DT
211 >3.1. <A
212 HREF="c893.html#AEN897"
213 >The <TT
214 CLASS="LITERAL"
215 >document</TT
216 > class</A
217 ></DT
218 ><DT
219 >3.2. <A
220 HREF="x939.html"
221 >The class type <TT
222 CLASS="LITERAL"
223 >node</TT
224 ></A
225 ></DT
226 ><DT
227 >3.3. <A
228 HREF="x1439.html"
229 >The class type <TT
230 CLASS="LITERAL"
231 >extension</TT
232 ></A
233 ></DT
234 ><DT
235 >3.4. <A
236 HREF="x1496.html"
237 >Details of the mapping from XML text to the tree representation</A
238 ></DT
239 ></DL
240 ></DD
241 ><DT
242 >4. <A
243 HREF="c1567.html"
244 >Configuring and calling the parser</A
245 ></DT
246 ><DD
247 ><DL
248 ><DT
249 >4.1. <A
250 HREF="c1567.html#AEN1569"
251 >Overview</A
252 ></DT
253 ><DT
254 >4.2. <A
255 HREF="x1629.html"
256 >Resolvers and sources</A
257 ></DT
258 ><DT
259 >4.3. <A
260 HREF="x1812.html"
261 >The DTD classes</A
262 ></DT
263 ><DT
264 >4.4. <A
265 HREF="x1818.html"
266 >Invoking the parser</A
267 ></DT
268 ><DT
269 >4.5. <A
270 HREF="x1965.html"
271 >Updates</A
272 ></DT
273 ></DL
274 ></DD
275 ></DL
276 ></DD
277 ></DL
278 ></DIV
279 ></DIV
280 ><DIV
281 CLASS="NAVFOOTER"
282 ><HR
283 ALIGN="LEFT"
284 WIDTH="100%"><TABLE
285 WIDTH="100%"
286 BORDER="0"
287 CELLPADDING="0"
288 CELLSPACING="0"
289 ><TR
290 ><TD
291 WIDTH="33%"
292 ALIGN="left"
293 VALIGN="top"
294 >&nbsp;</TD
295 ><TD
296 WIDTH="34%"
297 ALIGN="center"
298 VALIGN="top"
299 >&nbsp;</TD
300 ><TD
301 WIDTH="33%"
302 ALIGN="right"
303 VALIGN="top"
304 ><A
305 HREF="p34.html"
306 >Next</A
307 ></TD
308 ></TR
309 ><TR
310 ><TD
311 WIDTH="33%"
312 ALIGN="left"
313 VALIGN="top"
314 >&nbsp;</TD
315 ><TD
316 WIDTH="34%"
317 ALIGN="center"
318 VALIGN="top"
319 >&nbsp;</TD
320 ><TD
321 WIDTH="33%"
322 ALIGN="right"
323 VALIGN="top"
324 >User's guide</TD
325 ></TR
326 ></TABLE
327 ></DIV
328 ></BODY
329 ></HTML
330 >