]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/html/c533.html
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / html / c533.html
diff --git a/helm/DEVEL/pxp/pxp/doc/manual/html/c533.html b/helm/DEVEL/pxp/pxp/doc/manual/html/c533.html
new file mode 100644 (file)
index 0000000..c58e6ff
--- /dev/null
@@ -0,0 +1,234 @@
+<HTML
+><HEAD
+><TITLE
+>Using PXP</TITLE
+><META
+NAME="GENERATOR"
+CONTENT="Modular DocBook HTML Stylesheet Version 1.46"><LINK
+REL="HOME"
+TITLE="The PXP user's guide"
+HREF="index.html"><LINK
+REL="UP"
+TITLE="User's guide"
+HREF="p34.html"><LINK
+REL="PREVIOUS"
+TITLE="A complete example: The readme DTD"
+HREF="x468.html"><LINK
+REL="NEXT"
+TITLE="How to parse a document from an application"
+HREF="x550.html"><LINK
+REL="STYLESHEET"
+TYPE="text/css"
+HREF="markup.css"></HEAD
+><BODY
+CLASS="CHAPTER"
+BGCOLOR="#FFFFFF"
+TEXT="#000000"
+LINK="#0000FF"
+VLINK="#840084"
+ALINK="#0000FF"
+><DIV
+CLASS="NAVHEADER"
+><TABLE
+WIDTH="100%"
+BORDER="0"
+CELLPADDING="0"
+CELLSPACING="0"
+><TR
+><TH
+COLSPAN="3"
+ALIGN="center"
+>The PXP user's guide</TH
+></TR
+><TR
+><TD
+WIDTH="10%"
+ALIGN="left"
+VALIGN="bottom"
+><A
+HREF="x468.html"
+>Prev</A
+></TD
+><TD
+WIDTH="80%"
+ALIGN="center"
+VALIGN="bottom"
+></TD
+><TD
+WIDTH="10%"
+ALIGN="right"
+VALIGN="bottom"
+><A
+HREF="x550.html"
+>Next</A
+></TD
+></TR
+></TABLE
+><HR
+ALIGN="LEFT"
+WIDTH="100%"></DIV
+><DIV
+CLASS="CHAPTER"
+><H1
+><A
+NAME="AEN533"
+>Chapter 2. Using <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+></A
+></H1
+><DIV
+CLASS="TOC"
+><DL
+><DT
+><B
+>Table of Contents</B
+></DT
+><DT
+>2.1. <A
+HREF="c533.html#AEN536"
+>Validation</A
+></DT
+><DT
+>2.2. <A
+HREF="x550.html"
+>How to parse a document from an application</A
+></DT
+><DT
+>2.3. <A
+HREF="x675.html"
+>Class-based processing of the node tree</A
+></DT
+><DT
+>2.4. <A
+HREF="x738.html"
+>Example: An HTML backend for the <I
+CLASS="EMPHASIS"
+>readme</I
+>
+DTD</A
+></DT
+></DL
+></DIV
+><DIV
+CLASS="SECT1"
+><H1
+CLASS="SECT1"
+><A
+NAME="AEN536"
+>2.1. Validation</A
+></H1
+><P
+>The parser can be used to <I
+CLASS="EMPHASIS"
+>validate</I
+> a document. This means
+that all the constraints that must hold for a valid document are actually
+checked. Validation is the default mode of <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+>, i.e. every document is
+validated while it is being parsed.</P
+><P
+>In the <TT
+CLASS="LITERAL"
+>examples</TT
+> directory of the distribution you find the
+<TT
+CLASS="LITERAL"
+>pxpvalidate</TT
+> application. It is invoked in the following way:
+
+<PRE
+CLASS="PROGRAMLISTING"
+>pxpvalidate [ -wf ] <TT
+CLASS="REPLACEABLE"
+><I
+>file</I
+></TT
+>...</PRE
+>
+
+The files mentioned on the command line are validated, and every warning and
+every error messages are printed to stderr.</P
+><P
+>The -wf switch modifies the behaviour such that a well-formedness parser is
+simulated. In this mode, the ELEMENT, ATTLIST, and NOTATION declarations of the
+DTD are ignored, and only the ENTITY declarations will take effect. This mode
+is intended for documents lacking a DTD. Please note that the parser still
+scans the DTD fully and will report all errors in the DTD; such checks are not
+required by a well-formedness parser.</P
+><P
+>The <TT
+CLASS="LITERAL"
+>pxpvalidate</TT
+> application is the simplest sensible program
+using <SPAN
+CLASS="ACRONYM"
+>PXP</SPAN
+>, you may consider it as "hello world" program. </P
+></DIV
+></DIV
+><DIV
+CLASS="NAVFOOTER"
+><HR
+ALIGN="LEFT"
+WIDTH="100%"><TABLE
+WIDTH="100%"
+BORDER="0"
+CELLPADDING="0"
+CELLSPACING="0"
+><TR
+><TD
+WIDTH="33%"
+ALIGN="left"
+VALIGN="top"
+><A
+HREF="x468.html"
+>Prev</A
+></TD
+><TD
+WIDTH="34%"
+ALIGN="center"
+VALIGN="top"
+><A
+HREF="index.html"
+>Home</A
+></TD
+><TD
+WIDTH="33%"
+ALIGN="right"
+VALIGN="top"
+><A
+HREF="x550.html"
+>Next</A
+></TD
+></TR
+><TR
+><TD
+WIDTH="33%"
+ALIGN="left"
+VALIGN="top"
+>A complete example: The <I
+CLASS="EMPHASIS"
+>readme</I
+> DTD</TD
+><TD
+WIDTH="34%"
+ALIGN="center"
+VALIGN="top"
+><A
+HREF="p34.html"
+>Up</A
+></TD
+><TD
+WIDTH="33%"
+ALIGN="right"
+VALIGN="top"
+>How to parse a document from an application</TD
+></TR
+></TABLE
+></DIV
+></BODY
+></HTML
+>
\ No newline at end of file