X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fhtml%2Fc893.html;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fhtml%2Fc893.html;h=0000000000000000000000000000000000000000;hp=0e564fb20c18c1322242ece31c274a190d84ea3e;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff diff --git a/helm/DEVEL/pxp/pxp/doc/manual/html/c893.html b/helm/DEVEL/pxp/pxp/doc/manual/html/c893.html deleted file mode 100644 index 0e564fb20..000000000 --- a/helm/DEVEL/pxp/pxp/doc/manual/html/c893.html +++ /dev/null @@ -1,349 +0,0 @@ -The objects representing the document
The PXP user's guide
PrevNext

Chapter 3. The objects representing the document

Table of Contents
3.1. The document class
3.2. The class type node
3.3. The class type extension
3.4. Details of the mapping from XML text to the tree representation

This description might be out-of-date. See the module interface files -for updated information.

3.1. The document class

class [ 'ext ] document :
-  Pxp_types.collect_warnings -> 
-  object
-    method init_xml_version : string -> unit
-    method init_root : 'ext node -> unit
-
-    method xml_version : string
-    method xml_standalone : bool
-    method dtd : dtd
-    method root : 'ext node
-
-    method encoding : Pxp_types.rep_encoding
-
-    method add_pinstr : proc_instruction -> unit
-    method pinstr : string -> proc_instruction list
-    method pinstr_names : string list
-
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> unit
-
-  end
-;;
- -The methods beginning with init_ are only for internal use -of the parser.


PrevHomeNext
Example: An HTML backend for the readme -DTDUpThe class type node
\ No newline at end of file