X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/12adf55a902b1d9bde677e4636530e5753857e05..3bf720f753c0a50e6c5f753a9a786d68fa15af93:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index 570fa5e..b3c06ce 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -20,9 +20,24 @@ signature DOMAIN = sig + val yourPath : string -> bool val isIdent : char -> bool val validHost : string -> bool val validDomain : string -> bool + val yourDomain : string -> bool + val validUser : string -> bool + val validEmailUser : string -> bool + + val ip : string Env.arg + + val registerResetGlobal : (unit -> unit) -> unit + val registerResetLocal : (unit -> unit) -> unit + (* Register functions for clearing out all Domtool configuration at the global + * (AFS) and local levels, respectively. *) + + val resetGlobal : unit -> unit + val resetLocal : unit -> unit + (* Call all registered functions *) val registerBefore : (string -> unit) -> unit val registerAfter : (string -> unit) -> unit @@ -35,6 +50,20 @@ signature DOMAIN = sig (* Open one of the current domain's configuration files for a particular * node. *) + val currentAliasDomains : unit -> string list + val currentDomains : unit -> string list + (* Return the auxiliary domains being configured (not including + * currentDomain) or the list of all domains being configured, + * respectively. *) + + (* The type of a set of files open for different domains. *) + type files = {write : string -> unit, (* Write a string to each. *) + writeDom : unit -> unit, (* Write each's domain name to it. *) + close : unit -> unit} (* Close all files. *) + + val domainsFile : {node : string, name : string} -> files + (* Open a configuration file for every domain being configured. *) + val dnsMaster : unit -> string option (* Name of the node that is the DNS master for the current domain, if there * is one *) @@ -43,6 +72,8 @@ signature DOMAIN = sig (* Names of all system nodes *) val nodeMap : string Ast.StringMap.map (* Map node names to IP addresses *) + val nodeIp : string -> string + (* Look up a node in nodeMap *) val setUser : string -> unit val getUser : unit -> string @@ -50,4 +81,18 @@ signature DOMAIN = sig val your_domains : unit -> DataStructures.StringSet.set (* The domains the current user may configure *) + + val your_users : unit -> DataStructures.StringSet.set + val your_groups : unit -> DataStructures.StringSet.set + val your_paths : unit -> DataStructures.StringSet.set + (* UNIX users, groups, and paths the user may act with *) + + val set_context : OpenSSL.context -> unit + + val hasPriv : string -> bool + + val rmdom : string list -> unit + + val homedirOf : string -> string + val homedir : unit -> string end