viewcvs.cgi/runtime/cduce_expat.ml

let buflen = 1024
let buf = String.create buflen

let load_from_file p s =
  let ic = 
    try open_in s
    with exn ->
      let msg = 
        Printf.sprintf "load_xml, file \"%s\": %s" s (Printexc.to_string exn)
      in
      raise (Location.Generic msg)
  in
  let rec loop () =
    let n = input ic buf 0 buflen in
    if (n > 0) then (Expat.parse_sub p buf 0 n; loop ()) 
  in
  try
    loop(); 
    Expat.final p;
    close_in ic
  with exn -> close_in ic; raise exn

let load_expat s =
  let p = Expat.parser_create "" in
  Expat.set_start_element_handler p Load_xml.start_element_handler;
  Expat.set_end_element_handler p Load_xml.end_element_handler;
  Expat.set_character_data_handler p Load_xml.text_handler;
  try
    match Url.process s with 
      | Url.Url s -> Expat.parse p s
      | Url.Filename s -> load_from_file p s
  with Expat.Expat_error e -> 
    let line = Expat.get_current_line_number p 
    and col  = Expat.get_current_column_number p in
    let src = match s with
      | Url.Url s -> ""
      | Url.Filename s -> Printf.sprintf " file \"%s\"," s in
    let msg =
      Printf.sprintf
        "load_xml,%s at line %i, column %i: %s"
        src
        (Expat.get_current_line_number p)
        (Expat.get_current_column_number p)
        (Expat.xml_error_to_string e)
    in
    raise (Location.Generic msg)

let use () = Load_xml.xml_parser := load_expat

let () = 
  Config.register 
    "expat" 
    "Expat XML parser"
    use

1	abate	1187	let buflen = 1024
2			let buf = String.create buflen
3
4			let load_from_file p s =
5			let ic =
6			try open_in s
7			with exn ->
8			let msg =
9			Printf.sprintf "load_xml, file \"%s\": %s" s (Printexc.to_string exn)
10			in
11			raise (Location.Generic msg)
12			in
13			let rec loop () =
14			let n = input ic buf 0 buflen in
15			if (n > 0) then (Expat.parse_sub p buf 0 n; loop ())
16			in
17			try
18			loop();
19			Expat.final p;
20			close_in ic
21			with exn -> close_in ic; raise exn
22
23			let load_expat s =
24			let p = Expat.parser_create "" in
25			Expat.set_start_element_handler p Load_xml.start_element_handler;
26			Expat.set_end_element_handler p Load_xml.end_element_handler;
27			Expat.set_character_data_handler p Load_xml.text_handler;
28			try
29	abate	1529	match Url.process s with
30	abate	1187	\| Url.Url s -> Expat.parse p s
31			\| Url.Filename s -> load_from_file p s
32			with Expat.Expat_error e ->
33			let line = Expat.get_current_line_number p
34			and col = Expat.get_current_column_number p in
35	abate	1421	let src = match s with
36			\| Url.Url s -> ""
37			\| Url.Filename s -> Printf.sprintf " file \"%s\"," s in
38	abate	1187	let msg =
39			Printf.sprintf
40	abate	1421	"load_xml,%s at line %i, column %i: %s"
41			src
42	abate	1187	(Expat.get_current_line_number p)
43			(Expat.get_current_column_number p)
44			(Expat.xml_error_to_string e)
45			in
46			raise (Location.Generic msg)
47
48	abate	1449	let use () = Load_xml.xml_parser := load_expat
49
50	abate	1188	let () =
51			Config.register
52			"expat"
53			"Expat XML parser"
54	abate	1449	use
55