package erm_xmpp

  1. Overview
  2. Docs
module E : sig ... end
module S : sig ... end
module X : sig ... end
type next_state = Xmllexer_generic.Make(I)(Xmllexer.Encoding)(XmlStanza(M)).next_state =
  1. | PrologXmlDeclState
  2. | PrologMiscState
  3. | TextState
  4. | LessThanSignState
  5. | AfterElement
type state = Xmllexer_generic.Make(I)(Xmllexer.Encoding)(XmlStanza(M)).state = {
  1. tmp_buffer : Buffer.t;
  2. stack : string Stack.t;
  3. 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(I)(Xmllexer.Encoding)(XmlStanza(M)).d =
  1. | N of (int * d) list
  2. | 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