Plasma GitLab Archive
Projects Blog Knowledge

Module Pxp_dtd_parser


module Pxp_dtd_parser: sig .. end
Calling the parser to read DTDs

val create_empty_dtd : Pxp_types.config -> Pxp_dtd.dtd
Create an empty DTD. See also Pxp_dtd.create_dtd for a lower-level DTD constructor not requiring a full config record.
val parse_dtd_entity : Pxp_types.config -> Pxp_types.source -> Pxp_dtd.dtd
Parse an entity containing a DTD (external subset), and return this DTD.
val extract_dtd_from_document_entity : Pxp_types.config -> Pxp_types.source -> Pxp_dtd.dtd
Parses a closed document, i.e. a document beginning with <!DOCTYPE...>, and returns the DTD contained in the document. The parts of the document outside the DTD are actually not parsed, i.e. parsing stops when all declarations of the DTD have been read.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml