]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/html/c533.html
This commit was manufactured by cvs2svn to create branch
[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
deleted file mode 100644 (file)
index c58e6ff..0000000
+++ /dev/null
@@ -1,234 +0,0 @@
-<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