/usr/lib/ocaml/equeue/uq_resolver.mli is in libocamlnet-ocaml-dev 3.7.3-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 | (* $Id: uq_resolver.mli 1662 2011-08-29 23:05:06Z gerd $ *)
(** Support for pluggable resolvers *)
(** A resolver maps several kinds of names to addresses, or vice versa.
Currently, only DNS host lookups are supported (but this can be extended
if needed).
The plugin mechanism allows one to change the name resovler Ocamlnet
uses. Resolvers can be both synchronous or asynchronous. Note however,
that the default resolver is synchronous and simply bases on
[Unix.gethostbyname].
Requirements of the resolver:
- IP addresses may be enclosed in square brackets, but also given without
such brackets. If such an IP address is passed to the resolver, the
string address is just converted to a [Unix.inet_addr].
*)
(** {1 Asynchronous Interface} *)
(** The following types are the same as in {!Uq_engines}, here only
redefined for systematic reasons
*)
type 't engine_state =
[ `Working of int
| `Done of 't
| `Error of exn
| `Aborted
]
class type [ 't ] engine = object
method state : 't engine_state
method abort : unit -> unit
method request_notification : (unit -> bool) -> unit
method event_system : Unixqueue.event_system
end
(** Exceptions *)
exception Host_not_found of string
(** This host cannot be resolved *)
(** The type of resolvers: *)
class type resolver =
object
method host_by_name :
string -> Unixqueue.event_system -> Unix.host_entry engine
(** Look up the passed host name up. The implementation can be synchronous
or asynchronous. In the first case, an engine is returned that is
already in one of the states [`Done he] or [`Error e] where [he] is
the host entry, or [e] is an exception like [Host_not_found]. In this
case the passed event system is ignored. If the implementation is
asynchronous, the caller must run the event system until the
state of the engine transitions to [`Done he] or [`Error e].
*)
end
(** {1 Synchronous Interface} *)
val get_host_by_name : ?resolver:resolver -> string -> Unix.host_entry
(** Look up the host, and return the host entry
or raise the exception [Host_not_found].
If a [resolver] is passed, this resolver is used, otherwise the
pluggable resolver is used.
*)
val sockaddr_of_socksymbol : ?resolver:resolver ->
Netsockaddr.socksymbol -> Unix.sockaddr
(** Use the resolver to look up names in {!Netsockaddr.socksymbol},
and convert the symbol to a [Unix.sockaddr] only containing IP
addresses.
If a [resolver] is passed, this resolver is used, otherwise the
pluggable resolver is used.
*)
(** {1 Resolvers} *)
val default_resolver : unit -> resolver
(** The default resolver uses [Unix.gethostbyname] to look up names.
Note that this usually means that no IPv6 addresses are returned.
*)
val gai_resolver : ?ipv4:bool -> ?ipv6:bool -> unit -> resolver
(** This resolver uses [Unix.getaddrinfo]. One can set whether IPv4
or IPv6 addresses may be returned (only one type is returned).
The order of addresses cannot
be set, but there is a global config file [/etc/gai.info].
The [h_aliases] field of the result is not set.
By default, both [ipv4] and [ipv6] are enabled.
*)
(** {1 Plugins} *)
val current_resolver : unit -> resolver
(** Returns the pluggable resolver *)
val set_current_resolver : resolver -> unit
(** Set the pluggable resolver *)
|