Plasma GitLab Archive
Projects Blog Knowledge

sig
  exception Not_competent
  exception Not_resolvable of exn
  type lexer_source = {
    lsrc_lexbuf : Lexing.lexbuf Lazy.t;
    lsrc_unicode_lexbuf : Netulex.ULB.unicode_lexbuf Lazy.t;
  }
  class type resolver =
    object
      method active_id : Pxp_core_types.I.resolver_id
      method change_encoding : string -> unit
      method clone : Pxp_reader.resolver
      method close_in : unit
      method init_rep_encoding : Pxp_core_types.I.rep_encoding -> unit
      method init_warner :
        Pxp_core_types.I.symbolic_warnings option ->
        Pxp_core_types.I.collect_warnings -> unit
      method open_in : Pxp_core_types.I.ext_id -> Pxp_reader.lexer_source
      method open_rid :
        Pxp_core_types.I.resolver_id -> Pxp_reader.lexer_source
      method rep_encoding : Pxp_core_types.I.rep_encoding
    end
  type accepted_id =
      Netchannels.in_obj_channel * Pxp_core_types.I.encoding option *
      Pxp_core_types.I.resolver_id option
  class resolve_to_this_obj_channel :
    ?id:Pxp_core_types.I.ext_id ->
    ?rid:Pxp_core_types.I.resolver_id ->
    ?fixenc:Pxp_core_types.I.encoding ->
    ?close:(Netchannels.in_obj_channel -> unit) ->
    Netchannels.in_obj_channel -> resolver
  class resolve_to_any_obj_channel :
    ?close:(Netchannels.in_obj_channel -> unit) ->
    channel_of_id:(Pxp_core_types.I.resolver_id -> Pxp_reader.accepted_id) ->
    unit -> resolver
  class resolve_to_url_obj_channel :
    ?close:(Netchannels.in_obj_channel -> unit) ->
    url_of_id:(Pxp_core_types.I.resolver_id -> Neturl.url) ->
    base_url_of_id:(Pxp_core_types.I.resolver_id -> Neturl.url) ->
    channel_of_url:(Pxp_core_types.I.resolver_id ->
                    Neturl.url -> Pxp_reader.accepted_id) ->
    unit -> resolver
  class resolve_as_file :
    ?file_prefix:[ `Allowed | `Not_recognized | `Required ] ->
    ?host_prefix:[ `Allowed | `Not_recognized | `Required ] ->
    ?system_encoding:Pxp_core_types.I.encoding ->
    ?map_private_id:(Pxp_core_types.I.private_id -> Neturl.url) ->
    ?open_private_id:(Pxp_core_types.I.private_id ->
                      Pervasives.in_channel *
                      Pxp_core_types.I.encoding option) ->
    ?base_url_defaults_to_cwd:bool ->
    ?not_resolvable_if_not_found:bool -> unit -> resolver
  val make_file_url :
    ?system_encoding:Pxp_core_types.I.encoding ->
    ?enc:Pxp_core_types.I.encoding -> string -> Neturl.url
  class lookup_id :
    (Pxp_core_types.I.ext_id * Pxp_reader.resolver) list -> resolver
  class lookup_id_as_file :
    ?fixenc:Pxp_core_types.I.encoding ->
    (Pxp_core_types.I.ext_id * string) list -> resolver
  class lookup_id_as_string :
    ?fixenc:Pxp_core_types.I.encoding ->
    (Pxp_core_types.I.ext_id * string) list -> resolver
  class lookup_public_id : (string * Pxp_reader.resolver) list -> resolver
  class lookup_public_id_as_file :
    ?fixenc:Pxp_core_types.I.encoding -> (string * string) list -> resolver
  class lookup_public_id_as_string :
    ?fixenc:Pxp_core_types.I.encoding -> (string * string) list -> resolver
  class lookup_system_id : (string * Pxp_reader.resolver) list -> resolver
  class lookup_system_id_as_file :
    ?fixenc:Pxp_core_types.I.encoding -> (string * string) list -> resolver
  class lookup_system_id_as_string :
    ?fixenc:Pxp_core_types.I.encoding -> (string * string) list -> resolver
  class norm_system_id : Pxp_reader.resolver -> resolver
  class rewrite_system_id :
    ?forward_unmatching_urls:bool ->
    (string * string) list -> Pxp_reader.resolver -> resolver
  type combination_mode = Public_before_system | System_before_public
  class combine :
    ?mode:Pxp_reader.combination_mode -> Pxp_reader.resolver list -> resolver
  class resolve_read_this_channel :
    ?id:Pxp_core_types.I.ext_id ->
    ?fixenc:Pxp_core_types.I.encoding ->
    ?close:(Pervasives.in_channel -> unit) ->
    Pervasives.in_channel -> resolver
  class resolve_read_any_channel :
    ?close:(Pervasives.in_channel -> unit) ->
    channel_of_id:(Pxp_core_types.I.ext_id ->
                   Pervasives.in_channel * Pxp_core_types.I.encoding option) ->
    unit -> resolver
  class resolve_read_url_channel :
    ?base_url:Neturl.url ->
    ?close:(Pervasives.in_channel -> unit) ->
    url_of_id:(Pxp_core_types.I.ext_id -> Neturl.url) ->
    channel_of_url:(Pxp_core_types.I.ext_id ->
                    Neturl.url ->
                    Pervasives.in_channel * Pxp_core_types.I.encoding option) ->
    unit -> resolver
  class resolve_read_this_string :
    ?id:Pxp_core_types.I.ext_id ->
    ?fixenc:Pxp_core_types.I.encoding -> string -> resolver
  class resolve_read_any_string :
    string_of_id:(Pxp_core_types.I.ext_id ->
                  string * Pxp_core_types.I.encoding option) ->
    unit -> resolver
  val lookup_public_id_as_file :
    ?fixenc:Pxp_core_types.I.encoding ->
    (string * string) list -> Pxp_reader.resolver
  val lookup_public_id_as_string :
    ?fixenc:Pxp_core_types.I.encoding ->
    (string * string) list -> Pxp_reader.resolver
  val lookup_system_id_as_file :
    ?fixenc:Pxp_core_types.I.encoding ->
    (string * string) list -> Pxp_reader.resolver
  val lookup_system_id_as_string :
    ?fixenc:Pxp_core_types.I.encoding ->
    (string * string) list -> Pxp_reader.resolver
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml