]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/compatibility/markup_dtd.mli
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / compatibility / markup_dtd.mli
1 (* $Id$
2  * ----------------------------------------------------------------------
3  * Markup! The validating XML parser for Objective Caml.
4  * Copyright 1999 by Gerd Stolpmann. See LICENSE for details.
5  *
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.
8  *)
9
10 (**********************************************************************)
11 (*                                                                    *)
12 (* Markup_dtd:                                                        *)
13 (*     Object model of document type declarations                     *)
14 (*                                                                    *)
15 (**********************************************************************)
16
17 (* ======================================================================
18  * OVERVIEW
19  *
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
25  *                           declaration
26  * class dtd_notation ...... represents a notation declaration
27  * class proc_instruction .. represents a processing instruction
28  * ======================================================================
29  *
30  *)
31
32
33 class dtd :
34   Markup_types.collect_warnings -> 
35   Pxp_dtd.dtd
36     (* Incompatibilities:
37      * add_gen_entity, gen_entity
38      *)
39
40 class dtd_element : dtd -> string -> Pxp_dtd.dtd_element
41   (* Incompatibilities:
42    * set_content_model, add_attribute
43    *)
44
45 class dtd_notation : string -> Markup_types.ext_id -> Pxp_dtd.dtd_notation
46
47 class proc_instruction : string -> string -> Pxp_dtd.proc_instruction
48
49 (* ======================================================================
50  * History:
51  * 
52  * $Log$
53  * Revision 1.1  2000/11/17 09:57:30  lpadovan
54  * Initial revision
55  *
56  * Revision 1.1  2000/05/29 23:43:51  gerd
57  *      Initial compatibility revision.
58  *
59  * ======================================================================
60  * OLD LOGS:
61  *
62  * Revision 1.11  2000/05/29 21:14:57  gerd
63  *      Changed the type 'encoding' into a polymorphic variant.
64  *
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
77  * external entity.
78  *
79  * Revision 1.9  2000/05/20 20:31:40  gerd
80  *      Big change: Added support for various encodings of the
81  * internal representation.
82  *
83  * Revision 1.8  2000/05/06 23:10:26  gerd
84  *      allow_arbitrary for elements, too.
85  *
86  * Revision 1.7  2000/05/01 20:42:52  gerd
87  *         New method write_compact_as_latin1.
88  *
89  * Revision 1.6  2000/03/11 22:58:15  gerd
90  *      Updated to support Markup_codewriter.
91  *
92  * Revision 1.5  2000/02/22 02:32:02  gerd
93  *      Updated.
94  *
95  * Revision 1.4  1999/11/09 22:15:41  gerd
96  *      Added method "arbitrary_allowed".
97  *
98  * Revision 1.3  1999/09/01 16:21:56  gerd
99  *      "dtd" classes have now an argument that passes a "warner".
100  *
101  * Revision 1.2  1999/08/15 02:20:23  gerd
102  *         New feature: a DTD can allow arbitrary elements.
103  *
104  * Revision 1.1  1999/08/10 00:35:51  gerd
105  *      Initial revision.
106  *
107  * 
108  *)