67 |
object |
object |
68 |
inherit ['a] defaultVisitor |
inherit ['a] defaultVisitor |
69 |
|
|
|
|
|
70 |
(** |
(** |
71 |
The XML file's header. Contains the DTD. |
The XML file's header. Contains the DTD. |
72 |
@see <http://www.w3schools.com/dtd/dtd_intro.asp> How to get a DTD |
@see <http://www.w3schools.com/dtd/dtd_intro.asp> How to get a DTD |
160 |
The method which creates the XML file with its embedded DTD, and dump |
The method which creates the XML file with its embedded DTD, and dump |
161 |
stuffs which are inherited from the `nn' class. |
stuffs which are inherited from the `nn' class. |
162 |
*) |
*) |
163 |
method private beginDump : 'a -> unit |
method private beginDump : nn -> unit |
164 |
|
|
165 |
(** |
(** |
166 |
Closes tags which were opened by beginDump, and close the file. |
Closes tags which were opened by beginDump, and close the file. |
167 |
*) |
*) |
168 |
method private endDump : 'a -> unit |
method private endDump : nn -> unit |
169 |
|
|
170 |
(** |
(** |
171 |
Parses an XML file and creates a nn object out of it. |
Parses an XML file and creates a nn object out of it. |