]> matita.cs.unibo.it Git - helm.git/blob - pxp/csc_pxp_reader.mli
made executable again
[helm.git] / pxp / csc_pxp_reader.mli
1 exception Not_competent
2 exception Not_resolvable of exn
3 class type resolver =
4   object
5     method change_encoding : string -> unit
6     method clone : resolver
7     method close_all : unit
8     method close_in : unit
9     method init_rep_encoding : Pxp_types.rep_encoding -> unit
10     method init_warner : Pxp_types.collect_warnings -> unit
11     method open_in : Pxp_types.ext_id -> Lexing.lexbuf
12     method rep_encoding : Pxp_types.rep_encoding
13   end
14 class resolve_read_url_channel :
15   ?base_url:Neturl.url ->
16   ?close:(in_channel -> unit) ->
17   url_of_id:(Pxp_types.ext_id -> Neturl.url) ->
18   channel_of_url:(Pxp_types.ext_id ->
19                   Neturl.url -> in_channel * Pxp_types.encoding option) ->
20   unit -> resolver
21 type spec = [ `Not_recognized | `Allowed | `Required]
22 val make_file_url :
23   ?system_encoding:Netconversion.encoding ->
24   ?enc:Netconversion.encoding -> string -> Neturl.url
25 type combination_mode = Public_before_system | System_before_public
26 class combine :
27   ?prefer:resolver ->
28   ?mode:combination_mode ->
29   resolver list ->
30   object
31     val mutable active_resolver : resolver option
32     val mutable clones : combine list
33     val mutable internal_encoding : Pxp_types.rep_encoding
34     val mode : combination_mode
35     val prefered_resolver : resolver option
36     val resolvers : resolver list
37     val mutable warner : Pxp_types.drop_warnings
38     method change_encoding : string -> unit
39     method clone : combine
40     method close_all : unit
41     method close_in : unit
42     method init_rep_encoding : Pxp_types.rep_encoding -> unit
43     method init_warner : Pxp_types.collect_warnings -> unit
44     method open_in : Pxp_types.ext_id -> Lexing.lexbuf
45     method rep_encoding : Pxp_types.rep_encoding
46   end