sig
type config =
Pxp_types.config = {
warner : Pxp_types.collect_warnings;
swarner : Pxp_types.symbolic_warnings option;
enable_pinstr_nodes : bool;
enable_comment_nodes : bool;
enable_super_root_node : bool;
drop_ignorable_whitespace : bool;
encoding : Pxp_types.rep_encoding;
recognize_standalone_declaration : bool;
store_element_positions : bool;
idref_pass : bool;
validate_by_dfa : bool;
accept_only_deterministic_models : bool;
disable_content_validation : bool;
name_pool : Pxp_core_types.I.pool;
enable_name_pool_for_element_types : bool;
enable_name_pool_for_attribute_names : bool;
enable_name_pool_for_attribute_values : bool;
enable_name_pool_for_pinstr_targets : bool;
enable_namespace_processing : Pxp_dtd.namespace_manager option;
escape_contents :
(Pxp_lexer_types.token -> Pxp_entity_manager.entity_manager -> string)
option;
escape_attributes :
(Pxp_lexer_types.token ->
int -> Pxp_entity_manager.entity_manager -> string)
option;
debugging_mode : bool;
}
val default_config : Pxp_yacc.config
val default_namespace_config : Pxp_yacc.config
type source =
Pxp_types.source =
Entity of ((Pxp_dtd.dtd -> Pxp_entity.entity) * Pxp_reader.resolver)
| ExtID of (Pxp_types.ext_id * Pxp_reader.resolver)
| XExtID of (Pxp_types.ext_id * string option * Pxp_reader.resolver)
val from_channel :
?alt:Pxp_reader.resolver list ->
?system_id:string ->
?fixenc:Pxp_types.encoding ->
?id:Pxp_types.ext_id ->
?system_encoding:Pxp_types.encoding ->
Pervasives.in_channel -> Pxp_yacc.source
val from_string :
?alt:Pxp_reader.resolver list ->
?system_id:string ->
?fixenc:Pxp_types.encoding -> string -> Pxp_yacc.source
val from_obj_channel :
?alt:Pxp_reader.resolver list ->
?system_id:string ->
?fixenc:Pxp_types.encoding ->
?id:Pxp_types.ext_id ->
?system_encoding:Pxp_types.encoding ->
Netchannels.in_obj_channel -> Pxp_yacc.source
val from_file :
?alt:Pxp_reader.resolver list ->
?system_encoding:Pxp_types.encoding ->
?enc:Pxp_types.encoding -> string -> Pxp_yacc.source
exception ID_not_unique
class type ['a] index =
object
constraint 'a = 'a Pxp_document.node #Pxp_document.extension
method add : string -> 'a Pxp_document.node -> unit
method find : string -> 'a Pxp_document.node
end
class ['a] hash_index :
object
constraint 'a = 'a Pxp_document.node #Pxp_document.extension
method add : string -> 'a Pxp_document.node -> unit
method find : string -> 'a Pxp_document.node
method index : (string, 'a Pxp_document.node) Hashtbl.t
end
val default_extension : 'a Pxp_document.node Pxp_document.extension as 'a
val default_spec :
('a Pxp_document.node Pxp_document.extension as 'a) Pxp_document.spec
val default_namespace_spec :
('a Pxp_document.node Pxp_document.extension as 'a) Pxp_document.spec
val parse_document_entity :
?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
?id_index:('a Pxp_document.node #Pxp_document.extension as 'a)
Pxp_yacc.index ->
Pxp_yacc.config ->
Pxp_yacc.source -> 'a Pxp_document.spec -> 'a Pxp_document.document
val parse_wfdocument_entity :
?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
Pxp_yacc.config ->
Pxp_yacc.source ->
('a Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.spec ->
'a Pxp_document.document
val parse_content_entity :
?id_index:('a Pxp_document.node #Pxp_document.extension as 'a)
Pxp_yacc.index ->
Pxp_yacc.config ->
Pxp_yacc.source ->
Pxp_dtd.dtd -> 'a Pxp_document.spec -> 'a Pxp_document.node
val parse_wfcontent_entity :
Pxp_yacc.config ->
Pxp_yacc.source ->
('a Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.spec ->
'a Pxp_document.node
val parse_dtd_entity : Pxp_yacc.config -> Pxp_yacc.source -> Pxp_dtd.dtd
val extract_dtd_from_document_entity :
Pxp_yacc.config -> Pxp_yacc.source -> Pxp_dtd.dtd
end