module StringMap : sig
type key = String.t
- type 'a t = 'a Map.Make(String).t
+ type 'a t
val empty : 'a t
val is_empty : 'a t -> bool
val mem : key -> 'a t -> bool
end
(** A map from string to any type. *)
+module IntMap : sig
+ type key = int
+ type 'a t
+ val empty : 'a t
+ val is_empty : 'a t -> bool
+ val mem : key -> 'a t -> bool
+ val add : key -> 'a -> 'a t -> 'a t
+ (*val singleton : key -> 'a -> 'a t*)
+ val remove : key -> 'a t -> 'a t
+ (*val merge :
+ (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t*)
+ val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
+ val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
+ val iter : (key -> 'a -> unit) -> 'a t -> unit
+ val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
+ (*val for_all : (key -> 'a -> bool) -> 'a t -> bool
+ val exists : (key -> 'a -> bool) -> 'a t -> bool
+ val filter : (key -> 'a -> bool) -> 'a t -> 'a t
+ val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
+ val cardinal : 'a t -> int
+ val bindings : 'a t -> (key * 'a) list
+ val min_binding : 'a t -> key * 'a
+ val max_binding : 'a t -> key * 'a
+ val choose : 'a t -> key * 'a
+ val split : key -> 'a t -> 'a t * 'a option * 'a t*)
+ val find : key -> 'a t -> 'a
+ val map : ('a -> 'b) -> 'a t -> 'b t
+ val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
+ val keys : 'a t -> key list
+ val values : 'a t -> 'a list
+end
+(** A map from int to any type. *)
+
+module BigIntMap : sig
+ type key = Big_int.big_int
+ type 'a t
+ val empty : 'a t
+ val is_empty : 'a t -> bool
+ val mem : key -> 'a t -> bool
+ val add : key -> 'a -> 'a t -> 'a t
+ (*val singleton : key -> 'a -> 'a t*)
+ val remove : key -> 'a t -> 'a t
+ (*val merge :
+ (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t*)
+ val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
+ val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
+ val iter : (key -> 'a -> unit) -> 'a t -> unit
+ val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
+ (*val for_all : (key -> 'a -> bool) -> 'a t -> bool
+ val exists : (key -> 'a -> bool) -> 'a t -> bool
+ val filter : (key -> 'a -> bool) -> 'a t -> 'a t
+ val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
+ val cardinal : 'a t -> int
+ val bindings : 'a t -> (key * 'a) list
+ val min_binding : 'a t -> key * 'a
+ val max_binding : 'a t -> key * 'a
+ val choose : 'a t -> key * 'a
+ val split : key -> 'a t -> 'a t * 'a option * 'a t*)
+ val find : key -> 'a t -> 'a
+ val map : ('a -> 'b) -> 'a t -> 'b t
+ val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
+ val keys : 'a t -> key list
+ val values : 'a t -> 'a list
+end
+(** A map from big_int to any type. *)
+
module StringSet : sig
type elt = String.t
type t = Set.Make(String).t
end
(** A set of strings. *)
-type whenexpr =
- | Expr_bool of bool (** A boolean constant. *)
- | Expr_str of string (** A string constant. *)
- | Expr_int of Big_int.big_int (** An integer constant. *)
- | Expr_float of float (** A float constant. *)
- | Expr_var of string (** A variable name. *)
- | Expr_and of whenexpr * whenexpr (** && *)
- | Expr_or of whenexpr * whenexpr (** || *)
- | Expr_eq of whenexpr * whenexpr (** == *)
- | Expr_not of whenexpr (** ! *)
- | Expr_changes of string (** changes var *)
-(** Internal type used to represent 'when' expressions. *)
-
-type periodexpr =
- | Every_seconds of int
- | Every_days of int
- | Every_months of int
- | Every_years of int
-(** Internal type used to represent 'every' expressions. *)
-
-type shell_script = {
- sh_loc : Camlp4.PreCast.Loc.t;
- sh_script : string;
-}
-(** A shell script. *)
-
-type variable =
- | T_bool of bool
- | T_string of string
- | T_int of Big_int.big_int
- | T_float of float
-(** Typed variable (see also [whenproto.x]) *)
-
-val variable_of_rpc : Whenproto_aux.variable -> variable
-val rpc_of_variable : variable -> Whenproto_aux.variable
-
-type variables = variable StringMap.t
-(** A set of variables. *)
-
-type job_private
-(** Private state associated with a job, used for evaluation. *)
-
-val no_job_private : job_private
-(* XXX any use of no_job_private is wrong XXX *)
-
-type job_cond =
- | When_job of whenexpr (** when ... : << >> *)
- | Every_job of periodexpr (** every ... : << >> *)
-
-type job = {
- job_loc : Camlp4.PreCast.Loc.t;
- job_name : string;
- job_cond : job_cond;
- job_script : shell_script;
- job_private : job_private;
-}
-(** A job. *)
-
-val expr_of_ast : Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.expr -> whenexpr
-(** Convert OCaml AST to an expression. Since OCaml ASTs are much
- more general than the expressions we can use, this can raise
- [Invalid_argument] in many different situations. *)
-
-val string_of_whenexpr : whenexpr -> string
-(** Pretty-print an expression to a string. *)
-
-val string_of_periodexpr : periodexpr -> string
-(** Pretty-print a period expression to a string. *)
+val (//) : string -> string -> string
+(** [dir // file] concatenates directory and file. *)
-val dependencies_of_whenexpr : whenexpr -> string list
-(** Return list of variables that an expression depends on. This is
- used to work out when an expression needs to be reevaluated. *)
+val isalpha : char -> bool
+val isalnum : char -> bool
+(** Character tests. *)
-val dependencies_of_job : job -> string list
-(** Which variables does this job depend on? *)
+val filter_map : ('a -> 'b option) -> 'a list -> 'b list
+(** Filter + map. *)
-val job_evaluate : job -> variables -> bool * job
-(** Evaluate [job]'s condition in the context of the [variables], and
- return [true] iff it should be run now. Note that this returns a
- possibly-updated [job] structure.
+val string_of_time_t : ?localtime:bool -> float -> string
+(** Convert string to time in ISO format. If [~localtime] is true
+ then it uses localtime, else UTC. *)
- This is a no-op for 'every' jobs. *)
+val string_endswith : string -> string -> bool
+(** [string_endswith str suffix] returns true iff [str] ends with [suffix]. *)