diff options
Diffstat (limited to 'lib/xml_parser.mli')
| -rw-r--r-- | lib/xml_parser.mli | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/lib/xml_parser.mli b/lib/xml_parser.mli index 2c83eee9d7..1cde9dc811 100644 --- a/lib/xml_parser.mli +++ b/lib/xml_parser.mli @@ -82,14 +82,13 @@ val abs_range : error_pos -> int * int val pos : Lexing.lexbuf -> error_pos (** Several kind of resources can contain Xml documents. *) -type source = - | SFile of string - | SChannel of in_channel - | SString of string - | SLexbuf of Lexing.lexbuf +type source = +| SChannel of in_channel +| SString of string +| SLexbuf of Lexing.lexbuf (** This function returns a new parser with default options. *) -val make : unit -> t +val make : source -> t (** When a Xml document is parsed, the parser will check that the end of the document is reached, so for example parsing ["<A/><B/>"] will fail instead @@ -99,4 +98,4 @@ val check_eof : t -> bool -> unit (** Once the parser is configurated, you can run the parser on a any kind of xml document source to parse its contents into an Xml data structure. *) -val parse : t -> source -> xml +val parse : t -> xml |