Plasma GitLab Archive
Projects Blog Knowledge

Module Pxp_dtd

module Pxp_dtd: sig .. end
DTD objects

The DTD object is a separate container for the formal requirements of a document. The DTD object is always present in a document, even when validation is turned off. See Pxp_dtd.dtd for details about the DTD object.

There are a number of accompanying objects also defined in this module (e.g. namespace_manager or dtd_element).

class namespace_manager : object .. end
This class manages mappings from URIs to normalized prefixes.
val create_namespace_manager : unit -> namespace_manager
Preferred way of creating a namespace_manager
class type namespace_scope = object .. end
The recursive class type namespace_scope represents the original namespace declarations found in the XML text.
class namespace_scope_impl : namespace_manager -> namespace_scope option -> (string * string) list -> namespace_scope
An implementation of namespace_scope.
val create_namespace_scope : ?parent:namespace_scope ->
?decl:(string * string) list ->
namespace_manager -> namespace_scope
Preferred way of creating a namespace_scope
class dtd : ?swarner:Pxp_types.symbolic_warnings -> Pxp_types.collect_warnings -> Pxp_types.rep_encoding -> object .. end
DTD objects have two purposes: They are containers for global declarations that apply to the whole XML document. This includes the character set, the standalone declaration, and all declaration that can appear in the "DTD part" of a document., Also, they express formal constraints the document must fulfill such as validity, or (less ambitious) well-formedness. Normally, programmers neither need to create such objects, nor to fill them with data, as the parser already does this.
class dtd_element : dtd -> string -> object .. end
A single element declaration that can be added to the DTD object.
class dtd_notation : string -> Pxp_types.ext_id -> Pxp_types.rep_encoding -> object .. end
A single notation declaration that can be added to the DTD object.
class proc_instruction : string -> string -> Pxp_types.rep_encoding -> object .. end
A single processing instruction occuring in DTD scope.
val create_dtd : ?swarner:Pxp_types.symbolic_warnings ->
?warner:Pxp_types.collect_warnings ->
Pxp_types.rep_encoding -> dtd
Preferred way of creating a DTD. Example:  let dtd = create_dtd 

See also Pxp_dtd_parser.create_empty_dtd, which creates a DTD from a Pxp_types.config record.

module Entity: sig .. end
Useful properties of entities: The following submodule exports all stable properties of the entity classes.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml