]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/pxp/csc_pxp_reader.mli
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / ocaml / pxp / csc_pxp_reader.mli
diff --git a/helm/ocaml/pxp/csc_pxp_reader.mli b/helm/ocaml/pxp/csc_pxp_reader.mli
deleted file mode 100644 (file)
index 2d103b3..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-exception Not_competent
-exception Not_resolvable of exn
-class type resolver =
-  object
-    method change_encoding : string -> unit
-    method clone : resolver
-    method close_all : unit
-    method close_in : unit
-    method init_rep_encoding : Pxp_types.rep_encoding -> unit
-    method init_warner : Pxp_types.collect_warnings -> unit
-    method open_in : Pxp_types.ext_id -> Lexing.lexbuf
-    method rep_encoding : Pxp_types.rep_encoding
-  end
-class resolve_read_url_channel :
-  ?base_url:Neturl.url ->
-  ?close:(in_channel -> unit) ->
-  url_of_id:(Pxp_types.ext_id -> Neturl.url) ->
-  channel_of_url:(Pxp_types.ext_id ->
-                  Neturl.url -> in_channel * Pxp_types.encoding option) ->
-  unit -> resolver
-type spec = [ `Not_recognized | `Allowed | `Required]
-val make_file_url :
-  ?system_encoding:Netconversion.encoding ->
-  ?enc:Netconversion.encoding -> string -> Neturl.url
-type combination_mode = Public_before_system | System_before_public
-class combine :
-  ?prefer:resolver ->
-  ?mode:combination_mode ->
-  resolver list ->
-  object
-    val mutable active_resolver : resolver option
-    val mutable clones : combine list
-    val mutable internal_encoding : Pxp_types.rep_encoding
-    val mode : combination_mode
-    val prefered_resolver : resolver option
-    val resolvers : resolver list
-    val mutable warner : Pxp_types.drop_warnings
-    method change_encoding : string -> unit
-    method clone : combine
-    method close_all : unit
-    method close_in : unit
-    method init_rep_encoding : Pxp_types.rep_encoding -> unit
-    method init_warner : Pxp_types.collect_warnings -> unit
-    method open_in : Pxp_types.ext_id -> Lexing.lexbuf
-    method rep_encoding : Pxp_types.rep_encoding
-  end