]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.mli
Initial revision
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.2 / minidom / ominidom.mli
1 exception Node_has_no_parent
2 exception Node_has_no_sibling of string
3 exception Node_has_no_children
4 exception Node_has_no_attributes
5 exception Attribute_has_no_sibling of string
6 exception Attribute_has_no_parent
7 exception Undefined_entity
8
9 class o_mDOMString : Minidom.mDOMString ->
10   object
11     method get_dom_string : Minidom.mDOMString
12     method get_string : string
13   end
14
15 val o_mDOMString_of_string : string -> o_mDOMString
16
17 class o_mDOMEntity : Minidom.mDOMEntity ->
18   object
19     method get_content : o_mDOMString
20     method get_dom_entity : Minidom.mDOMEntity
21   end
22
23 class o_mDOMDoc : Minidom.mDOMDoc ->
24   object
25     method add_entity : o_mDOMString -> o_mDOMString -> o_mDOMEntity
26     method get_dom_doc : Minidom.mDOMDoc
27     method get_entity : o_mDOMString -> o_mDOMEntity
28     method get_predefined_entity : o_mDOMString -> o_mDOMEntity
29     method get_root_node : o_mDOMNode
30   end
31 and o_mDOMNode : Minidom.mDOMNode ->
32   object
33     method get_attribute : o_mDOMString -> o_mDOMString option
34     method get_attribute_ns :
35       o_mDOMString -> o_mDOMString -> o_mDOMString option
36     method get_attributes : o_mDOMAttr list
37     method get_children : o_mDOMNode list
38     method get_content : o_mDOMString option
39     method get_dom_node : Minidom.mDOMNode
40     method get_first_attribute : o_mDOMAttr
41     method get_first_child : o_mDOMNode
42     method get_name : o_mDOMString option
43     method get_next_sibling : o_mDOMNode
44     method get_ns_uri : o_mDOMString option
45     method get_parent : o_mDOMNode
46     method get_prev_sibling : o_mDOMNode
47     method get_type : int
48     method is_blank : bool
49     method is_element : bool
50     method is_entity_ref : bool
51     method is_first : bool
52     method is_last : bool
53     method is_text : bool
54   end
55 and o_mDOMAttr : Minidom.mDOMAttr ->
56   object
57     method get_dom_attr : Minidom.mDOMAttr
58     method get_name : o_mDOMString option
59     method get_next_sibling : o_mDOMAttr
60     method get_ns_uri : o_mDOMString option
61     method get_parent : o_mDOMNode
62     method get_prev_sibling : o_mDOMAttr
63     method get_value : o_mDOMString option
64   end