This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.2 / minidom / ominidom.mli

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.mli b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.mli
deleted file mode 100644 (file)
index 2432954..0000000
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.mli
+++ /dev/null
@@ -1,64 +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
-
-class o_mDOMString : Minidom.mDOMString ->
-  object
-    method get_dom_string : Minidom.mDOMString
-    method get_string : string
-  end
-
-val o_mDOMString_of_string : string -> o_mDOMString
-
-class o_mDOMEntity : Minidom.mDOMEntity ->
-  object
-    method get_content : o_mDOMString
-    method get_dom_entity : Minidom.mDOMEntity
-  end
-
-class o_mDOMDoc : Minidom.mDOMDoc ->
-  object
-    method add_entity : o_mDOMString -> o_mDOMString -> o_mDOMEntity
-    method get_dom_doc : Minidom.mDOMDoc
-    method get_entity : o_mDOMString -> o_mDOMEntity
-    method get_predefined_entity : o_mDOMString -> o_mDOMEntity
-    method get_root_node : o_mDOMNode
-  end
-and o_mDOMNode : Minidom.mDOMNode ->
-  object
-    method get_attribute : o_mDOMString -> o_mDOMString option
-    method get_attribute_ns :
-      o_mDOMString -> o_mDOMString -> o_mDOMString option
-    method get_attributes : o_mDOMAttr list
-    method get_children : o_mDOMNode list
-    method get_content : o_mDOMString option
-    method get_dom_node : Minidom.mDOMNode
-    method get_first_attribute : o_mDOMAttr
-    method get_first_child : o_mDOMNode
-    method get_name : o_mDOMString option
-    method get_next_sibling : o_mDOMNode
-    method get_ns_uri : o_mDOMString option
-    method get_parent : o_mDOMNode
-    method get_prev_sibling : o_mDOMNode
-    method get_type : int
-    method is_blank : bool
-    method is_element : bool
-    method is_entity_ref : bool
-    method is_first : bool
-    method is_last : bool
-    method is_text : bool
-  end
-and o_mDOMAttr : Minidom.mDOMAttr ->
-  object
-    method get_dom_attr : Minidom.mDOMAttr
-    method get_name : o_mDOMString option
-    method get_next_sibling : o_mDOMAttr
-    method get_ns_uri : o_mDOMString option
-    method get_parent : o_mDOMNode
-    method get_prev_sibling : o_mDOMAttr
-    method get_value : o_mDOMString option
-  end