2 * ----------------------------------------------------------------------
3 * Markup! The validating XML parser for Objective Caml.
4 * Copyright 1999 by Gerd Stolpmann. See LICENSE for details.
6 * THIS IS THE markup-0.2.10 COMPATIBLE INTERFACE TO markup_dtd.mli.
7 * It corresponds to revision 1.11 of markup_dtd.mli.
10 (**********************************************************************)
13 (* Object model of document type declarations *)
15 (**********************************************************************)
17 (* ======================================================================
20 * class dtd ............... represents the whole DTD, including element
21 * declarations, entity declarations, notation
22 * declarations, and processing instructions
23 * class dtd_element ....... represents an element declaration consisting
24 * of a content model and an attribute list
26 * class dtd_notation ...... represents a notation declaration
27 * class proc_instruction .. represents a processing instruction
28 * ======================================================================
34 Markup_types.collect_warnings ->
37 * add_gen_entity, gen_entity
40 class dtd_element : dtd -> string -> Pxp_dtd.dtd_element
42 * set_content_model, add_attribute
45 class dtd_notation : string -> Markup_types.ext_id -> Pxp_dtd.dtd_notation
47 class proc_instruction : string -> string -> Pxp_dtd.proc_instruction
49 (* ======================================================================
53 * Revision 1.1 2000/11/17 09:57:30 lpadovan
56 * Revision 1.1 2000/05/29 23:43:51 gerd
57 * Initial compatibility revision.
59 * ======================================================================
62 * Revision 1.11 2000/05/29 21:14:57 gerd
63 * Changed the type 'encoding' into a polymorphic variant.
65 * Revision 1.10 2000/05/27 19:20:38 gerd
66 * Changed the interfaces for the standalone check: New
67 * methods: standalone_declaration, set_standalone_declaration,
68 * externally_declared, attribute_violates_standalone_declaration.
69 * The method set_content_model has been renamed to
70 * set_cm_and_extdecl; it now initializes also whether the element
71 * has been declared in an external entity.
72 * Methods add_gen_entity and gen_entity pass an additional
73 * boolean argument containing whether the declaration of the
74 * general entity happened in an external entity.
75 * Method add_attribute expects this argument, too, which
76 * states whether the declaration of the attribute happened in an
79 * Revision 1.9 2000/05/20 20:31:40 gerd
80 * Big change: Added support for various encodings of the
81 * internal representation.
83 * Revision 1.8 2000/05/06 23:10:26 gerd
84 * allow_arbitrary for elements, too.
86 * Revision 1.7 2000/05/01 20:42:52 gerd
87 * New method write_compact_as_latin1.
89 * Revision 1.6 2000/03/11 22:58:15 gerd
90 * Updated to support Markup_codewriter.
92 * Revision 1.5 2000/02/22 02:32:02 gerd
95 * Revision 1.4 1999/11/09 22:15:41 gerd
96 * Added method "arbitrary_allowed".
98 * Revision 1.3 1999/09/01 16:21:56 gerd
99 * "dtd" classes have now an argument that passes a "warner".
101 * Revision 1.2 1999/08/15 02:20:23 gerd
102 * New feature: a DTD can allow arbitrary elements.
104 * Revision 1.1 1999/08/10 00:35:51 gerd