erm_xml 0.3 (latest) · OCaml Package

module E : sig ... end

module S : sig ... end

module X : sig ... end

type next_state = Xmllexer_generic.Make(LocatedStream)(Encoding)(X).next_state =

| PrologXmlDeclState
| PrologMiscState
| TextState
| LessThanSignState
| AfterElement

type state = Xmllexer_generic.Make(LocatedStream)(Encoding)(X).state = {

tmp_buffer : Buffer.t;
stack : string Stack.t;
mutable next_state : next_state;

}

exception Exn_msg of string

exception Exn_EOF

exception Exn_ExpectedChar of char list

exception Exn_ExpectedSpace

exception Exn_CharToken of int

exception Error_XMLDecl

val not_eof : unit -> 'a S.t

val add_chars : state -> char list -> unit

val extract_buffer : state -> string

val consume_sequence : S.stream -> int list -> unit S.t

val consume_space : S.stream -> unit S.t

val parse_xmldecl : string -> string * string option * string option

type d = Xmllexer_generic.Make(LocatedStream)(Encoding)(X).d =

| N of (int * d) list
| L of char list

val entities : d

val character_reference : S.stream -> int S.t

val text_state : state -> S.stream -> X.token S.t

val comment_state : 'a -> S.stream -> unit S.t

val start_tag_name_state : state -> S.stream -> X.token S.t

val self_closing_start_tag_state : string -> state -> S.stream -> X.token S.t

val end_tag_start_state : state -> S.stream -> X.token S.t

val end_tag_state : state -> S.stream -> X.token S.t

val after_end_tag_state : state -> S.stream -> X.token S.t

val before_attribute_state : 
  string ->
  (string * string) list ->
  state ->
  S.stream ->
  X.token S.t

val attribute_name_state : 
  string ->
  (string * string) list ->
  state ->
  S.stream ->
  X.token S.t

val after_attribute_name_state : state -> S.stream -> string S.t

val before_attribute_value_state : state -> S.stream -> string S.t

val attribute_value_double_quoted_state : state -> S.stream -> string S.t

val attribute_value_single_quoted_state : state -> S.stream -> string S.t

val after_attribute_value_state : 
  string ->
  (string * string) list ->
  state ->
  S.stream ->
  X.token S.t

val pi_start_state : state -> S.stream -> (string * string) S.t

val pi_target_state : state -> S.stream -> (string * string) S.t

val before_pi_data_state : string -> state -> S.stream -> (string * string) S.t

val pi_data_state : string -> state -> S.stream -> (string * string) S.t

val pi_data_qmark_state : string -> state -> S.stream -> (string * string) S.t

val doctype_state : state -> S.stream -> X.token S.t

val prolog_state : state -> S.stream -> X.token S.t

val cdata_state : state -> S.stream -> X.token S.t

val cdata_rbracket_state : state -> S.stream -> X.token S.t

val cdata_rbracket_rbracket_state : state -> S.stream -> X.token S.t

val markup_start_state : state -> S.stream -> X.token S.t

val less_than_sign_state : state -> S.stream -> X.token S.t

val after_element_state : state -> S.stream -> X.token S.t

val tokenizer : state -> S.stream -> X.token S.t

val create_state : unit -> state

val lexer : state -> S.stream -> X.token S.t

val reset : state -> unit

val make_lexer : S.stream -> unit -> X.token S.t

package erm_xml