+++ /dev/null
-(* $Id$ *)
-
-(* Parsing test:
- * - XmlPushParser version *)
-open Printf
-open XmlPushParser
-
-let print s = print_endline s; flush stdout
-
-let callbacks =
- { default_callbacks with
- start_element =
- Some (fun tag attrs ->
- let length = List.length attrs in
- print (sprintf "opening %s [%s]"
- tag (String.concat ";" (List.map fst attrs))));
- end_element = Some (fun tag -> print ("closing " ^ tag));
- character_data = Some (fun data -> print "character data ...");
- }
-
-let xml_parser = create_parser callbacks
-
-let is_gzip f =
- try
- let len = String.length f in
- String.sub f (len - 3) 3 = ".gz"
- with Invalid_argument _ -> false
-
-let _ =
- let xml_source =
- if is_gzip Sys.argv.(1) then
- `Gzip_file Sys.argv.(1)
- else
- `File Sys.argv.(1)
- in
- parse xml_parser xml_source
-
-(* Parsing test:
- * - Pure expat version (without XmlPushParser mediation).
- * Originally written only to test if XmlPushParser mediation caused overhead.
- * That was not the case. *)
-
-(*let _ =*)
-(* let ic = open_in Sys.argv.(1) in*)
-(* let expat_parser = Expat.parser_create ~encoding:None in*)
-(* Expat.set_start_element_handler expat_parser*)
-(* (fun tag attrs ->*)
-(* let length = List.length attrs in*)
-(* print (sprintf "opening %s [%d attribute%s]"*)
-(* tag length (if length = 1 then "" else "s")));*)
-(* Expat.set_end_element_handler expat_parser*)
-(* (fun tag -> print ("closing " ^ tag));*)
-(* Expat.set_character_data_handler expat_parser*)
-(* (fun data -> print "character data ...");*)
-(* try*)
-(* while true do*)
-(* Expat.parse expat_parser (input_line ic ^ "\n")*)
-(* done*)
-(* with End_of_file -> Expat.final expat_parser*)
-