gconfig.mli 1.38 KB
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1

MARCHE Claude's avatar
MARCHE Claude committed
2 3 4 5 6 7 8 9 10
open Why

type prover_data =
    { prover_id : string;
      prover_name : string;
      prover_version : string;
      command : string;
      driver : Driver.driver;
    }
MARCHE Claude's avatar
MARCHE Claude committed
11 12 13 14 15

type t = 
    { mutable window_width : int;
      mutable window_height : int;
      mutable tree_width : int;
16
      mutable task_height : int;
17 18
      mutable time_limit : int;
      mutable max_running_processes : int;
MARCHE Claude's avatar
MARCHE Claude committed
19
      mutable provers : prover_data list;
MARCHE Claude's avatar
MARCHE Claude committed
20 21
    }

MARCHE Claude's avatar
MARCHE Claude committed
22
val read_config : Env.env -> Whyconf.config -> t
MARCHE Claude's avatar
MARCHE Claude committed
23 24 25

val save_config : t -> unit

MARCHE Claude's avatar
MARCHE Claude committed
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
(***************)
(* boomy icons *)
(***************)

val image_yes : GdkPixbuf.pixbuf ref

(* tree object icons *)
val image_directory : GdkPixbuf.pixbuf ref
val image_file : GdkPixbuf.pixbuf ref
val image_prover : GdkPixbuf.pixbuf ref
val image_transf : GdkPixbuf.pixbuf ref

(* status icons *)
val image_scheduled : GdkPixbuf.pixbuf ref
val image_running : GdkPixbuf.pixbuf ref
val image_valid : GdkPixbuf.pixbuf ref
val image_timeout : GdkPixbuf.pixbuf ref
val image_unknown : GdkPixbuf.pixbuf ref
val image_failure : GdkPixbuf.pixbuf ref

(*************************)
(* miscellaneous dialogs *)
(*************************)

val show_legend_window : unit -> unit
val show_about_window : unit -> unit
52
val preferences : t -> unit
MARCHE Claude's avatar
MARCHE Claude committed
53

MARCHE Claude's avatar
MARCHE Claude committed
54 55
val run_auto_detection : Env.env -> Whyconf.config -> t -> unit

MARCHE Claude's avatar
MARCHE Claude committed
56 57 58 59 60
(*
Local Variables: 
compile-command: "unset LANG; make -C ../.. bin/whyide.opt"
End: 
*)