`sig
type validation_record = {
content_model : Pxp_core_types.I.content_model_type;
content_dfa : Pxp_dfa.dfa_definition option Lazy.t;
id_att_name : string option;
idref_att_names : string list;
att_lookup : int Pxp_aux.Str_hashtbl.t;
init_att_vals : (string * Pxp_core_types.I.att_value) array;
att_info : (Pxp_core_types.I.att_type * bool) array;
att_required : int list;
accept_undeclared_atts : bool;
}
class namespace_manager :
object
method add_namespace : string -> string -> unit
method add_uri : string -> string -> unit
method as_declaration : (string * string) list
method get_normprefix : string -> string
method get_primary_uri : string -> string
method get_uri_list : string -> string list
method iter_namespaces : (string -> unit) -> unit
method lookup_or_add_namespace : string -> string -> string
end
val create_namespace_manager : unit -> Pxp_dtd.namespace_manager
class type namespace_scope =
object
method declaration : (string * string) list
method display_prefix_of_normprefix : string -> string
method display_prefix_of_uri : string -> string
method effective_declaration : (string * string) list
method namespace_manager : Pxp_dtd.namespace_manager
method normprefix_of_display_prefix : string -> string
method parent_scope : Pxp_dtd.namespace_scope option
method uri_of_display_prefix : string -> string
end
class namespace_scope_impl :
Pxp_dtd.namespace_manager ->
Pxp_dtd.namespace_scope option ->
(string * string) list -> namespace_scope
val create_namespace_scope :
?parent:Pxp_dtd.namespace_scope ->
?decl:(string * string) list ->
Pxp_dtd.namespace_manager -> Pxp_dtd.namespace_scope
class dtd :
?swarner:Pxp_core_types.I.symbolic_warnings ->
Pxp_core_types.I.collect_warnings ->
Pxp_core_types.I.rep_encoding ->
object
method add_element : Pxp_dtd.dtd_element -> unit
method add_gen_entity : Pxp_entity.entity -> bool -> unit
method add_notation : Pxp_dtd.dtd_notation -> unit
method add_par_entity : Pxp_entity.entity -> unit
method add_pinstr : Pxp_dtd.proc_instruction -> unit
method allow_arbitrary : unit
method arbitrary_allowed : bool
method disallow_arbitrary : unit
method element : string -> Pxp_dtd.dtd_element
method element_names : string list
method encoding : Pxp_core_types.I.rep_encoding
method gen_entity : string -> Pxp_entity.entity * bool
method gen_entity_names : string list
method id : Pxp_core_types.I.dtd_id option
method invalidate : unit
method lexer_factory : Pxp_lexer_types.lexer_factory
method namespace_manager : Pxp_dtd.namespace_manager
method notation : string -> Pxp_dtd.dtd_notation
method notation_names : string list
method only_deterministic_models : unit
method par_entity : string -> Pxp_entity.entity
method par_entity_names : string list
method pinstr : string -> Pxp_dtd.proc_instruction list
method pinstr_names : string list
method root : string option
method set_id : Pxp_core_types.I.dtd_id -> unit
method set_namespace_manager : Pxp_dtd.namespace_manager -> unit
method set_root : string -> unit
method set_standalone_declaration : bool -> unit
method standalone_declaration : bool
method swarner : Pxp_core_types.I.symbolic_warnings option
method validate : unit
method warner : Pxp_core_types.I.collect_warnings
method write :
?root:string ->
Pxp_core_types.I.output_stream ->
Pxp_core_types.I.encoding -> bool -> unit
method write_ref :
?root:string ->
Pxp_core_types.I.output_stream -> Pxp_core_types.I.encoding -> unit
end
and dtd_element :
Pxp_dtd.dtd ->
string ->
object
method add_attribute :
string ->
Pxp_core_types.I.att_type ->
Pxp_core_types.I.att_default -> bool -> unit
method allow_arbitrary : unit
method arbitrary_allowed : bool
method attribute :
string -> Pxp_core_types.I.att_type * Pxp_core_types.I.att_default
method attribute_names : string list
method attribute_violates_standalone_declaration :
string -> string option -> bool
method content_dfa : Pxp_dfa.dfa_definition option
method content_model : Pxp_core_types.I.content_model_type
method disallow_arbitrary : unit
method encoding : Pxp_core_types.I.rep_encoding
method externally_declared : bool
method id_attribute_name : string option
method idref_attribute_names : string list
method internal_vr : Pxp_dtd.validation_record
method name : string
method names_of_required_attributes : string list
method set_cm_and_extdecl :
Pxp_core_types.I.content_model_type -> bool -> unit
method validate : unit
method write :
Pxp_core_types.I.output_stream -> Pxp_core_types.I.encoding -> unit
end
and dtd_notation :
string ->
Pxp_core_types.I.ext_id ->
Pxp_core_types.I.rep_encoding ->
object
method encoding : Pxp_core_types.I.rep_encoding
method ext_id : Pxp_core_types.I.ext_id
method name : string
method write :
Pxp_core_types.I.output_stream -> Pxp_core_types.I.encoding -> unit
end
and proc_instruction :
string ->
string ->
Pxp_core_types.I.rep_encoding ->
object
method encoding : Pxp_core_types.I.rep_encoding
method parse_pxp_option : string * string * (string * string) list
method target : string
method value : string
method write :
Pxp_core_types.I.output_stream -> Pxp_core_types.I.encoding -> unit
end
val create_dtd :
?swarner:Pxp_core_types.I.symbolic_warnings ->
?warner:Pxp_core_types.I.collect_warnings ->
Pxp_core_types.I.rep_encoding -> Pxp_dtd.dtd
type source =
Entity of ((Pxp_dtd.dtd -> Pxp_entity.entity) * Pxp_reader.resolver)
| ExtID of (Pxp_core_types.I.ext_id * Pxp_reader.resolver)
| XExtID of
(Pxp_core_types.I.ext_id * string option * Pxp_reader.resolver)
module Entity :
sig
val get_name : Pxp_entity.entity -> string
val get_full_name : Pxp_entity.entity -> string
val get_encoding : Pxp_entity.entity -> Pxp_core_types.I.rep_encoding
val get_type : Pxp_entity.entity -> [ `External | `Internal | `NDATA ]
val replacement_text : Pxp_entity.entity -> string
val get_xid : Pxp_entity.entity -> Pxp_core_types.I.ext_id option
val get_resolver_id :
Pxp_entity.entity -> Pxp_core_types.I.resolver_id option
val get_notation : Pxp_entity.entity -> string option
val create_internal_entity :
name:string -> value:string -> Pxp_dtd.dtd -> Pxp_entity.entity
val create_ndata_entity :
name:string ->
xid:Pxp_core_types.I.ext_id ->
notation:string -> Pxp_dtd.dtd -> Pxp_entity.entity
val create_external_entity :
?doc_entity:bool ->
?system_base:string ->
name:string ->
xid:Pxp_core_types.I.ext_id ->
resolver:Pxp_reader.resolver -> Pxp_dtd.dtd -> Pxp_entity.entity
val from_external_source :
?doc_entity:bool ->
name:string -> Pxp_dtd.dtd -> Pxp_dtd.source -> Pxp_entity.entity
val entity_id : Pxp_entity.entity -> Pxp_lexer_types.entity_id
val lookup : Pxp_lexer_types.entity_id -> Pxp_entity.entity
val create_entity_id : unit -> Pxp_lexer_types.entity_id
end
end`