From 182bb93a77b341e9e2394504bf156c17d81bfad5 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 10 May 2005 10:57:26 +0000 Subject: [PATCH] moved xmlPushParser in ocaml/xml/ since it does not depend on cic --- helm/ocaml/cic/xmlPushParser.ml | 91 -------------------------------- helm/ocaml/cic/xmlPushParser.mli | 69 ------------------------ 2 files changed, 160 deletions(-) delete mode 100644 helm/ocaml/cic/xmlPushParser.ml delete mode 100644 helm/ocaml/cic/xmlPushParser.mli diff --git a/helm/ocaml/cic/xmlPushParser.ml b/helm/ocaml/cic/xmlPushParser.ml deleted file mode 100644 index 92e9f0dd6..000000000 --- a/helm/ocaml/cic/xmlPushParser.ml +++ /dev/null @@ -1,91 +0,0 @@ -(* Copyright (C) 2004-2005, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://helm.cs.unibo.it/ - *) - -type callbacks = { - start_element: (string -> (string * string) list -> unit) option; - end_element: (string -> unit) option; - character_data: (string -> unit) option; - processing_instruction: (string -> string -> unit) option; - comment: (string -> unit) option; -} - -let default_callbacks = { - start_element = None; - end_element = None; - character_data = None; - processing_instruction = None; - comment = None; -} - -type xml_source = - [ `Channel of in_channel - | `File of string - | `String of string - ] - -type position = int * int - -type xml_parser = Expat.expat_parser - -let create_parser callbacks = - let expat_parser = Expat.parser_create ~encoding:None in - (match callbacks.start_element with - | Some f -> Expat.set_start_element_handler expat_parser f - | _ -> ()); - (match callbacks.end_element with - | Some f -> Expat.set_end_element_handler expat_parser f - | _ -> ()); - (match callbacks.character_data with - | Some f -> Expat.set_character_data_handler expat_parser f - | _ -> ()); - (match callbacks.processing_instruction with - | Some f -> Expat.set_processing_instruction_handler expat_parser f - | _ -> ()); - (match callbacks.comment with - | Some f -> Expat.set_comment_handler expat_parser f - | _ -> ()); - expat_parser - -let final = Expat.final - -let get_position expat_parser = - (Expat.get_current_line_number expat_parser, - Expat.get_current_column_number expat_parser) - -let parse expat_parser = - let parse_fun = Expat.parse expat_parser in - let rec aux = function - | `Channel ic -> - (try - while true do parse_fun (input_line ic ^ "\n") done - with End_of_file -> final expat_parser) - | `File fname -> - let ic = open_in fname in - aux (`Channel ic); - close_in ic - | `String s -> parse_fun s - in - aux - diff --git a/helm/ocaml/cic/xmlPushParser.mli b/helm/ocaml/cic/xmlPushParser.mli deleted file mode 100644 index 49a87425c..000000000 --- a/helm/ocaml/cic/xmlPushParser.mli +++ /dev/null @@ -1,69 +0,0 @@ -(* Copyright (C) 2004-2005, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://helm.cs.unibo.it/ - *) - -(** {2 XLM push parser generic interface} - * Do not depend on CIC *) - - (** callbacks needed to instantiate a parser *) -type callbacks = { - start_element: - (string -> (string * string) list -> unit) option; (* tag, attr list *) - end_element: (string -> unit) option; (* tag *) - character_data: (string -> unit) option; (* data *) - processing_instruction: - (string -> string -> unit) option; (* target, value *) - comment: (string -> unit) option; (* value *) -} - - (** do nothing callbacks (all set to None) *) -val default_callbacks: callbacks - - (** source from which parse an XML file *) -type xml_source = - [ `Channel of in_channel - | `File of string - | `String of string - ] - - (** source position in a XML source. - * A position is a pair *) -type position = int * int - -type xml_parser - - (** Create a push parser which invokes the given callbacks *) -val create_parser: callbacks -> xml_parser - - (** Parse XML data from a given source with a given parser *) -val parse: xml_parser -> xml_source -> unit - - (** Inform the farser that parsing is completed, needed only when source is - * `String, for other sources it is automatically invoked when the end of file - * is reached *) -val final: xml_parser -> unit - - (** @return current pair *) -val get_position: xml_parser -> position - -- 2.39.2