Module Pxp_types
module StringMap : sig ... end
type ext_id
= Pxp_core_types.A.ext_id
=
|
System of string
|
Public of string * string
|
Anonymous
|
Private of private_id
and private_id
= Pxp_core_types.A.private_id
val allocate_private_id : unit -> private_id
type resolver_id
= Pxp_core_types.A.resolver_id
=
{
rid_private : private_id option;
rid_public : string option;
rid_system : string option;
rid_system_base : string option;
}
val resolver_id_of_ext_id : ext_id -> resolver_id
type dtd_id
= Pxp_core_types.A.dtd_id
=
|
External of ext_id
|
Derived of ext_id
|
Internal
type content_model_type
= Pxp_core_types.A.content_model_type
=
|
Unspecified
|
Empty
|
Any
|
Mixed of mixed_spec list
|
Regexp of regexp_spec
and mixed_spec
= Pxp_core_types.A.mixed_spec
=
|
MPCDATA
|
MChild of string
and regexp_spec
= Pxp_core_types.A.regexp_spec
=
|
Optional of regexp_spec
|
Repeated of regexp_spec
|
Repeated1 of regexp_spec
|
Alt of regexp_spec list
|
Seq of regexp_spec list
|
Child of string
type att_type
= Pxp_core_types.A.att_type
=
|
A_cdata
|
A_id
|
A_idref
|
A_idrefs
|
A_entity
|
A_entities
|
A_nmtoken
|
A_nmtokens
|
A_notation of string list
|
A_enum of string list
type att_default
= Pxp_core_types.A.att_default
=
|
D_required
|
D_implied
|
D_default of string
|
D_fixed of string
type att_value
= Pxp_core_types.A.att_value
=
|
Value of string
|
Valuelist of string list
|
Implied_value
class type collect_warnings = object ... end
class drop_warnings : collect_warnings
type warning
=[
]
class type symbolic_warnings = object ... end
val string_of_warning : warning -> string
val warn : symbolic_warnings option -> collect_warnings -> warning -> unit
type encoding
= Netconversion.encoding
type rep_encoding
=[
]
exception
Validation_error of string
exception
WF_error of string
exception
Namespace_error of string
exception
Error of string
exception
Character_not_supported
exception
At of string * exn
exception
Undeclared
exception
Method_not_applicable of string
exception
Namespace_method_not_applicable of string
exception
Not_competent
exception
Not_resolvable of exn
exception
Namespace_not_managed of string
exception
Namespace_prefix_not_managed of string
exception
Namespace_not_in_scope of string
type output_stream
=[
|
`Out_buffer of Stdlib.Buffer.t
|
`Out_channel of Stdlib.out_channel
|
`Out_function of string -> int -> int -> unit
|
`Out_netchannel of Netchannels.out_obj_channel
]
val write : output_stream -> string -> int -> int -> unit
type pool
= Pxp_core_types.A.pool
val make_probabilistic_pool : ?fraction:float -> int -> pool
val pool_string : pool -> string -> string
type config
=
{
warner : collect_warnings;
swarner : symbolic_warnings option;
enable_pinstr_nodes : bool;
enable_comment_nodes : bool;
enable_super_root_node : bool;
drop_ignorable_whitespace : bool;
encoding : 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;
}
type source
= Pxp_dtd.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
val from_channel : ?alt:Pxp_reader.resolver list -> ?system_id:string -> ?fixenc:encoding -> ?id:ext_id -> ?system_encoding:encoding -> Stdlib.in_channel -> source
val from_obj_channel : ?alt:Pxp_reader.resolver list -> ?system_id:string -> ?fixenc:encoding -> ?id:ext_id -> ?system_encoding:encoding -> Netchannels.in_obj_channel -> source
val from_string : ?alt:Pxp_reader.resolver list -> ?system_id:string -> ?fixenc:encoding -> string -> source
val from_file : ?alt:Pxp_reader.resolver list -> ?system_encoding:encoding -> ?enc:encoding -> string -> source
val open_source : config -> source -> bool -> Pxp_dtd.dtd -> Pxp_reader.resolver * Pxp_entity.entity
type entity_id
= Pxp_lexer_types.entity_id
type entity
= Pxp_entity.entity
type entry
=[
]
type event
=
|
E_start_doc of string * Pxp_dtd.dtd
|
E_end_doc of string
|
E_start_tag of string * (string * string) list * Pxp_dtd.namespace_scope option * Pxp_lexer_types.entity_id
|
E_end_tag of string * Pxp_lexer_types.entity_id
|
E_char_data of string
|
E_pinstr of string * string * Pxp_lexer_types.entity_id
|
E_comment of string
|
E_start_super
|
E_end_super
|
E_position of string * int * int
|
E_error of exn
|
E_end_of_stream