Module Pxp_core_parser
type context
=
{
mutable current : unit -> Pxp_lexer_types.token;
mutable get_next : unit -> Pxp_lexer_types.token;
mutable current_token : Pxp_lexer_types.token;
mutable manager : Pxp_entity_manager.entity_manager;
}
type continuation_state
=
{
cont_context : context;
cont_extend_dtd : bool;
cont_process_xmldecl : bool;
}
exception
End_of_parsing
exception
Interrupt_parsing of continuation_state
val make_context : ?first_token:Pxp_lexer_types.token -> Pxp_entity_manager.entity_manager -> context
type extended_entry
=[
|
`Entry_content of [ `Dummy ] list
|
`Entry_continuation of continuation_state
|
`Entry_declarations of [ `Extend_dtd_fully | `Val_mode_dtd ] list
|
`Entry_document of [ `Extend_dtd_fully | `Parse_xml_decl | `Val_mode_dtd ] list
|
`Entry_element_content of [ `Dummy ] list
|
`Entry_expr of [ `Dummy ] list
]
type 't array_stack
val stack_create : 't -> 't array_stack
val stack_push : 't -> 't array_stack -> unit
val stack_top : 't array_stack -> 't
val stack_pop : 't array_stack -> 't
class virtual core_parser : Pxp_dtd.dtd -> Pxp_types.config -> int -> object ... end