POST URL-encoded form

- gerd@gerd-stolpmann.de - · parse_document_entity:

./xtest filename.html
./xtest filename.html
<!DOCTYPE root ... [ ... ] > <root> ... </root>
 <!DOCTYPE>
parse_document_entity
parse_wfdocument_entity
<!DOCTYPE>
"main.xml"
<!ENTITY % sub SYSTEM "sub/sub.xml">
-%sub;
"sub"
"sub.xml"
<!ENTITY % subsub SYSTEM "subsub/subsub.xml">
-%subsub;
"subsub"
"sub"
"subsub.xml"
subsub
"sub/subsub"
SYSTEM
SYSTEM
SYSTEM
SYSTEM
PUBLIC
PUBLIC
para
p
<!ELEMENT document (section)+>
-<!ELEMENT section (paragraph)+>
-<!ELEMENT paragraph (#PCDATA)>
<?xml version="1.0" encoding="ISO-8859-1"?>
-<!DOCTYPE document SYSTEM "simple.dtd">
-<document>
-  <section>
-    <paragraph>This is a paragraph of the first section.</paragraph>
-    <paragraph>This is another paragraph of the first section.</paragraph>
-  </section>
-  <section>
-    <paragraph>This is the only paragraph of the second section.</paragraph>
-  </section>
-</document>
<name-of-the-type-of-the-piece>
</name-of-the-type-of-the-piece>
p
<p>First paragraph 
-<p>Second paragraph
<paragraph>First paragraph</paragraph>
-<paragraph>Second paragraph</paragraph>
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE document SYSTEM "simple.dtd">
<!DOCTYPE document SYSTEM "http://host/location/simple.dtd">
DOCTYPE
document
<document>
</document>
document
section
paragraph
<!ELEMENT name content-model>
document
section
paragraph
#PCDATA
examples
pxpvalidate
pxpvalidate [ -wf ] file...
pxpvalidate
document
node
extension
document
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
-;;
init_
xml_version
<?xml version="1.0"?>
xml_standalone
standalone
standalone
false
dtd
root
encoding
pinstr
<?
?>
pinstr_names
add_pinstr
pinstr
write
node
document
node
extension
<?xml version="1.0" encoding="Your encoding"?>
-<!DOCTYPE root [
-  Declarations
-]>
<?xml version="1.0" encoding="Your encoding"?>
-<!DOCTYPE root SYSTEM "file name">
<?xml version="1.0" encoding="Your encoding"?>
-<!DOCTYPE root  SYSTEM "file name" [
-  Declarations
-]>
<?xml
?>
DOCTYPE
<?xml version="1.0" encoding="Your encoding"?>
-<!DOCTYPE root  SYSTEM "file name" [
-  Declarations
-]>
-
-<root>
-  inner contents
-</root>
&lt;
&gt;
&amp;
&apos;
&quot;
&#n;
n
&#xn;
&#37;
&#x25;
<element-type>
</element-type>
<!ELEMENT name ANY>
<!ELEMENT name EMPTY>
<name/>
<!ELEMENT name (#PCDATA | element₁ | ... | element_n )*>
<!ELEMENT name (#PCDATA)>
q
<!ELEMENT q (#PCDATA | r | s)*>
<q>This is character data<r></r>with <s></s>inner elements</q>
t
<q>This is character data<r></r>with <t></t>inner elements</q>
<!ELEMENT name regexp>
element-name
(subexpr₁ ,
, subexpr_n )
(subexpr₁ |
| subexpr_n )
subexpr*
subexpr+
subexpr?
,
|
*
+
?
#PCDATA
element-name
<!ELEMENT x y>
<!ELEMENT x (y)>
subexpr*
subexpr+
subexpr?
subexpr
<!ELEMENT x y**>
<!ELEMENT x (y*)*>
)
*
+
?
<!ELEMENT x (y|z) *>
<!ELEMENT x (y|z)*>
<!ELEMENT q (r?, (s | t)+)>
-<!ELEMENT r (#PCDATA)>
-<!ELEMENT s EMPTY>
-<!ELEMENT t (q | r)>
<q><r>Some characters</r><s/></q>
<s/>
<s></s>
<s/>
s
t
r
<q><s/><t><q><s/></q></t></q>
<element-name attribute₁="value₁" ... attribute_n="value_n">
"value_k"
'value_k'
n
<!ATTLIST element-name 
-          attribute-name attribute-type attribute-default
-          ...
-          attribute-name attribute-type attribute-default
->
CDATA
NMTOKEN
NMTOKENS
#REQUIRED
#IMPLIED
"value"
'value'
r
<!ATTLIST r 
-          x CDATA    #REQUIRED
-          y NMTOKEN  #IMPLIED
-          z NMTOKENS "one two three">
x
y
z
y
z
<r x="He said: &quot;I don't like quotes!&quot;" y='1'>
<!ENTITY % name "value">
%name;
<!ENTITY % model "a | b | c">
-<!ELEMENT x (%model;)>
-<!ELEMENT y (%model;)>
<!ENTITY % name SYSTEM "file name">
<!
>
<!ENTITY % e "(a | b | c)>">
-<!ELEMENT x %e;
<!
>
e
<!ENTITY % e "(a | b | c">
-<!ELEMENT x %e;)>
(
e
)
 
-<!ENTITY % suffix "gif"> 
-<!ENTITY iconfile 'icon.%suffix;'>
%suffix;
iconfile
<!ENTITY % suffix "test">
-<!ELEMENT x.%suffix; ANY>
%suffix;
%suffix;
spacetestspace
<!ENTITY % e "(a | b | c)">
-<!ELEMENT x %e;*>
)
*
<!ENTITY name "value">
<!ENTITY name SYSTEM "file name">
&name;
&#38;%name;;
<!ENTITY authors "Gerd Stolpmann">
&authors;
<!ENTITY lengthy-tag "<section textcolor='white' background='graphic'>">
-<!ENTITY nonsense    "<a></b>">
<!ENTITY % variant "a">      <!-- or "b" -->
-<!ENTITY text-a "This is text A.">
-<!ENTITY text-b "This is text B.">
-<!ENTITY text "&#38;text-%variant;;">
&text;
variant
text-a
text-b
extension
class type [ 'node ] extension =
-  object ('self)
-    method clone : 'self
-      (* "clone" should return an exact deep copy of the object. *)
-    method node : 'node
-      (* "node" returns the corresponding node of this extension. This method
-       * intended to return exactly what previously has been set by "set_node".
-       *)
-    method set_node : 'node -> unit
-      (* "set_node" is invoked once the extension is associated to a new
-       * node object.
-       *)
-  end
node
extension
node
element_impl
data_impl
extension
node
self # node # attribute "xy"
self # node # iter
-  (fun n -> n # extension # my_method ...)
my_method
clone
node
set_node
extension
set_node
set_node
set_node
node
clone
clone
class custom_extension =
-  object (self)
-
-    val mutable node = (None : custom_extension node option)
-
-    method clone = {< >} 
-
-    method node =
-      match node with
-          None ->
-            assert false
-        | Some n -> n
-
-    method set_node n =
-      node <- Some n
-
-  end
extension
class custom_extension =
-  object (self)
-    val mutable node = (None : custom_extension node option)
-
-    method clone = ...      (* see above *)
-    method node = ...       (* see above *)
-    method set_node n = ... (* see above *)
-
-    method virtual my_method1 : ...
-    method virtual my_method2 : ...
-    ... (* etc. *)
-  end
-
-class custom_extension_kind_A =
-  object (self)
-    inherit custom_extension
-
-    method my_method1 = ...
-    method my_method2 = ...
-  end
-
-class custom_extension_kind_B =
-  object (self)
-    inherit custom_extension
-
-    method my_method1 = ...
-    method my_method2 = ...
-  end
assert false
Pxp_yacc
spec
c
let spec =
-  make_spec_from_alist
-    ~data_exemplar:            (new data_impl c)
-    ~default_element_exemplar: (new element_impl c)
-    ~element_alist:            []
-    ()
c
c
c
~element_alist
let spec =
-  make_spec_from_alist
-    ~data_exemplar:            (new data_impl c)
-    ~default_element_exemplar: (new element_impl c)
-    ~element_alist:            
-      [ "p", new element_impl c_p;
-        "q", new element_impl c_q;
-      ]
-    ()
c
node
EMPTY
EMPTY
<!ELEMENT x ( #PCDATA | z )* >
-<!ELEMENT y ( z )* >
-<!ELEMENT z EMPTY>
x
#PCDATA
<x><z/> <z/></x>
x
z
z
<y><z/> <z/></y>
y
z
y
Pxp_types.rep_encoding
<?xml ... encoding="..."?>
collect_warning
attribute

<?target rest?>
enable_pinstr_nodes
T_pinstr target
spec
T_comment
enable_comment_nodes
spec
comment
xml:lang
xml:space
extension
source
type source =
-    Entity of ((dtd -> Pxp_entity.entity) * Pxp_reader.resolver)
-  | ExtID of (ext_id * Pxp_reader.resolver)
source
from_file s
s
~system_encoding
s
let s_utf8  =  recode_string ~in_enc:`Enc_iso88591 ~out_enc:`Enc_utf8 s in
-from_file ~system_encoding:`Enc_iso88591 s_utf8
source
SYSTEM
PUBLIC
SYSTEM
from_channel ch
ch
from_channel ~id:(System "file:///dir/dir1/") ch
let ch = open_in s in
-let src = from_channel ~system_encoding:`Enc_iso88591 ch in
-...;
-close_in ch
from_string s
s
SYSTEM
PUBLIC
let src = from_string ~fixenc:`ISO-8859-2 s
ExtID (id, r)
id
SYSTEM
PUBLIC
r
r
Entity (get_entity, r)
get_entity
-dtd
dtd
r
r
SYSTEM
PUBLIC
Lexing.lexbuf
exception Not_competent
-exception Not_resolvable of exn
-
-class type resolver =
-  object
-    method init_rep_encoding : rep_encoding -> unit
-    method init_warner : collect_warnings -> unit
-    method rep_encoding : rep_encoding
-    method open_in : ext_id -> Lexing.lexbuf
-    method close_in : unit
-    method change_encoding : string -> unit
-    method clone : resolver
-    method close_all : unit
-  end
init_warner
init_rep_encoding
rep_encoding
open_in
Lexing.lexbuf
close_in
clone
open_in
change_encoding
open_in
Lexing.from_function
change_encoding
change_encoding
close_all
open_in
Not_competent
Not_resolvable
class resolve_read_this_channel : 
-    ?id:ext_id -> 
-    ?fixenc:encoding -> 
-    ?auto_close:bool -> 
-    in_channel -> 
-        resolver
~id
~fixenc
~auto_close = true
~auto_close = false
class resolve_read_any_channel : 
-    ?auto_close:bool -> 
-    channel_of_id:(ext_id -> (in_channel * encoding option)) -> 
-        resolver
~channel_of_id
ext_id
None
Some e
e
~auto_close = true
~auto_close = false
class resolve_read_url_channel :
-    ?base_url:Neturl.url ->
-    ?auto_close:bool -> 
-    url_of_id:(ext_id -> Neturl.url) -> 
-    channel_of_url:(Neturl.url -> (in_channel * encoding option)) -> 
-        resolver
~url_of_id
~channel_of_url
~url_of_id
~channel_of_url
~url_of_id
~channel_of_url
~url_of_id
~channel_of_url
None
Some e
e
~auto_close = true
~auto_close = false
~base_url
class resolve_read_this_string : 
-    ?id:ext_id -> 
-    ?fixenc:encoding -> 
-    string -> 
-        resolver
~id
~fixenc
class resolve_read_any_string : 
-    string_of_id:(ext_id -> (string * encoding option)) -> 
-        resolver
~string_of_id
ext_id
None
Some e
e
class resolve_as_file :
-    ?file_prefix:[ `Not_recognized | `Allowed | `Required ] ->
-    ?host_prefix:[ `Not_recognized | `Allowed | `Required ] ->
-    ?system_encoding:encoding ->
-    ?url_of_id:(ext_id -> Neturl.url) -> 
-    ?channel_of_url: (Neturl.url -> (in_channel * encoding option)) ->
-    unit -> 
-        resolver
~file_prefix
`Not_recognized:
`Allowed:
`Required:
~host_prefix:
`Not_recognized:
`Allowed:
`Required:
~system_encoding:
~url_of_id
~channel_of_url
class combine : 
-    ?prefer:resolver -> 
-    resolver list -> 
-        resolver
ext_id
(**********************************************************************)
-(*                                                                    *)
-(* Pxp_dtd:                                                           *)
-(*     Object model of document type declarations                     *)
-(*                                                                    *)
-(**********************************************************************)
-
-(* ======================================================================
- * OVERVIEW
- *
- * class dtd ............... represents the whole DTD, including element
- *                           declarations, entity declarations, notation
- *                           declarations, and processing instructions
- * class dtd_element ....... represents an element declaration consisting
- *                           of a content model and an attribute list
- *                           declaration
- * class dtd_notation ...... represents a notation declaration
- * class proc_instruction .. represents a processing instruction
- * ======================================================================
- *
- *)
-
-
-class dtd :
-  (* Creation:
-   *   new dtd
-   * creates a new, empty DTD object without any declaration, without a root
-   * element, without an ID.
-   *)
-  Pxp_types.collect_warnings -> 
-  Pxp_types.rep_encoding ->
-  object
-    method root : string option
-      (* get the name of the root element if present *)
-
-    method set_root : string -> unit
-      (* set the name of the root element. This method can be invoked 
-       * only once
-       *)
-
-    method id : Pxp_types.dtd_id option
-      (* get the identifier for this DTD *)
-
-    method set_id : Pxp_types.dtd_id -> unit
-      (* set the identifier. This method can be invoked only once *)
-
-    method encoding : Pxp_types.rep_encoding
-      (* returns the encoding used for character representation *)
-
-
-    method allow_arbitrary : unit
-      (* After this method has been invoked, the object changes its behaviour:
-       * - elements and notations that have not been added may be used in an
-       *   arbitrary way; the methods "element" and "notation" indicate this
-       *   by raising Undeclared instead of Validation_error.
-       *)
-
-    method disallow_arbitrary : unit
-
-    method arbitrary_allowed : bool
-      (* Returns whether arbitrary contents are allowed or not. *)
-
-    method standalone_declaration : bool
-      (* Whether there is a 'standalone' declaration or not. Strictly 
-       * speaking, this declaration is not part of the DTD, but it is
-       * included here because of practical reasons. 
-       * If not set, this property defaults to 'false'.
-       *)
-
-    method set_standalone_declaration : bool -> unit
-      (* Sets the 'standalone' declaration. *)
-
-
-    method add_element : dtd_element -> unit
-      (* add the given element declaration to this DTD. Raises Not_found
-       * if there is already an element declaration with the same name.
-       *)
-
-    method add_gen_entity : Pxp_entity.entity -> bool -> unit
-      (* add_gen_entity e extdecl:
-       * add the entity 'e' as general entity to this DTD (general entities
-       * are those represented by &name;). If there is already a declaration
-       * with the same name, the second definition is ignored; as exception from
-       * this rule, entities with names "lt", "gt", "amp", "quot", and "apos"
-       * may only be redeclared with a definition that is equivalent to the
-       * standard definition; otherwise a Validation_error is raised.
-       *
-       * 'extdecl': 'true' indicates that the entity declaration occurs in
-       * an external entity. (Used for the standalone check.)
-       *)
-
-    method add_par_entity : Pxp_entity.entity -> unit
-      (* add the given entity as parameter entity to this DTD (parameter
-       * entities are those represented by %name;). If there is already a 
-       * declaration with the same name, the second definition is ignored.
-       *)
-
-    method add_notation : dtd_notation -> unit
-      (* add the given notation to this DTD. If there is already a declaration
-       * with the same name, a Validation_error is raised.
-       *)
-
-    method add_pinstr : proc_instruction -> unit
-      (* add the given processing instruction to this DTD. *)
-
-    method element : string -> dtd_element
-      (* looks up the element declaration with the given name. Raises 
-       * Validation_error if the element cannot be found. (If "allow_arbitrary"
-       * has been invoked before, Unrestricted is raised instead.)
-       *)
-
-    method element_names : string list
-      (* returns the list of the names of all element declarations. *)
-
-    method gen_entity : string -> (Pxp_entity.entity * bool)
-      (* let e, extdecl = obj # gen_entity n:
-       * looks up the general entity 'e' with the name 'n'. Raises
-       * WF_error if the entity cannot be found.
-       * 'extdecl': indicates whether the entity declaration occured in an 
-       * external entity.
-       *)
-
-    method gen_entity_names : string list
-      (* returns the list of all general entity names *)
-
-    method par_entity : string -> Pxp_entity.entity
-      (* looks up the parameter entity with the given name. Raises
-       * WF_error if the entity cannot be found.
-       *)
-
-    method par_entity_names : string list
-      (* returns the list of all parameter entity names *)
-
-    method notation : string -> dtd_notation
-      (* looks up the notation declaration with the given name. Raises
-       * Validation_error if the notation cannot be found. (If "allow_arbitrary"
-       * has been invoked before, Unrestricted is raised instead.)
-       *)
-
-    method notation_names : string list
-      (* Returns the list of the names of all added notations *)
-
-    method pinstr : string -> proc_instruction list
-      (* looks up all processing instructions with the given target.
-       * The "target" is the identifier following "<?".
-       * Note: It is not possible to find out the exact position of the
-       * processing instruction.
-       *)
-
-    method pinstr_names : string list
-      (* Returns the list of the names (targets) of all added pinstrs *)
-
-    method validate : unit
-      (* ensures that the DTD is valid. This method is optimized such that
-       * actual validation is only performed if DTD has changed.
-       * If the DTD is invalid, mostly a Validation_error is raised,
-       * but other exceptions are possible, too.
-       *)
-
-    method only_deterministic_models : unit
-      (* Succeeds if all regexp content models are deterministic. 
-       * Otherwise Validation_error.
-       *)
-
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> bool -> unit
-      (* write_compact_as_latin1 os enc doctype:
-       * Writes the DTD as 'enc'-encoded string to 'os'. If 'doctype', a 
-       * DTD like <!DOCTYPE root [ ... ]> is written. If 'not doctype',
-       * only the declarations are written (the material within the
-       * square brackets).
-       *)
-
-    method write_compact_as_latin1 : Pxp_types.output_stream -> bool -> unit
-      (* DEPRECATED METHOD; included only to keep compatibility with
-       * older versions of the parser
-       *)
-
-
-    (*----------------------------------------*)
-    method invalidate : unit
-      (* INTERNAL METHOD *)
-    method warner : Pxp_types.collect_warnings
-      (* INTERNAL METHOD *)
-  end
-
-
-
-(* ---------------------------------------------------------------------- *)
-
-and dtd_element : dtd -> string -> 
-  (* Creation:
-   *   new dtd_element init_dtd init_name:
-   * creates a new dtd_element object for init_dtd with init_name.
-   * The strings are represented in the same encoding as init_dtd.
-   *)
-  object
-
-    method name : string
-      (* returns the name of the declared element *)
-
-    method externally_declared : bool
-      (* returns whether the element declaration occurs in an external
-       * entity.
-       *)
-
-    method content_model : Pxp_types.content_model_type
-      (* get the content model of this element declaration, or Unspecified *)
-
-    method content_dfa : Pxp_dfa.dfa_definition option
-      (* return the DFA of the content model if there is a DFA, or None.
-       * A DFA exists only for regexp style content models which are
-       * deterministic.
-       *)
-
-    method set_cm_and_extdecl : Pxp_types.content_model_type -> bool -> unit
-      (* set_cm_and_extdecl cm extdecl:
-       * set the content model to 'cm'. Once the content model is not 
-       * Unspecified, it cannot be set to a different value again.
-       * Furthermore, it is set whether the element occurs in an external
-       * entity ('extdecl').
-       *)
-
-    method encoding : Pxp_types.rep_encoding
-      (* Return the encoding of the strings *)
-
-    method allow_arbitrary : unit
-      (* After this method has been invoked, the object changes its behaviour:
-       * - attributes that have not been added may be used in an
-       *   arbitrary way; the method "attribute" indicates this
-       *   by raising Undeclared instead of Validation_error.
-       *)
-
-    method disallow_arbitrary : unit
-
-    method arbitrary_allowed : bool
-      (* Returns whether arbitrary attributes are allowed or not. *)
-
-    method attribute : string -> 
-                         Pxp_types.att_type * Pxp_types.att_default
-      (* get the type and default value of a declared attribute, or raise
-       * Validation_error if the attribute does not exist.
-       * If 'arbitrary_allowed', the exception Undeclared is raised instead
-       * of Validation_error.
-       *)
-
-    method attribute_violates_standalone_declaration : 
-               string -> string option -> bool
-      (* attribute_violates_standalone_declaration name v:
-       * Checks whether the attribute 'name' violates the "standalone"
-       * declaration if it has value 'v'.
-       * The method returns true if:
-       * - The attribute declaration occurs in an external entity, 
-       * and if one of the two conditions holds:
-       * - v = None, and there is a default for the attribute value
-       * - v = Some s, and the type of the attribute is not CDATA,
-       *   and s changes if normalized according to the rules of the
-       *   attribute type.
-       *
-       * The method raises Validation_error if the attribute does not exist.
-       * If 'arbitrary_allowed', the exception Undeclared is raised instead
-       * of Validation_error.
-       *)
-
-    method attribute_names : string list
-      (* get the list of all declared attributes *)
-
-    method names_of_required_attributes : string list
-      (* get the list of all attributes that are specified as required 
-       * attributes
-       *)
-
-    method id_attribute_name : string option
-      (* Returns the name of the attribute with type ID, or None. *)
-
-    method idref_attribute_names : string list
-      (* Returns the names of the attributes with type IDREF or IDREFS. *)
-
-    method add_attribute : string -> 
-                           Pxp_types.att_type -> 
-			   Pxp_types.att_default -> 
-			   bool ->
-			     unit
-      (* add_attribute name type default extdecl:
-       * add an attribute declaration for an attribute with the given name,
-       * type, and default value. If there is more than one declaration for
-       * an attribute name, the first declaration counts; the other declarations
-       * are ignored.
-       * 'extdecl': if true, the attribute declaration occurs in an external
-       * entity. This property is used to check the "standalone" attribute.
-       *)
-
-    method validate : unit
-      (* checks whether this element declaration (i.e. the content model and
-       * all attribute declarations) is valid for the associated DTD.
-       * Raises mostly Validation_error if the validation fails.
-       *)
-
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> unit
-      (* write_compact_as_latin1 os enc:
-       * Writes the <!ELEMENT ... > declaration to 'os' as 'enc'-encoded string.
-       *)
-
-    method write_compact_as_latin1 : Pxp_types.output_stream -> unit
-      (* DEPRECATED METHOD; included only to keep compatibility with
-       * older versions of the parser
-       *)
-  end
-
-(* ---------------------------------------------------------------------- *)
-
-and dtd_notation : string -> Pxp_types.ext_id -> Pxp_types.rep_encoding ->
-  (* Creation:
-   *    new dtd_notation a_name an_external_ID init_encoding
-   * creates a new dtd_notation object with the given name and the given
-   * external ID.
-   *)
-  object
-    method name : string
-    method ext_id : Pxp_types.ext_id
-    method encoding : Pxp_types.rep_encoding
-
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> unit
-      (* write_compact_as_latin1 os enc:
-       * Writes the <!NOTATION ... > declaration to 'os' as 'enc'-encoded 
-       * string.
-       *)
-
-    method write_compact_as_latin1 : Pxp_types.output_stream -> unit
-      (* DEPRECATED METHOD; included only to keep compatibility with
-       * older versions of the parser
-       *)
-
-  end
-
-(* ---------------------------------------------------------------------- *)
-
-and proc_instruction : string -> string -> Pxp_types.rep_encoding ->
-  (* Creation:
-   *   new proc_instruction a_target a_value
-   * creates a new proc_instruction object with the given target string and
-   * the given value string. 
-   * Note: A processing instruction is written as <?target value?>. 
-   *)
-  object
-    method target : string
-    method value : string
-    method encoding : Pxp_types.rep_encoding
-
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> unit
-      (* write os enc:
-       * Writes the <?...?> PI to 'os' as 'enc'-encoded string.
-       *)
-
-    method write_compact_as_latin1 : Pxp_types.output_stream -> unit
-      (* DEPRECATED METHOD; included only to keep compatibility with
-       * older versions of the parser
-       *)
-
-    method parse_pxp_option : (string * string * (string * string) list)
-      (* Parses a PI containing a PXP option. Such PIs are formed like:
-       *   <?target option-name option-att="value" option-att="value" ... ?>
-       * The method returns a triple
-       *   (target, option-name, [option-att, value; ...])
-       * or raises Error.
-       *)
-
-  end
-
-;;
val default_config : config
-val default_extension : ('a node extension) as 'a
-val default_spec : ('a node extension as 'a) spec
<!DOCTYPE ... [ declarations ] >
-<root>
-...
-</root>
<root>
-...
-</root>
val parse_dtd_entity : config -> source -> dtd
dtd
val extract_dtd_from_document_entity : config -> source -> dtd
dtd
val parse_document_entity : 
-    ?transform_dtd:(dtd -> dtd) ->
-    ?id_index:('ext index) ->
-    config -> 
-    source -> 
-    'ext spec -> 
-        'ext document
~transform_dtd
~id_index
val parse_wfdocument_entity : 
-    config -> 
-    source -> 
-    'ext spec -> 
-        'ext document
val parse_content_entity  : 
-    ?id_index:('ext index) ->
-    config ->  
-    source -> 
-    dtd -> 
-    'ext spec -> 
-        'ext node
val parse_wfcontent_entity : 
-    config -> 
-    source -> 
-    'ext spec -> 
-        'ext node
type config =
-    { warner : collect_warnings;
-      errors_with_line_numbers : bool;
-      enable_pinstr_nodes : bool;
-      enable_super_root_node : bool;
-      enable_comment_nodes : bool;
-      encoding : rep_encoding;
-      recognize_standalone_declaration : bool;
-      store_element_positions : bool;
-      idref_pass : bool;
-      validate_by_dfa : bool;
-      accept_only_deterministic_models : bool;
-      ...
-    }
warner:
warn
errors_with_line_numbers:
enable_pinstr_nodes:
enable_super_root_node:
T_super_root
enable_comment_nodes:
T_comment
encoding:
ext_id
recognize_standalone_declaration:
standalone="yes"
store_element_positions:
position
idref_pass:
validate_by_dfa:
accept_only_deterministic_models:
idref_pass
true
let config = { default_config with idref_pass = true }
<x><?pi1?><y/><?pi2?></x> 
x
y
x
x # pinstr "pi1"
x #
-pinstr "pi2"
x
enable_pinstr_nodes
pi1
pi2
x
x # sub_nodes = [ pi1; y; pi2 ]
pi1 # pinstr "pi1"
pi2 #
-pinstr "pi2"
make_spec_from_alist
document
doc # root = r
r
doc # root = sr         &&
-sr # sub_nodes = [ r ]
make_spec_from_alist
encoding
`Enc_utf8
write
let index = new hash_index
parse_document_entity
-  ~id_index:(index :> index)
-  config source spec
idref_pass
let config = { default_config with idref_pass = true }
<!ELEMENT x ((u,v) | (u,y+) | v)>
x
u
(u,v)
(u,y+)
accept_only_deterministic_models
validate_by_dfa
readme
<!ELEMENT readme (sect1+)>
-<!ATTLIST readme
-          title CDATA #REQUIRED>
sect1
title
readme
<!ELEMENT sect1 (title,(sect2|p|ul)+)>
-
-<!ELEMENT sect2 (title,(sect3|p|ul)+)>
-
-<!ELEMENT sect3 (title,(p|ul)+)>
title
sect3
p
ul
<!ENTITY % p.like "p|ul">
-
-<!ELEMENT sect1 (title,(sect2|%p.like;)+)>
-
-<!ELEMENT sect2 (title,(sect3|%p.like;)+)>
-
-<!ELEMENT sect3 (title,(%p.like;)+)>
p.like
p
ul
p.like
%p.like;
&name;
title
br
<!ELEMENT title (#PCDATA|br)*>
title
readme
br
p
title
<!ENTITY % text "br|code|em|footnote|a">
-
-<!ELEMENT p (#PCDATA|%text;)*>
<!ELEMENT br EMPTY>
br
<br></br>
<br/>
code
em
<!ELEMENT code (#PCDATA)>
-
-<!ELEMENT em (#PCDATA|%text;)*>
code
em
<!ELEMENT ul (li+)>
-
-<!ELEMENT li (%p.like;)*>
<!ELEMENT footnote (#PCDATA|%text;)*>
href
readmeref
href
<!ELEMENT a (#PCDATA)*>
-<!ATTLIST a 
-          href      CDATA #IMPLIED
-          readmeref CDATA #IMPLIED
->
<?xml version="1.0" encoding="ISO-8859-1"?>
-<!DOCTYPE readme SYSTEM "readme.dtd">
-<readme title="How to use the readme converters">
-<sect1>
-  <title>Usage</title>
-  <p>
-    The <em>readme</em> converter is invoked on the command line by:
-  </p>
-  <p>
-    <code>readme [ -text | -html ] input.xml</code>
-  </p>
-  <p>
-    Here a list of options:
-  </p>
-  <ul>
-    <li>
-      <p><code>-text</code>: specifies that ASCII output should be produced</p>
-    </li>
-    <li>
-      <p><code>-html</code>: specifies that HTML output should be produced</p>
-    </li>
-  </ul>
-  <p>
-    The input file must be given on the command line. The converted output is
-    printed to <em>stdout</em>.
-  </p>
-</sect1>
-<sect1>
-  <title>Author</title>
-  <p>
-    The program has been written by
-    <a href="mailto:Gerd.Stolpmann@darmstadt.netsurf.de">Gerd Stolpmann</a>.
-  </p>
-</sect1>
-</readme>
document
Pxp_document
node
node
element_impl
data_impl
Pxp_document
clone
node
set_node
extension
Pxp_document
dtd
dtd_element
dtd_notation
proc_instruction
Pxp_dtd
Pxp_entity
parse_document_entity
doc.xml
val parse_document_entity : config -> source -> 'ext spec -> 'ext document
Pxp_yacc
default_config
doc.xml
from_file "doc.xml"
'ext
default_spec
doc.xml
open Pxp_yacc
-let d = parse_document_entity default_config (from_file "doc.xml") default_spec
default_config
Pxp_types
class warner =
-  object 
-    method warn w =
-      print_endline ("WARNING: " ^ w)
-  end
-;;
-
-try
-  let config = { default_config with warner = new warner } in
-  let d = parse_document_entity config (from_file "doc.xml") default_spec
-  in
-    ...
-with
-   e ->
-     print_endline (Pxp_types.string_of_exn e)
d
document
let root = d # root
let dtd = d # dtd
n
sub_nodes
node_type
let rec print_structure n =
-  let ntype = n # node_type in
-  match ntype with
-    T_element name ->
-      print_endline ("Element of type " ^ name);
-      let children = n # sub_nodes in
-      List.iter print_structure children
-  | T_data ->
-      print_endline "Data"
-  | _ ->
-      (* Other node types are not possible unless the parser is configured
-         differently.
-       *)
-      assert false
print_structure root
node_type
T_element
-name
T_data
name
n # parent
Not_found
n # root
n # attribute a
a
Not_found
CDATA
Value s
Valuelist sl
Implied_value
a="value"
Implied_value
Value s
s
Valuelist sl
&name;
&#number;
n # data
let rec print_valuable_prio1 n =
-  let ntype = n # node_type in
-  match ntype with
-    T_element "valuable" when n # attribute "priority" = Value "1" ->
-      print_endline "Valuable node with priotity 1 found:";
-      print_endline (n # data)
-  | (T_element _ | T_data) ->
-      let children = n # sub_nodes in
-      List.iter print_valuable_prio1 children
-  | _ ->
-      assert false
print_valuable_prio1 root
process_children
let rec print_valuable_prio1 n =
-
-  let process_children n =
-    let children = n # sub_nodes in
-    List.iter print_valuable_prio1 children 
-  in
-
-  let ntype = n # node_type in
-  match ntype with
-    T_element "valuable" when n # attribute "priority" = Value "1" ->
-      print_endline "Valuable node with priority 1 found:";
-      print_endline (n # data)
-  | (T_element _ | T_data) ->
-      process_children n
-  | _ ->
-      assert false
pinstr
enable_pinstr_nodes
enable_comment_nodes
a
b
c
print
eltype_a
eltype_b
eltype_c
print
clone
node
set_node
clone
node
set_node
clone
class custom_extension =
-  object (self)
-
-    val mutable node = (None : custom_extension node option)
-
-    method clone = {< >} 
-    method node =
-      match node with
-          None ->
-            assert false
-        | Some n -> n
-    method set_node n =
-      node <- Some n
-
-  end
custom_extension
class virtual custom_extension =
-  object (self)
-    ... clone, node, set_node defined as above ...
-
-    method virtual print : out_channel -> unit
-  end
-
-class eltype_a =
-  object (self)
-    inherit custom_extension
-    method print ch = ...
-  end
-
-class eltype_b =
-  object (self)
-    inherit custom_extension
-    method print ch = ...
-  end
-
-class eltype_c =
-  object (self)
-    inherit custom_extension
-    method print ch = ...
-  end
print
self # node
n
n # extension
self # node # extension == self
print
class eltype_a =
-  object (self)
-    inherit custom_extension
-    method print ch = 
-      (* Nodes <a>...</a> are only containers: *)
-      output_string ch "(";
-      List.iter
-        (fun n -> n # extension # print ch)
-        (self # node # sub_nodes);
-      output_string ch ")";
-  end
-
-class eltype_b =
-  object (self)
-    inherit custom_extension
-    method print ch =
-      (* Print the value of the CDATA attribute "print": *)
-      match self # node # attribute "print" with
-        Value s       -> output_string ch s
-      | Implied_value -> output_string ch "<missing>"
-      | Valuelist l   -> assert false   
-                         (* not possible because the att is CDATA *)
-  end
-
-class eltype_c =
-  object (self)
-    inherit custom_extension
-    method print ch = 
-      (* Print the contents of this element: *)
-      output_string ch (self # node # data)
-  end
-
-class null_extension =
-  object (self)
-    inherit custom_extension
-    method print ch = assert false
-  end
new
let element_exemplar = new element_impl extension_exemplar
let data_exemplar = new data_impl extension_exemplar
element_impl
data_impl
Pxp_document
extension_exemplar
create_element
create_data
clone
parse_document_entity
let spec =
-  make_spec_from_alist
-    ~data_exemplar:            (new data_impl (new null_extension))
-    ~default_element_exemplar: (new element_impl (new null_extension))
-    ~element_alist:
-       [ "a",  new element_impl (new eltype_a);
-         "b",  new element_impl (new eltype_b);
-         "c",  new element_impl (new eltype_c);
-       ]
-    ()
~element_alist
~data_exemplar
~default_element_exemplar
let d = parse_document_entity default_config (from_file "doc.xml") spec
d
print
d # root # extension # print stdout
<e>content</e>
footnote
open Pxp_types
-open Pxp_document
class type footnote_printer =
-  object
-    method footnote_to_html : store_type -> out_channel -> unit
-  end
-
-and store_type =
-  object
-    method alloc_footnote : footnote_printer -> int
-    method print_footnotes : out_channel -> unit
-  end
-;;
store
store
alloc_footnote
footnote_printer
footnote_printer
footnote_to_html
footnote
footnote_to_html
footnote_printer
print_footnotes
footnote_to_html
class store =
-  object (self)
-
-    val mutable footnotes = ( [] : (int * footnote_printer) list )
-    val mutable next_footnote_number = 1
-
-    method alloc_footnote n =
-      let number = next_footnote_number in
-      next_footnote_number <- number+1;
-      footnotes <- footnotes @ [ number, n ];
-      number
-
-    method print_footnotes ch =
-      if footnotes <> [] then begin
-	output_string ch "<hr align=left noshade=noshade width=\"30%\">\n";
-	output_string ch "<dl>\n";
-	List.iter
-	  (fun (_,n) -> 
-	     n # footnote_to_html (self : #store_type :> store_type) ch)
-	  footnotes;
-	output_string ch "</dl>\n";
-      end
-
-  end
-;;
escape_html
escape_html "<>" = "&lt;&gt;"
let escape_html s =
-  Str.global_substitute
-    (Str.regexp "<\\|>\\|&\\|\"")
-    (fun s ->
-      match Str.matched_string s with
-        "<" -> "&lt;"
-      | ">" -> "&gt;"
-      | "&" -> "&amp;"
-      | "\"" -> "&quot;"
-      | _ -> assert false)
-    s
-;;
shared
clone
node
set_node
to_html
store
class virtual shared =
-  object (self)
-
-    (* --- default_ext --- *)
-
-    val mutable node = (None : shared node option)
-
-    method clone = {< >} 
-    method node =
-      match node with
-          None ->
-            assert false
-        | Some n -> n
-    method set_node n =
-      node <- Some n
-
-    (* --- virtual --- *)
-
-    method virtual to_html : store -> out_channel -> unit
-
-  end
-;;
only_data
to_html
self
self # node
self # node # data
class only_data =
-  object (self)
-    inherit shared
-
-    method to_html store ch =
-      output_string ch (escape_html (self # node # data))
-  end
-;;
readme
readme
title
body
to_html
store
self # node # attribute "title"
Value s
s
self # node # dtd # par_entity "name"
replacement_text
gen_entity
par_entity
class readme =
-  object (self)
-    inherit shared
-
-    method to_html store ch =
-      (* output header *)
-      output_string 
-	ch "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2 Final//EN\">";
-      output_string
-	ch "<!-- WARNING! This is a generated file, do not edit! -->\n";
-      let title = 
-	match self # node # attribute "title" with
-	    Value s -> s
-	  | _ -> assert false
-      in
-      let html_header, _ =
-	try (self # node # dtd # par_entity "readme:html:header") 
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_trailer, _ =
-	try (self # node # dtd # par_entity "readme:html:trailer")
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_bgcolor, _ =
-	try (self # node # dtd # par_entity "readme:html:bgcolor")
-            # replacement_text
-	with WF_error _ -> "white", false in
-      let html_textcolor, _ =
-	try (self # node # dtd # par_entity "readme:html:textcolor")
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_alinkcolor, _ =
-	try (self # node # dtd # par_entity "readme:html:alinkcolor")
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_vlinkcolor, _ =
-	try (self # node # dtd # par_entity "readme:html:vlinkcolor")
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_linkcolor, _ =
-	try (self # node # dtd # par_entity "readme:html:linkcolor")
-            # replacement_text
-	with WF_error _ -> "", false in
-      let html_background, _ =
-	try (self # node # dtd # par_entity "readme:html:background")
-            # replacement_text
-	with WF_error _ -> "", false in
-
-      output_string ch "<html><header><title>\n";
-      output_string ch (escape_html title);
-      output_string ch "</title></header>\n";
-      output_string ch "<body ";
-      List.iter
-	(fun (name,value) ->
-	   if value <> "" then 
-	     output_string ch (name ^ "=\"" ^ escape_html value ^ "\" "))
-	[ "bgcolor",    html_bgcolor;
-	  "text",       html_textcolor;
-	  "link",       html_linkcolor;
-	  "alink",      html_alinkcolor;
-	  "vlink",      html_vlinkcolor;
-	];
-      output_string ch ">\n";
-      output_string ch html_header;
-      output_string ch "<h1>";
-      output_string ch (escape_html title);
-      output_string ch "</h1>\n";
-      (* process main content: *)
-      List.iter
-	(fun n -> n # extension # to_html store ch)
-	(self # node # sub_nodes);
-      (* now process footnotes *)
-      store # print_footnotes ch;
-      (* trailer *)
-      output_string ch html_trailer;
-      output_string ch "</html>\n";
-
-  end
-;;
section
sect1
sect2
sect3
section
the_tag
section
title
to_html
class section the_tag =
-  object (self)
-    inherit shared
-
-    val tag = the_tag
-
-    method to_html store ch =
-      let sub_nodes = self # node # sub_nodes in
-      match sub_nodes with
-	  title_node :: rest ->
-	    output_string ch ("<" ^ tag ^ ">\n");
-	    title_node # extension # to_html store ch;
-	    output_string ch ("\n</" ^ tag ^ ">");
-	    List.iter
-	      (fun n -> n # extension # to_html store ch)
-	      rest
-	| _ ->
-	    assert false
-  end
-;;
-
-class sect1 = section "h1";;
-class sect2 = section "h3";;
-class sect3 = section "h4";;
map_tag
p
em
ul
li
map_tag
the_target_tag
class map_tag the_target_tag =
-  object (self)
-    inherit shared
-
-    val target_tag = the_target_tag
-
-    method to_html store ch =
-      output_string ch ("<" ^ target_tag ^ ">\n");
-      List.iter
-	(fun n -> n # extension # to_html store ch)
-	(self # node # sub_nodes);
-      output_string ch ("\n</" ^ target_tag ^ ">");
-  end
-;;
-
-class p = map_tag "p";;
-class em = map_tag "b";;
-class ul = map_tag "ul";;
-class li = map_tag "li";;
br
br
br
class br =
-  object (self)
-    inherit shared
-
-    method to_html store ch =
-      output_string ch "<br>\n";
-      List.iter
-	(fun n -> n # extension # to_html store ch)
-	(self # node # sub_nodes);
-  end
-;;
code
code
pre
class code =
-  object (self)
-    inherit shared
-
-    method to_html store ch =
-      let data = self # node # data in
-      (* convert tabs *)
-      let l = String.length data in
-      let rec preprocess i column =
-	(* this is very ineffective but comprehensive: *)
-	if i < l then
-	  match data.[i] with
-	      '\t' ->
-		let n = 8 - (column mod 8) in
-		String.make n ' ' ^ preprocess (i+1) (column + n)
-	    | '\n' ->
-		"\n" ^ preprocess (i+1) 0
-	    | c ->
-		String.make 1 c ^ preprocess (i+1) (column + 1)
-	else
-	  ""
-      in
-      output_string ch "<p><pre>";
-      output_string ch (escape_html (preprocess 0 0));
-      output_string ch "</pre></p>";
-
-  end
-;;
a
a
a
href
readmeref
a
escape_html
class a =
-  object (self)
-    inherit shared
-
-    method to_html store ch =
-      output_string ch "<a ";
-      let href =
-	match self # node # attribute "href" with
-	    Value v -> escape_html v
-	  | Valuelist _ -> assert false
-	  | Implied_value ->
-	      begin match self # node # attribute "readmeref" with
-		  Value v -> escape_html v ^ ".html"
-		| Valuelist _ -> assert false
-		| Implied_value ->
-		    ""
-	      end
-      in
-      if href <> "" then
-	output_string ch ("href=\""  ^ href ^ "\"");
-      output_string ch ">";
-      output_string ch (escape_html (self # node # data));
-      output_string ch "</a>";
-	
-  end
-;;
footnote
footnote
to_html
footnote_to_html
store
to_html
footnote_to_html
to_html
to_html
footnote_to_html
class footnote =
-  object (self)
-    inherit shared
-
-    val mutable footnote_number = 0
-
-    method to_html store ch =
-      let number = 
-	store # alloc_footnote (self : #shared :> footnote_printer) in
-      let foot_anchor = 
-	"footnote" ^ string_of_int number in
-      let text_anchor =
-	"textnote" ^ string_of_int number in
-      footnote_number <- number;
-      output_string ch ( "<a name=\"" ^ text_anchor ^ "\" href=\"#" ^ 
-			 foot_anchor ^ "\">[" ^ string_of_int number ^ 
-			 "]</a>" )
-
-    method footnote_to_html store ch =
-      (* prerequisite: we are in a definition list <dl>...</dl> *)
-      let foot_anchor = 
-	"footnote" ^ string_of_int footnote_number in
-      let text_anchor =
-	"textnote" ^ string_of_int footnote_number in
-      output_string ch ("<dt><a name=\"" ^ foot_anchor ^ "\" href=\"#" ^ 
-			text_anchor ^ "\">[" ^ string_of_int footnote_number ^ 
-			"]</a></dt>\n<dd>");
-      List.iter
-	(fun n -> n # extension # to_html store ch)
-	(self # node # sub_nodes);
-      output_string ch ("\n</dd>")
- 
-  end
-;;
open Pxp_yacc
-
-let tag_map =
-  make_spec_from_alist
-    ~data_exemplar:(new data_impl (new only_data))
-    ~default_element_exemplar:(new element_impl (new no_markup))
-    ~element_alist:
-      [ "readme", (new element_impl (new readme));
-	"sect1",  (new element_impl (new sect1));
-	"sect2",  (new element_impl (new sect2));
-	"sect3",  (new element_impl (new sect3));
-	"title",  (new element_impl (new no_markup));
-	"p",      (new element_impl (new p));
-	"br",     (new element_impl (new br));
-	"code",   (new element_impl (new code));
-	"em",     (new element_impl (new em));
-	"ul",     (new element_impl (new ul));
-	"li",     (new element_impl (new li));
-	"footnote", (new element_impl (new footnote : #shared :> shared));
-	"a",      (new element_impl (new a));
-      ]
-    ()
-;;
node
Pxp_document
type node_type =
-  T_data
-| T_element of string
-| T_super_root
-| T_pinstr of string
-| T_comment
-and some other, reserved types
-;;
-
-class type [ 'ext ] node =
-  object ('self)
-    constraint 'ext = 'ext node #extension
-
-    (* General observers *)
-
-    method extension : 'ext
-    method dtd : dtd
-    method parent : 'ext node
-    method root : 'ext node
-    method sub_nodes : 'ext node list
-    method iter_nodes : ('ext node -> unit) -> unit
-    method iter_nodes_sibl : 
-           ('ext node option -> 'ext node -> 'ext node option -> unit) -> unit
-    method node_type : node_type
-    method encoding : Pxp_types.rep_encoding
-    method data : string
-    method position : (string * int * int)
-    method comment : string option
-    method pinstr : string -> proc_instruction list
-    method pinstr_names : string list
-    method write : Pxp_types.output_stream -> Pxp_types.encoding -> unit
-
-    (* Attribute observers *)
-
-    method attribute : string -> Pxp_types.att_value
-    method required_string_attribute : string -> string
-    method optional_string_attribute : string -> string option
-    method required_list_attribute : string -> string list
-    method optional_list_attribute : string -> string list
-    method attribute_names : string list
-    method attribute_type : string -> Pxp_types.att_type
-    method attributes : (string * Pxp_types.att_value) list
-    method id_attribute_name : string
-    method id_attribute_value : string
-    method idref_attribute_names : string
-
-    (* Modifying methods *)
-
-    method add_node : ?force:bool -> 'ext node -> unit
-    method add_pinstr : proc_instruction -> unit
-    method delete : unit
-    method set_nodes : 'ext node list -> unit
-    method quick_set_attributes : (string * Pxp_types.att_value) list -> unit
-    method set_comment : string option -> unit
-
-    (* Cloning methods *)
-
-    method orphaned_clone : 'self
-    method orphaned_flat_clone : 'self
-    method create_element : 
-              ?position:(string * int * int) ->
-              dtd -> node_type -> (string * string) list ->
-                  'ext node
-    method create_data : dtd -> string -> 'ext node
-    method keep_always_whitespace_mode : unit
-
-    (* Validating methods *)
-
-    method local_validate : ?use_dfa:bool -> unit -> unit
-
-    (* ... Internal methods are undocumented. *)
-
-  end
-;;
Pxp_types
type Pxp_types.att_value =
-    Value     of string
-  | Valuelist of string list
-  | Implied_value
-;;
element_impl
data_impl
element_impl
T_pinstr
T_comment
node
a &amp; b <-- comment --> c <![CDATA[
-<> d]]>
y
x
y
y
y
x
y
x
node
extension
dtd
parent
Not_found
root
sub_nodes
iter_nodes f
f
iter_nodes_sibl f
f
f
node_type
T_data
T_element n
n
T_pinstr t
t
T_comment
encoding
data
encoding
T_pinstr
T_comment
position
"?", 0, 0
comment
Some text
None
text
<--
-->
pinstr n
n
<?
pinstr_names
write s enc
attribute n
n
Not_found
#IMPLIED
Implied_value
#IMPLIED
Value s
CDATA
ID
IDREF
ENTITY
NMTOKEN
s
s
Value s
Valuelist l
IDREFS
ENTITIES
NMTOKENS
l
l
Valuelist l
&#n;
&name;
required_string_attribute n
optional_string_attribute n
required_list_attribute n
optional_list_attribute n
attribute_names
attribute_type n
n
Pxp_types
attributes
id_attribute_name
Not_found
id_attribute_value
Not_found
idref_attribute_names
add_node sn
sn
sn
sn
add_node
keep_always_whitespace_mode
EMPTY
ANY
~force:true
add_pinstr pi
pi
delete
set_nodes nl
nl
nl
add_node
quick_set_attributes atts
atts
atts
set_comment text
T_comment
orphaned_clone
clone
orphaned_flat_clone
create_element dtd nt al
dtd
nt
al
~position
create_data dtd cdata
dtd
T_data
cdata
keep_always_whitespace_mode
local_validate
element_impl
node
class [ 'ext ] element_impl : 'ext -> [ 'ext ] node
new element_impl extension_object
extension_object
create_element
let exemplar_ext = ... in
-let exemplar     = new element_impl exemplar_ext in
exemplar
let element = exemplar # create_element dtd (T_element name) attlist 
element
exemplar
exemplar_ext
element
dtd
element
data_impl
node
class [ 'ext ] data_impl : 'ext -> [ 'ext ] node
new data_impl extension_object
extension_object
create_data
let exemplar_ext = ... in
-let exemplar     = new exemplar_ext data_impl in
exemplar
let data_node = exemplar # create_data dtd "The characters contained in the data node" 
data_node
exemplar
dtd
data_node
spec
spec
type 'ext spec
-constraint 'ext = 'ext node #extension
-
-val make_spec_from_mapping :
-      ?super_root_exemplar : 'ext node ->
-      ?comment_exemplar : 'ext node ->
-      ?default_pinstr_exemplar : 'ext node ->
-      ?pinstr_mapping : (string, 'ext node) Hashtbl.t ->
-      data_exemplar: 'ext node ->
-      default_element_exemplar: 'ext node ->
-      element_mapping: (string, 'ext node) Hashtbl.t -> 
-      unit -> 
-        'ext spec
-
-val make_spec_from_alist :
-      ?super_root_exemplar : 'ext node ->
-      ?comment_exemplar : 'ext node ->
-      ?default_pinstr_exemplar : 'ext node ->
-      ?pinstr_alist : (string * 'ext node) list ->
-      data_exemplar: 'ext node ->
-      default_element_exemplar: 'ext node ->
-      element_alist: (string * 'ext node) list -> 
-      unit -> 
-        'ext spec
make_spec_from_mapping
make_spec_from_alist
spec
~super_root_exemplar
~comment_exemplar
~default_pinstr_exemplar
~pinstr_mapping
~pinstr_alist
~pinstr_mapping
~pinstr_alist
~data_exemplar
~default_element_exemplar
element_mapping
element_alist
~element_mapping
~element_alist
spec
Pxp_yacc
spec
spec
create_element
create_data
val create_data_node : 
-      'ext spec -> 
-      dtd -> 
-      (* data material: *) string -> 
-          'ext node
-
-val create_element_node : 
-      ?position:(string * int * int) ->
-      'ext spec -> 
-      dtd -> 
-      (* element type: *) string -> 
-      (* attributes: *) (string * string) list -> 
-          'ext node
-
-val create_super_root_node :
-      ?position:(string * int * int) ->
-      'ext spec -> 
-       dtd -> 
-           'ext node
-
-val create_comment_node :
-      ?position:(string * int * int) ->
-      'ext spec -> 
-      dtd -> 
-      (* comment text: *) string -> 
-          'ext node
-
-val create_pinstr_node :
-      ?position:(string * int * int) ->
-      'ext spec -> 
-      dtd -> 
-      proc_instruction -> 
-          'ext node
let exemplar_ext = ... (* some extension *) in
-let dtd = ... (* some DTD *) in
-
-let element_exemplar = new element_impl exemplar_ext in
-let data_exemplar    = new data_impl    exemplar_ext in
-
-let a1 = element_exemplar # create_element dtd (T_element "a") ["att", "apple"]
-and b1 = element_exemplar # create_element dtd (T_element "b") []
-and c1 = element_exemplar # create_element dtd (T_element "c") []
-and a2 = element_exemplar # create_element dtd (T_element "a") ["att", "orange"]
-in
-
-let cherries = data_exemplar # create_data dtd "Cherries" in
-let orange   = data_exemplar # create_data dtd "An orange" in
-
-a1 # add_node b1;
-a1 # add_node c1;
-b1 # add_node a2;
-b1 # add_node cherries;
-a2 # add_node orange;
a1 # set_nodes [b1; c1];
-b1 # set_nodes [a2; cherries];
-a2 # set_nodes [orange];
a1
x # root == a1
a1
a2
b1
c1
cherries
orange
  a1 # attribute "att" = Value "apple"
-& a2 # attribute "att" = Value "orange"
-
-& cherries # data = "Cherries"
-&   orange # data = "An orange"
-&       a1 # data = "CherriesAn orange"
-
-&       a1 # node_type = T_element "a"
-&       a2 # node_type = T_element "a"
-&       b1 # node_type = T_element "b"
-&       c1 # node_type = T_element "c"
-& cherries # node_type = T_data
-&   orange # node_type = T_data
-
-&       a1 # sub_nodes = [ b1; c1 ]
-&       a2 # sub_nodes = [ orange ]
-&       b1 # sub_nodes = [ a2; cherries ]
-&       c1 # sub_nodes = []
-& cherries # sub_nodes = []
-&   orange # sub_nodes = []
-
-&       a2 # parent == a1
-&       b1 # parent == b1
-&       c1 # parent == a1
-& cherries # parent == b1
-&   orange # parent == a2
let rec search p t =
-  if p t then
-    t :: search_list p (t # sub_nodes)
-  else
-    search_list p (t # sub_nodes)
-
-and search_list p l =
-  match l with
-    []      -> []
-  | t :: l' -> (search p t) @ (search_list p l')
-;;
et
search
let search_element_type et t =
-  search (fun x -> x # node_type = T_element et) t
-;;
<!ATTLIST e a CDATA #REQUIRED
-            b CDATA #IMPLIED
-            c CDATA "12345">
e
a
n
a
let value_of_a = n # required_string_attribute "a"
let value_of_a = 
-  match n # attribute "a" with
-    Value s -> s
-  | _       -> assert false
attribute
Value
b
required_string_attribute
optional_string_attribute
let value_of_b = n # optional_string_attribute "b"
value_of_b
string option
None
attribute
let value_of_b = 
-  match n # attribute "b" with
-    Value s       -> Some s
-  | Implied_value -> None
-  | _             -> assert false
c
a
required_string_attribute
CDATA
NMTOKEN
ID
IDREF
ENTITY
CDATA
required_string_attribute
optional_string_attribute
NMTOKENS
IDREFS
ENTITIES
<!ATTLIST f d NMTOKENS #REQUIRED
-            e NMTOKENS #IMPLIED>
NMTOKENS
"1 abc 23ef"
["1"; "abc"; "23ef"]
IDREFS
ENTITIES
d
let value_of_d = n # required_list_attribute "d"
let value_of_d = 
-  match n # attribute "d" with
-    Valuelist l -> l
-  | _           -> assert false
d
attribute
Valuelist
e
let value_of_e = n # optional_list_attribute "e"
let value_of_e = 
-  match n # attribute "e" with
-    Valuelist l   -> l
-  | Implied_value -> []
-  | _             -> assert false
val find : ?deeply:bool -> 
-           f:('ext node -> bool) -> 'ext node -> 'ext node
-
-val find_all : ?deeply:bool ->
-               f:('ext node -> bool) -> 'ext node -> 'ext node list
-
-val find_element : ?deeply:bool ->
-                   string -> 'ext node -> 'ext node
-
-val find_all_elements : ?deeply:bool ->
-                        string -> 'ext node -> 'ext node list
-
-exception Skip
-val map_tree :  pre:('exta node -> 'extb node) ->
-               ?post:('extb node -> 'extb node) ->
-               'exta node -> 
-                   'extb node
-
-
-val map_tree_sibl : 
-        pre: ('exta node option -> 'exta node -> 'exta node option -> 
-                  'extb node) ->
-       ?post:('extb node option -> 'extb node -> 'extb node option -> 
-                  'extb node) ->
-       'exta node -> 
-           'extb node
-
-val iter_tree : ?pre:('ext node -> unit) ->
-                ?post:('ext node -> unit) ->
-                'ext node -> 
-                    unit
-
-val iter_tree_sibl :
-       ?pre: ('ext node option -> 'ext node -> 'ext node option -> unit) ->
-       ?post:('ext node option -> 'ext node -> 'ext node option -> unit) ->
-       'ext node -> 
-           unit
extension
";
-      output_string ch (escape_html (preprocess 0 0));
-      output_string ch "
localhost
localhost
localhost
=

Prev	Home	Next
Details of the mapping from XML text to the tree representation	Up	Resolvers and sources

Prev	Home	Next
User's guide	Up	Highlights of XML

Prev	Home	Next
A complete example: The readme DTD	Up	How to parse a document from an application

Prev	Home	Next
Example: An HTML backend for the readme -DTD	Up	The class type `node`

Prev	Home	Next
The PXP user's guide		What is XML?

- Format: -	- -	-	- Reload - (do it also before attempting to take a link to the current page) - -
- Natural Language - Annotations -			- Configuration panel -

9:25	-	9:30	Welcome.
9:30	-	11:00	Short presentation of the partners (15 m. each).
11:00	-	11:30	Coffee break.
11:30	-	11:40	Consortium Agreement.
11:40	-	12:10	Project Roles and Bodies.
12:10	-	12:30	Scheduling and location of the meetings.

12:30	-	14:00	Lunch.

14:00	-	15:30	Deliverables for the first six months.
15:30	-	16:00	Coffee break
16:00	-	17:00	MOWGLI web site (demo and discussion)

- -	- (Before following the link, you must install the HELM Annotation Helper) -
- -	NEW!!!
- -	- (Not ported to V7, yet. Experimental. Coming soon.) -

Browser
- Only new browsers support UNICODE, that is needed to render - mathematical documents. Some old browsers, though, can render - the most common symbols through the "symbol" font. -
- To make us understand what kind of browser you have, please - select below the symbol for "not belongs to". If both options - do not show that symbol, then you will be only able to use - the MathML mode with an external plug-out for MathML presentation. -
- - Where do you see the "not belongs to" symbol? - - - Ï - - - ∉ -

- Format: -	- -	- -	- - - (do it also before attempting to take a link to the current page) - -
- -			- - -

- View its metadata -	(Not implemented, yet. Coming soon.)
- Proof-check it -	- (Not ported to V7, yet. Coming soon.) -

POST URL-encoded form

POST FORM-encoded form

File upload

Gerd Stolpmann

I. User's guide

Notes

Notes

Notes

"; - output_string ch (escape_html title); - output_string ch "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

No term selected

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

No term selected

" ^ Printexc.to_string e ^ "

No term selected

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

No term selected

Current proof saved to " ^ - prooffile ^ "

Current proof loaded from " ^ - prooffile ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "sequent: " ^ Printexc.to_string e ^ "

Exception raised during the refresh of the " ^ - "proof: " ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

" ^ Printexc.to_string e ^ "

$content

hxsp v{VER} active

hxsp v{VER} attivo

hxsp v{VER} attivo

Abstract

Members Area

Summary

MOWGLI Kick-Off

VENUE

ACCOMODATION

AGENDA & SOCIAL EVENTS

TECHNICAL FACILITIES

Community added value and contribution to EC policies

Contribution to Community Social Objectives

Contribution to programme/key action objectives

Economic development and Scientific and Technological Prospects

Identification of exploitable results

Target Market

Consortium's Dissemination and Exploitation Strategy

Innovation

Graphical presentation of projects components

Project Management

Decision Process

Information Flow

Quality Procedures

Confidentiality and IPR handling

Project Objectives