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