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_types.mli.
7 * It corresponds to revision 1.7 of markup_types.mli.
11 type ext_id = Pxp_types.ext_id =
13 | Public of (string * string)
15 type dtd_id = Pxp_types.dtd_id =
19 type content_model_type = Pxp_types.content_model_type =
23 | Mixed of mixed_spec list
24 | Regexp of regexp_spec
25 and mixed_spec = Pxp_types.mixed_spec =
28 and regexp_spec = Pxp_types.regexp_spec =
29 Optional of regexp_spec
30 | Repeated of regexp_spec
31 | Repeated1 of regexp_spec
32 | Alt of regexp_spec list
33 | Seq of regexp_spec list
35 type att_type = Pxp_types.att_type =
44 | A_notation of string list
45 | A_enum of string list
46 type att_default = Pxp_types.att_default =
51 type att_value = Pxp_types.att_value =
53 | Valuelist of string list
56 class collect_warnings :
58 method warn : string -> unit
59 method print_warnings : string
65 exception Illegal_character of int
66 exception Validation_error of string
67 exception WF_error of string
68 exception Character_not_supported
69 exception Bad_character_stream
70 exception At of (string * exn)
73 val string_of_exn : exn -> string
74 (* Converts a Markup exception into a readable string *)
77 type output_stream = Pxp_types.output_stream =
78 Out_buffer of Buffer.t
79 | Out_channel of out_channel
80 | Out_function of (string -> int -> int -> unit)
82 val write : output_stream -> string -> int -> int -> unit
83 (* write os s pos len: Writes the string to the buffer/channel/stream *)
85 (* ======================================================================
89 * Revision 1.1 2000/11/17 09:57:30 lpadovan
92 * Revision 1.2 2000/07/08 17:40:50 gerd
93 * Updated the simulation.
95 * Revision 1.1 2000/05/29 23:43:51 gerd
96 * Initial compatibility revision.
98 * ======================================================================
101 * Revision 1.7 2000/05/29 21:14:57 gerd
102 * Changed the type 'encoding' into a polymorphic variant.
104 * Revision 1.6 2000/05/20 20:31:40 gerd
105 * Big change: Added support for various encodings of the
106 * internal representation.
108 * Revision 1.5 2000/05/01 20:43:25 gerd
109 * New type output_stream; new function 'write'.
111 * Revision 1.4 1999/09/01 16:25:35 gerd
112 * Dropped Illegal_token and Content_not_allowed_here. WF_error can
115 * Revision 1.3 1999/08/15 02:22:40 gerd
116 * Added exception Undeclared.
118 * Revision 1.2 1999/08/14 22:15:17 gerd
119 * New class "collect_warnings".
121 * Revision 1.1 1999/08/10 00:35:52 gerd