Index of values

Get a new unique private ID

attribute_name n Returns the name of the attribute contained in an attribute node.

attribute_string_value n: Returns the string value of the attribute contained in an attribute node.

attribute_value n: Returns the value of the attribute contained in an attribute node.

Closes all entities managed by this entity manager, and frees operating system resources like open files.

compare n1 n2: Returns -1 if n1 occurs before n2, or +1 if n1 occurs after n2, or 0 if both nodes are identical.

let p = concat l: The pull functions contained in the list l are concatenated, and a new pull function p is created that pulls from the functions of the list in turn (when one function indicates the end of the events, it is continued with the next function in the list).

create_comment_node ~position spec dtd commentstring: Creates a new comment node from the exemplar contained in spec.

create_data_node spec dtd datastring: Creates a new data node from the exemplar contained in spec.

Preferred way of creating a DTD.

create_element_node ~name_pool_for_attribute_values ~position ~valcheck ~att_values spec dtd eltype att_list: Creates a new element node from the exemplar(s) contained in spec: The new node will be connected to the passed dtd., The new node will have the element type eltype., The attributes of the new node will be the concatenation of att_list and att_values; att_list passes attribute values as strings while att_values passes attribute values as type att_value, The source position is set to ~position (if passed), The ~name_pool_for_attribute_values will be used, if passed., If ~valcheck = true (the default), the attribute list is immediately validated. If ~valcheck = false, the validation is left out; in this case you can pass any element type and and any attributes, and it does not matter whether and how they are declared. Even in well-formedness mode, it is ok to pass valcheck=true as this mode is implemented by weakening the validation constraints in the DTD object.

Create an empty DTD.

Create a new abstract entity ID.

Creates an entity manager that is initialized with the toplevel entity referenced by the source argument.

Creates a reference to an external entity.

Creates an internal entity.

Preferred way of creating a namespace_manager

Preferred way of creating a namespace_scope

Creates an NDATA entity.

Creates a T_none node with limited functionality.

create_ord_index startnode: Creates an ordinal index for the subtree starting at startnode.

create_pinstr_node ~position spec dtd pi: Creates a new processing instruction node from the exemplar contained in spec.

Invoke the event parser using the pull model.

create_super_root_node ~position spec dtd: Creates a new super root node from the exemplar contained in spec.

Same as Pxp_types.default_config

Default configuration.

Same as Pxp_tree_parser.default_extension

A "null" extension; an extension that does not extend the functionality

Same as Pxp_types.default_namespace_config

Deprecated.

Same as Pxp_tree_parser.default_namespace_spec

Specifies that you want to use namespace, but not extensions

Same as Pxp_tree_parser.default_spec

Specifies that you do not want to use extensions.

Writes the events to the output_stream.

The same for documents.

The same for documents

The same for documents.

The same for documents

This filter checks whether character data between elements in a "regexp" or "non-PCDATA mixed" content model consists only of whitespace, and, removes these whitespace characters from the event stream. If the check fails, a WF_Error will be raised.

Returns the abstract entity ID

let next' = extract e next: Extracts a subexpression from the pull function next prepended by e.

Same as Pxp_dtd_parser.extract_dtd_from_document_entity

Parses a closed document, i.e.

Returns the prefix in the name, or "" if there is no prefix.

find ~deeply f startnode Searches the first node in the tree below startnode for which the predicate f is true, and returns it.

find_all ~deeply f startnode: Searches all nodes in the tree below startnode for which the predicate f is true, and returns them.

find_all_elements ~deeply eltype startnode: Searches all elements in the tree below startnode having the element type eltype, and returns them.

find_element ~deeply eltype startnode: Searches the first element in the tree below startnode that has the element type eltype, and returns it.

Same as Pxp_types.from_channel

This function creates a source that reads the XML text from the passed in_channel.

Creates an external entity that reads from the passed Pxp_types.source

Same as Pxp_types.from_file

This source reads initially from the file whose name is passed as string argument.

Same as Pxp_types.from_obj_channel

Similar to from_channel, but reads from an Ocamlnet netchannel instead.

Same as Pxp_types.from_string

Similar to from_channel, but reads from a string.

Return the encoding of the internal representation of the entity

The full name includes the ID, too (for diagnostics messages)

Return the name of the entity.

Returns the notation of NDATA entities, and None for the other entity types

These functions just return the exemplars (or raise Not_found).

Returns the resolver ID for external entities, and None for other entities.

Returns the type of the entity.

Returns the external ID for external and NDATA entities, and None for internal entities

iter f p: The pull function p is repeatedly called to get a stream of events e.

iter_tree ~pre ~post startnode: Iterates over the tree beginning at startnode using the following algorithm.

iter_tree_sibl ~pre ~post startnode: Iterates over the tree beginning at startnode using the following algorithm.

The converse of solidify: The passed node or document is transformed into an event stream.

Looks the entity up for an entitiy ID

This is a convenience function to create a file URL (for localhost).

A probalistic string pool tries to map strings to pool strings in order to make it more likely that equal strings are stored in the same memory block.

make_spec_from_alist ~super_root_exemplar ~comment_exemplar ~default_pinstr_exemplar ~pinstr_alist ~data_exemplar ~default_element_exemplar ~element_alist (): Creates a spec from the arguments.

make_spec_from_mapping ~super_root_exemplar ~comment_exemplar ~default_pinstr_exemplar ~pinstr_mapping ~data_exemplar ~default_element_exemplar ~element_mapping (): Creates a spec from the arguments.

map_tree ~pre ~post startnode Maps the tree beginning at startnode to a second tree using the following algorithm.

map_tree_sibl ~pre ~post startnode: Maps the tree beginning at startnode to a second tree using the following algorithm.

Returns the display prefix of a namespace node .

Returns the normprefix of a namespace node.

let (p,l) = namespace_split name: Splits name into the prefix p and the local name l.

Retruns the namespace URI of a namespace node .

This filter removes empty E_char_data events, concatenates adjacent E_char_data events but does not touch any other parts of the event stream.

Normalizes the tree denoted by startnode such that neither empty data nodes nor adjacent data nodes exist.

of_list l: Create a pull function fetching the events from l

Returns the resolver and the entity for a source.

ord_compare idx n1 n2: Compares two nodes like compare: Returns -1 if n1 occurs before n2, or +1 if n1 occurs after n2, or 0 if both nodes are identical.

Returns the ordinal number of the node, or raises Not_found.

Same as Pxp_tree_parser.parse_content_entity

Parse a file representing a well-formed fragment of a document.

Same as Pxp_tree_parser.parse_document_entity

Parse a closed document, and validate the contents of the document against the DTD contained and/or referenced in the document.

Same as Pxp_dtd_parser.parse_dtd_entity

Parse an entity containing a DTD (external subset), and return this DTD.

Same as Pxp_tree_parser.parse_wfcontent_entity

Parse a file representing a well-formed fragment of a document.

Same as Pxp_tree_parser.parse_wfdocument_entity

Parse a closed document, but do not validate it.

Filters an event stream by a predicate

pinstr n: Returns the processing instruction contained in a processing instruction node.

Tries to find the passed string in the pool; if the string is in the pool, the pool string is returned.

Parses a document or a document fragment in push mode.

This is a special parsing function that corresponds to the entry `Entry_expr, i.e.

Creates a copy of the passed document by marshalling it, and restoring the document.

Creates a copy of the passed subtree by marshalling the tree, and restoring the marshaled tree.

Return the replacement text of the entity.

The standard way of converting an ext_id into a resolver ID.

Reads the event stream by calling the unit->event function, and creates a node tree according to config, dtd, spec.

Returns a string representation of events, for debugging

Converts a PXP exception into a readable string

Turn the warning into a human-readable message

strip_whitespace ~force ~left ~right ~delete_empty_nodes startnode: Modifies the passed tree in-place by the following rules: In general, whitespace stripping is not applied to nodes inside an xml:space="preserve" region, unless ~force:true is passed to the function (default is ~force:false). Only if whitespace stripping is allowed, the following rules are carried out. Note that the detection of regions with preserved whitespace takes the parent nodes of the passed startnode into account., If applied to a data node, whitespace at the beginning of the node is removed according to ~left, and whitespace at the end of the node is removed according to ~right., If applied to an element, whitespace at the beginning of the first data subnode is removed according to ~left, and whitespace at the end of the last data subnode is removed according to ~right. Furthermore, these rules are recursively applied to all subelements (but not to other node types)., If applied to the super root node, this node is treated as if it were an element., Whitespace of other node types is left as-is, as whitespace occuring in attributes., Option ~delete_empty_nodes (default true): If data nodes become empty after removal of whitespace, they are deleted from the XML tree. Defaults: ~force:false, ~left:`Disabled, ~right:`Disabled

Reconstructs the subtree from an in_channel.

Reconstructs the subtree from a sequence of reconstruction_cmd values.

subtree_to_channel ch n: The node n is the root of the subtree to be marshaled; the external representation is written to ch (which must have been opened in binary mode).

subtree_to_cmd_sequence f n: The passed node n is the root of the subtree to be marshaled.

Fetch all events from the pull function, and return the corresponding list of events.

This filter removes the document wrapping from the stream (see The wrapping for closed documents for a definition what this is).

validate startnode: Validates the tree denoted by startnode.

Send a warning to the symbolic_warnings object, and then to the collect_warnings object.

write os s pos len: Writes the string (portion) to the buffer/channel/stream

Writes O'Caml code to the out_channel so that when the code is compiled and executed, a fresh document is created with the same contents as the passed document:

Writes the events to the output_stream.

Writes O'Caml code to the out_channel so that when the code is compiled and executed, a fresh tree is created with the same contents as the passed tree: