X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2Fominidom.ml;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2Fominidom.ml;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=85ad2e4eddd039f5a48087f22f689b8b1d00b9d0;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/ominidom.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/ominidom.ml
deleted file mode 100644
index 85ad2e4ed..000000000
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/ominidom.ml
+++ /dev/null
@@ -1,156 +0,0 @@
-
-exception Node_has_no_parent;;
-exception Node_has_no_sibling of string;;
-exception Node_has_no_children;;
-exception Node_has_no_attributes;;
-exception Attribute_has_no_sibling of string;;
-exception Attribute_has_no_parent;;
-exception Undefined_entity;;
-
-let option_to_exception v e =
-  match v with
-    Some x -> x
-  | None   -> raise e
-;;
-
-class o_mDOMString (str: Minidom.mDOMString) =
-  object
-    method get_dom_string = str
-    method get_string = Minidom.string_of_mDOMString str
-  end;;
-  
-let o_mDOMString_of_string str =
-  new o_mDOMString (Minidom.mDOMString_of_string str)
-
-class o_mDOMEntity (ent : Minidom.mDOMEntity) =
-  object
-    method get_dom_entity = ent
-    method get_content =
-      new o_mDOMString (Minidom.entity_get_content ent)
-  end
-;;
-
-class o_mDOMDoc (doc : Minidom.mDOMDoc) =
-  object
-    method get_dom_doc = doc
-
-    method get_root_node =
-      new o_mDOMNode (Minidom.doc_get_root_node doc)
-    method add_entity (name : o_mDOMString) (value : o_mDOMString) =
-      new o_mDOMEntity
-        (Minidom.doc_add_entity doc
-	  (name#get_dom_string) (value#get_dom_string)
-	)
-    method get_entity (name : o_mDOMString) =
-      match Minidom.doc_get_entity doc (name#get_dom_string) with
-      | Some x -> new o_mDOMEntity x
-      | None -> raise Undefined_entity
-    method get_predefined_entity (name : o_mDOMString) =
-      match Minidom.doc_get_predefined_entity doc (name#get_dom_string) with
-      | Some x -> new o_mDOMEntity x
-      | None -> raise Undefined_entity
-  end
-and o_mDOMNode (node : Minidom.mDOMNode) =
-  object
-    method get_dom_node = node
-
-    method is_text = Minidom.node_is_text node
-    method is_element = Minidom.node_is_element node
-    method is_blank = Minidom.node_is_blank node
-    method is_entity_ref = Minidom.node_is_entity_ref node
-
-    method get_type = Minidom.node_get_type node
-    method get_name = 
-      match Minidom.node_get_name node with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_ns_uri =
-      match Minidom.node_get_ns_uri node with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_attribute (name : o_mDOMString) =
-      match Minidom.node_get_attribute node (name#get_dom_string) with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_attribute_ns (name : o_mDOMString) (uri : o_mDOMString) =
-      match 
-        Minidom.node_get_attribute_ns node
-	  (name#get_dom_string) (uri#get_dom_string)
-      with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_content =
-      match Minidom.node_get_content node with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_parent =
-      new o_mDOMNode
-      	(option_to_exception (Minidom.node_get_parent node) Node_has_no_parent)
-    method get_prev_sibling =
-      new o_mDOMNode
-      	(option_to_exception
-	 (Minidom.node_get_prev_sibling node)
-	 (Node_has_no_sibling "left")
-	)
-    method get_next_sibling =
-      new o_mDOMNode
-      	(option_to_exception
-	 (Minidom.node_get_next_sibling node)
-	 (Node_has_no_sibling "right")
-	)
-    method get_first_child =
-      new o_mDOMNode
-      	(option_to_exception
-	 (Minidom.node_get_first_child node)
-	 (Node_has_no_children)
-	)
-    method get_first_attribute =
-      new o_mDOMAttr
-      	(option_to_exception
-	  (Minidom.node_get_first_attribute node)
-	  (Node_has_no_attributes)
-	)
-    method is_first = Minidom.node_is_first node
-    method is_last = Minidom.node_is_last node
-
-    method get_children =
-      List.map (function x -> new o_mDOMNode x) (Minidom.node_get_children node)
-    method get_attributes = List.map
-      (function x -> new o_mDOMAttr x) (Minidom.node_get_attributes node)
-  end
-and o_mDOMAttr (attr : Minidom.mDOMAttr) =
-  object
-    method get_dom_attr = attr
-
-    method get_name =
-      match Minidom.attr_get_name attr with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_ns_uri =
-      match Minidom.attr_get_ns_uri attr with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_value =
-      match Minidom.attr_get_value attr with
-      | Some x -> Some (new o_mDOMString x)
-      | None   -> None
-    method get_prev_sibling =
-      new o_mDOMAttr
-        (option_to_exception
-	  (Minidom.attr_get_prev_sibling attr)
-	  (Attribute_has_no_sibling "left")
-	)
-    method get_next_sibling =
-      new o_mDOMAttr
-        (option_to_exception
-	  (Minidom.attr_get_next_sibling attr)
-	  (Attribute_has_no_sibling "right")
-	)
-    method get_parent =
-      new o_mDOMNode
-        (option_to_exception
-	  (Minidom.attr_get_parent attr) Attribute_has_no_parent
-	)
-  end
-;;
-