]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/html/c533.html
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / html / c533.html
1 <HTML
2 ><HEAD
3 ><TITLE
4 >Using PXP</TITLE
5 ><META
6 NAME="GENERATOR"
7 CONTENT="Modular DocBook HTML Stylesheet Version 1.46"><LINK
8 REL="HOME"
9 TITLE="The PXP user's guide"
10 HREF="index.html"><LINK
11 REL="UP"
12 TITLE="User's guide"
13 HREF="p34.html"><LINK
14 REL="PREVIOUS"
15 TITLE="A complete example: The readme DTD"
16 HREF="x468.html"><LINK
17 REL="NEXT"
18 TITLE="How to parse a document from an application"
19 HREF="x550.html"><LINK
20 REL="STYLESHEET"
21 TYPE="text/css"
22 HREF="markup.css"></HEAD
23 ><BODY
24 CLASS="CHAPTER"
25 BGCOLOR="#FFFFFF"
26 TEXT="#000000"
27 LINK="#0000FF"
28 VLINK="#840084"
29 ALINK="#0000FF"
30 ><DIV
31 CLASS="NAVHEADER"
32 ><TABLE
33 WIDTH="100%"
34 BORDER="0"
35 CELLPADDING="0"
36 CELLSPACING="0"
37 ><TR
38 ><TH
39 COLSPAN="3"
40 ALIGN="center"
41 >The PXP user's guide</TH
42 ></TR
43 ><TR
44 ><TD
45 WIDTH="10%"
46 ALIGN="left"
47 VALIGN="bottom"
48 ><A
49 HREF="x468.html"
50 >Prev</A
51 ></TD
52 ><TD
53 WIDTH="80%"
54 ALIGN="center"
55 VALIGN="bottom"
56 ></TD
57 ><TD
58 WIDTH="10%"
59 ALIGN="right"
60 VALIGN="bottom"
61 ><A
62 HREF="x550.html"
63 >Next</A
64 ></TD
65 ></TR
66 ></TABLE
67 ><HR
68 ALIGN="LEFT"
69 WIDTH="100%"></DIV
70 ><DIV
71 CLASS="CHAPTER"
72 ><H1
73 ><A
74 NAME="AEN533"
75 >Chapter 2. Using <SPAN
76 CLASS="ACRONYM"
77 >PXP</SPAN
78 ></A
79 ></H1
80 ><DIV
81 CLASS="TOC"
82 ><DL
83 ><DT
84 ><B
85 >Table of Contents</B
86 ></DT
87 ><DT
88 >2.1. <A
89 HREF="c533.html#AEN536"
90 >Validation</A
91 ></DT
92 ><DT
93 >2.2. <A
94 HREF="x550.html"
95 >How to parse a document from an application</A
96 ></DT
97 ><DT
98 >2.3. <A
99 HREF="x675.html"
100 >Class-based processing of the node tree</A
101 ></DT
102 ><DT
103 >2.4. <A
104 HREF="x738.html"
105 >Example: An HTML backend for the <I
106 CLASS="EMPHASIS"
107 >readme</I
108 >
109 DTD</A
110 ></DT
111 ></DL
112 ></DIV
113 ><DIV
114 CLASS="SECT1"
115 ><H1
116 CLASS="SECT1"
117 ><A
118 NAME="AEN536"
119 >2.1. Validation</A
120 ></H1
121 ><P
122 >The parser can be used to <I
123 CLASS="EMPHASIS"
124 >validate</I
125 > a document. This means
126 that all the constraints that must hold for a valid document are actually
127 checked. Validation is the default mode of <SPAN
128 CLASS="ACRONYM"
129 >PXP</SPAN
130 >, i.e. every document is
131 validated while it is being parsed.</P
132 ><P
133 >In the <TT
134 CLASS="LITERAL"
135 >examples</TT
136 > directory of the distribution you find the
137 <TT
138 CLASS="LITERAL"
139 >pxpvalidate</TT
140 > application. It is invoked in the following way:
141
142 <PRE
143 CLASS="PROGRAMLISTING"
144 >pxpvalidate [ -wf ] <TT
145 CLASS="REPLACEABLE"
146 ><I
147 >file</I
148 ></TT
149 >...</PRE
150 >
151
152 The files mentioned on the command line are validated, and every warning and
153 every error messages are printed to stderr.</P
154 ><P
155 >The -wf switch modifies the behaviour such that a well-formedness parser is
156 simulated. In this mode, the ELEMENT, ATTLIST, and NOTATION declarations of the
157 DTD are ignored, and only the ENTITY declarations will take effect. This mode
158 is intended for documents lacking a DTD. Please note that the parser still
159 scans the DTD fully and will report all errors in the DTD; such checks are not
160 required by a well-formedness parser.</P
161 ><P
162 >The <TT
163 CLASS="LITERAL"
164 >pxpvalidate</TT
165 > application is the simplest sensible program
166 using <SPAN
167 CLASS="ACRONYM"
168 >PXP</SPAN
169 >, you may consider it as "hello world" program. </P
170 ></DIV
171 ></DIV
172 ><DIV
173 CLASS="NAVFOOTER"
174 ><HR
175 ALIGN="LEFT"
176 WIDTH="100%"><TABLE
177 WIDTH="100%"
178 BORDER="0"
179 CELLPADDING="0"
180 CELLSPACING="0"
181 ><TR
182 ><TD
183 WIDTH="33%"
184 ALIGN="left"
185 VALIGN="top"
186 ><A
187 HREF="x468.html"
188 >Prev</A
189 ></TD
190 ><TD
191 WIDTH="34%"
192 ALIGN="center"
193 VALIGN="top"
194 ><A
195 HREF="index.html"
196 >Home</A
197 ></TD
198 ><TD
199 WIDTH="33%"
200 ALIGN="right"
201 VALIGN="top"
202 ><A
203 HREF="x550.html"
204 >Next</A
205 ></TD
206 ></TR
207 ><TR
208 ><TD
209 WIDTH="33%"
210 ALIGN="left"
211 VALIGN="top"
212 >A complete example: The <I
213 CLASS="EMPHASIS"
214 >readme</I
215 > DTD</TD
216 ><TD
217 WIDTH="34%"
218 ALIGN="center"
219 VALIGN="top"
220 ><A
221 HREF="p34.html"
222 >Up</A
223 ></TD
224 ><TD
225 WIDTH="33%"
226 ALIGN="right"
227 VALIGN="top"
228 >How to parse a document from an application</TD
229 ></TR
230 ></TABLE
231 ></DIV
232 ></BODY
233 ></HTML
234 >