module Uq_resolver:sig..end
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:
Unix.inet_addr.The following types are the same as in Uq_engines, here only
redefined for systematic reasons
type'tengine_state =[ `Aborted | `Done of 't | `Error of exn | `Working of int ]
class type['t]engine =object..end
Exceptions
exception Host_not_found of string
This host cannot be resolved
The type of resolvers:
class type resolver =object..end
val get_host_by_name : ?resolver:resolver -> string -> Unix.host_entryLook 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.sockaddrUse 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.
val default_resolver : unit -> resolverThe default resolver uses Unix.gethostbyname to look up names.
Note that this means that no IPv6 addresses are returned.
val gai_resolver : ?ipv4:bool -> ?ipv6:bool -> unit -> resolverThis 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.
val current_resolver : unit -> resolverReturns the pluggable resolver. Unless overridden by
set_current_resolver, the returned resolver depends on the result
of Netsys.is_ipv6_system.
val set_current_resolver : resolver -> unitSet the pluggable resolver