+++ /dev/null
-(* $Id$
- * ----------------------------------------------------------------------
- * PXP: The polymorphic XML parser for Objective Caml.
- * Copyright 1999 by Gerd Stolpmann. See LICENSE for details.
- *)
-
-type ext_id =
- System of string
- | Public of (string * string)
- | Anonymous
-
-
-type dtd_id =
- External of ext_id
- | Derived of ext_id
- | Internal
-;;
-
-type content_model_type =
- Unspecified
- | Empty
- | Any
- | Mixed of mixed_spec list
- | Regexp of regexp_spec
-
-and mixed_spec =
- MPCDATA
- | MChild of string
-
-and regexp_spec =
- Optional of regexp_spec
- | Repeated of regexp_spec
- | Repeated1 of regexp_spec
- | Alt of regexp_spec list
- | Seq of regexp_spec list
- | Child of string
-;;
-
-
-type att_type =
- A_cdata
- | A_id
- | A_idref
- | A_idrefs
- | A_entity
- | A_entities
- | A_nmtoken
- | A_nmtokens
- | A_notation of string list
- | A_enum of string list
-;;
-
-
-type att_default =
- D_required
- | D_implied
- | D_default of string (* The default value is already expanded *)
- | D_fixed of string (* The default value is already expanded *)
-;;
-
-
-type att_value =
- Value of string
- | Valuelist of string list
- | Implied_value
-;;
-
-
-class type collect_warnings =
- object
- method warn : string -> unit
- end
-;;
-
-
-class drop_warnings =
- object
- method warn (w:string) = ()
- end
-;;
-
-
-type encoding = Netconversion.encoding;;
-
-type rep_encoding =
- (* The subset of 'encoding' that may be used for internal representation
- * of strings.
- *)
- [ `Enc_utf8 (* UTF-8 *)
- | `Enc_iso88591 (* ISO-8859-1 *)
- ]
-;;
-
-
-exception Validation_error of string
-
-exception WF_error of string
-
-exception Error of string
-
-exception Character_not_supported
-
-exception At of (string * exn)
-
-exception Undeclared
-
-
-let rec string_of_exn x0 =
- match x0 with
- At (s, x) ->
- s ^ string_of_exn x
- | Validation_error s ->
- "ERROR (Validity constraint): " ^ s
- | WF_error s ->
- "ERROR (Well-formedness constraint): " ^ s
- | Error s ->
- "ERROR: " ^ s
- | Character_not_supported ->
- "RESTRICTION: Character not supported"
- | Netconversion.Malformed_code ->
- "ERROR: Bad character stream"
- | Undeclared ->
- "INFORMATION: Undeclared"
- | Parsing.Parse_error ->
- "SYNTAX ERROR"
- | _ ->
- "Other exception: " ^ Printexc.to_string x0
-;;
-
-
-type output_stream =
- Out_buffer of Buffer.t
- | Out_channel of out_channel
- | Out_function of (string -> int -> int -> unit)
-;;
-
-
-let write os str pos len =
- match os with
- Out_buffer b -> Buffer.add_substring b str pos len
- | Out_channel ch -> output ch str pos len
- | Out_function f -> f str pos len
-;;
-
-(* ======================================================================
- * History:
- *
- * $Log$
- * Revision 1.1 2000/11/17 09:57:29 lpadovan
- * Initial revision
- *
- * Revision 1.7 2000/08/14 22:24:55 gerd
- * Moved the module Pxp_encoding to the netstring package under
- * the new name Netconversion.
- *
- * Revision 1.6 2000/07/27 00:41:15 gerd
- * new 8 bit codes
- *
- * Revision 1.5 2000/07/16 18:31:09 gerd
- * The exception Illegal_character has been dropped.
- *
- * Revision 1.4 2000/07/14 21:25:27 gerd
- * Simplified the type 'collect_warnings'.
- *
- * Revision 1.3 2000/07/08 16:23:50 gerd
- * Added the exception 'Error'.
- *
- * Revision 1.2 2000/07/04 22:14:05 gerd
- * Implemented the changes of rev. 1.2 of pxp_types.mli.
- *
- * Revision 1.1 2000/05/29 23:48:38 gerd
- * Changed module names:
- * Markup_aux into Pxp_aux
- * Markup_codewriter into Pxp_codewriter
- * Markup_document into Pxp_document
- * Markup_dtd into Pxp_dtd
- * Markup_entity into Pxp_entity
- * Markup_lexer_types into Pxp_lexer_types
- * Markup_reader into Pxp_reader
- * Markup_types into Pxp_types
- * Markup_yacc into Pxp_yacc
- * See directory "compatibility" for (almost) compatible wrappers emulating
- * Markup_document, Markup_dtd, Markup_reader, Markup_types, and Markup_yacc.
- *
- * ======================================================================
- * Old logs from markup_types.ml:
- *
- * Revision 1.7 2000/05/29 21:14:57 gerd
- * Changed the type 'encoding' into a polymorphic variant.
- *
- * Revision 1.6 2000/05/20 20:31:40 gerd
- * Big change: Added support for various encodings of the
- * internal representation.
- *
- * Revision 1.5 2000/05/01 20:43:19 gerd
- * New type output_stream; new function 'write'.
- *
- * Revision 1.4 1999/09/01 16:25:35 gerd
- * Dropped Illegal_token and Content_not_allowed_here. WF_error can
- * be used instead.
- *
- * Revision 1.3 1999/08/15 02:22:33 gerd
- * Added exception Undeclared.
- *
- * Revision 1.2 1999/08/14 22:14:58 gerd
- * New class "collect_warnings".
- *
- * Revision 1.1 1999/08/10 00:35:52 gerd
- * Initial revision.
- *
- *
- *)
projects / helm.git / blobdiff