X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fcompatibility%2Fmarkup_reader.mli;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fcompatibility%2Fmarkup_reader.mli;h=0000000000000000000000000000000000000000;hp=8e5e2c8fc902daa4b21bdcbf80b309f0a9d749f9;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/pxp/pxp/compatibility/markup_reader.mli b/helm/DEVEL/pxp/pxp/compatibility/markup_reader.mli
deleted file mode 100644
index 8e5e2c8fc..000000000
--- a/helm/DEVEL/pxp/pxp/compatibility/markup_reader.mli
+++ /dev/null
@@ -1,141 +0,0 @@
-(* $Id$
- * ----------------------------------------------------------------------
- * Markup! The validating XML parser for Objective Caml.
- * Copyright by Gerd Stolpmann. See LICENSE for details.
- *
- * THIS IS THE markup-0.2.10 COMPATIBLE INTERFACE TO markup_reader.mli.
- * It corresponds to revision 1.3 of markup_reader.mli.
- *)
-
-open Markup_types;;
-
-
-(* The class type resolver is the official type of all "resolvers". 
- * Resolvers get file names (or better, external identifiers) and 
- * return lexbufs, scanning the file for tokens. Resolvers may be
- * cloned, and clones can interpret relative file names relative to
- * their creator. 
- *)
-
-class type resolver =
-  object
-    (* A resolver can open a character source, and returns this source as
-     * Lexing.lexbuf.
-     * The resolver should recode the source into ISO-8859-1. By default,
-     * a resolver should assume UTF-8 or UTF-16 encoding. Before
-     * 'change_encoding' is invoked, the resolver should only return
-     * lexbufs with one character. After 'change_encoding' has been invoked,
-     * there is no character limit anymore.
-     * 'change_encoding' can only be invoked once. This method is usually
-     * called after the <? ... ?> prolog of the entity has been read.
-     * If this method is not called, it is up to the resolver to find out
-     * if UTF-8 or UTF-16 is used. It is recommended to invoke this method
-     * with an empty string to indicate this situation.
-     *)
-    method open_in : ext_id -> Lexing.lexbuf
-    method close_in : unit
-    method change_encoding : string -> unit
-
-
-    (* Every resolver can be cloned. The clone does not inherit the connection
-     * with the external object, i.e. it is closed.
-     *)
-    method clone : resolver
-
-  end
-;;
-
-
-(* The following class is the current main implementation of resolvers.
- * It fetches strings from an arbitrary source (by calling init_in, and
- * then repeatedly next_string), recodes them to ISO-8859-1, and creates
- * lexbufs for them.
- * It is not complete, as the source is missing.
- *
- * Note that 'resolve_general' may change in future revisions; it is ugly.
- *)
-
-(* -- This API simulation does not provide 'resolve_general' any longer
-
-class virtual resolve_general :
-  collect_warnings ->
-  object 
-    val mutable encoding : string
-    val mutable encoding_requested : bool
-    val warner : collect_warnings
-
-    method clone : resolver
-
-    method private warn : int -> unit
-    method private autodetect : string -> unit
-
-    method private virtual next_string : string -> int -> int -> int
-    method private virtual init_in : ext_id -> unit
-    method virtual close_in : unit
-
-    method open_in : ext_id -> Lexing.lexbuf
-
-    method change_encoding : string -> unit
-  end
-*)
-
-
-(* The next classes are resolvers for concrete input sources. *)
-
-class resolve_read_channel : 
-  in_channel -> collect_warnings -> resolver;;
-
-  (* Reads from the passed channel (it may be even a pipe). Note that this
-   * resolver cannot handle file inclusions, as it is pre-bound to a 
-   * specific channel and is not able to interpret file names.
-   * That means, if there is a entity reference (something like &name; or
-   * %name;) to parse, and the definition points to another file, the
-   * resolver will fail.
-   *)
-
-
-class resolve_read_string : 
-  string -> resolver;;
-
-  (* Reads from the passed string. As 'resolver_read_channel', this 
-   * resolver cannot handle file inclusions.
-   *)
-
-
-class resolve_as_file :
-  collect_warnings -> resolver;;
-
-  (* Reads from the local file system. Every file name is interpreted as
-   * file name of the local file system, and the referred file is read.
-   * This resolver can handle file inclusions as long as they do not
-   * exceed the scope of the local file system (i.e. no URLs).
-   *)
-
-(* ======================================================================
- * History:
- * 
- * $Log$
- * Revision 1.1  2000/11/17 09:57:30  lpadovan
- * Initial revision
- *
- * Revision 1.2  2000/07/08 17:40:50  gerd
- * 	Updated the simulation.
- *
- * Revision 1.1  2000/05/29 23:43:51  gerd
- * 	Initial compatibility revision.
- *
- * ======================================================================
- * OLD LOGS:
- *
- * Revision 1.3  2000/05/29 21:14:57  gerd
- * 	Changed the type 'encoding' into a polymorphic variant.
- *
- * Revision 1.2  2000/05/20 20:31:40  gerd
- * 	Big change: Added support for various encodings of the
- * internal representation.
- *
- * Revision 1.1  2000/03/13 23:41:54  gerd
- * 	Initial revision.
- *
- * 
- *)