Module Why3_xml

module Why3_xml: sig .. end
This file and the implementation have not been modified from the orignal why3 file (except removing the uses of the Debug module)

type element = {
   name : string;
   attributes : (string * string) list;
   elements : element list;
}
type t = {
   version : string;
   encoding : string;
   doctype : string;
   dtd : string;
   content : element;
}
val buf : Buffer.t
val pop_all : (string * (string * string) list * element list) list ->
element list -> element list
exception Parse_error of string
val parse_error : string -> 'a
val __ocaml_lex_tables : Lexing.lex_tables
val xml_prolog : Lexing.lexbuf -> t
val __ocaml_lex_xml_prolog_rec : Lexing.lexbuf -> int -> t
val xml_doctype : string -> string -> Lexing.lexbuf -> t
val __ocaml_lex_xml_doctype_rec : string -> string -> Lexing.lexbuf -> int -> t
val elements : (string * (string * string) list * element list) list ->
element list -> Lexing.lexbuf -> element list
val __ocaml_lex_elements_rec : (string * (string * string) list * element list) list ->
element list -> Lexing.lexbuf -> int -> element list
val attributes : (string * (string * string) list * element list) list ->
element list ->
string -> (string * string) list -> Lexing.lexbuf -> element list
val __ocaml_lex_attributes_rec : (string * (string * string) list * element list) list ->
element list ->
string ->
(string * string) list -> Lexing.lexbuf -> int -> element list
val value : Lexing.lexbuf -> string
val __ocaml_lex_value_rec : Lexing.lexbuf -> int -> string
val string_val : Lexing.lexbuf -> string
val __ocaml_lex_string_val_rec : Lexing.lexbuf -> int -> string
val from_file : string -> t
returns the list of XML elements from the given file. raise Sys_error if the file cannot be opened. raise Parse_error if the file does not follow XML syntax