Pxp_core_parser · pxp 1.2.9

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