]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mlminidom/ominidom.mli
HBugs compile again (but it does not do anything right now: still to be
[helm.git] / helm / DEVEL / mlminidom / ominidom.mli
1 (* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
2  *
3  * This file is part of mlminidom, the Ocaml binding for minidom.
4  * 
5  * mlminidom is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU General Public License
7  * as published by the Free Software Foundation; either version 2
8  * of the License, or (at your option) any later version.
9  *
10  * mlminidom is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with mlminidom; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
18  * 
19  * For details, send a mail to the author.
20  *)
21
22 exception Node_has_no_parent
23 exception Node_has_no_sibling of string
24 exception Node_has_no_children
25 exception Node_has_no_attributes
26 exception Attribute_has_no_sibling of string
27 exception Attribute_has_no_parent
28 exception Undefined_entity
29
30 class o_mDOMString : Minidom.mDOMString ->
31   object
32     method get_dom_string : Minidom.mDOMString
33     method get_string : string
34   end
35
36 val o_mDOMString_of_string : string -> o_mDOMString
37
38 class o_mDOMEntity : Minidom.mDOMEntity ->
39   object
40     method get_content : o_mDOMString
41     method get_dom_entity : Minidom.mDOMEntity
42   end
43
44 class o_mDOMDoc : Minidom.mDOMDoc ->
45   object
46     method add_entity : o_mDOMString -> o_mDOMString -> o_mDOMEntity
47     method get_dom_doc : Minidom.mDOMDoc
48     method get_entity : o_mDOMString -> o_mDOMEntity
49     method get_predefined_entity : o_mDOMString -> o_mDOMEntity
50     method get_root_node : o_mDOMNode
51   end
52 and o_mDOMNode : Minidom.mDOMNode ->
53   object
54     method get_attribute : o_mDOMString -> o_mDOMString option
55     method get_attribute_ns :
56       o_mDOMString -> o_mDOMString -> o_mDOMString option
57     method has_attribute : o_mDOMString -> bool
58     method has_attribute_ns : o_mDOMString -> o_mDOMString -> bool
59     method get_attributes : o_mDOMAttr list
60     method get_children : o_mDOMNode list
61     method get_content : o_mDOMString option
62     method get_dom_node : Minidom.mDOMNode
63     method get_first_attribute : o_mDOMAttr
64     method get_first_child : o_mDOMNode
65     method get_name : o_mDOMString option
66     method get_next_sibling : o_mDOMNode
67     method get_ns_uri : o_mDOMString option
68     method get_parent : o_mDOMNode
69     method get_prev_sibling : o_mDOMNode
70     method get_type : int
71     method is_blank : bool
72     method is_element : bool
73     method is_entity_ref : bool
74     method is_first : bool
75     method is_last : bool
76     method is_text : bool
77   end
78 and o_mDOMAttr : Minidom.mDOMAttr ->
79   object
80     method get_dom_attr : Minidom.mDOMAttr
81     method get_name : o_mDOMString option
82     method get_next_sibling : o_mDOMAttr
83     method get_ns_uri : o_mDOMString option
84     method get_parent : o_mDOMNode
85     method get_prev_sibling : o_mDOMAttr
86     method get_value : o_mDOMString option
87   end