gconfig.mli 1.76 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
open Why

type prover_data =
    { prover_id : string;
      prover_name : string;
      prover_version : string;
      command : string;
9
      driver_name : string;
MARCHE Claude's avatar
MARCHE Claude committed
10
      driver : Driver.driver;
11
      mutable editor : string;
MARCHE Claude's avatar
MARCHE Claude committed
12
    }
MARCHE Claude's avatar
MARCHE Claude committed
13 14 15 16 17

type t = 
    { mutable window_width : int;
      mutable window_height : int;
      mutable tree_width : int;
18
      mutable task_height : int;
19
      mutable time_limit : int;
20
      mutable mem_limit : int;
MARCHE Claude's avatar
MARCHE Claude committed
21
      mutable verbose : int;
22
      mutable max_running_processes : int;
23
      mutable provers : prover_data Util.Mstr.t;
24
      mutable default_editor : string;
MARCHE Claude's avatar
MARCHE Claude committed
25
      mutable env : Why.Env.env;
26
      mutable config : Whyconf.config;
MARCHE Claude's avatar
MARCHE Claude committed
27 28
    }

29 30 31
val get_prover_data : Why.Env.env -> string ->
  Why.Whyconf.config_prover -> 
  prover_data Why.Util.Mstr.t -> prover_data Why.Util.Mstr.t
MARCHE Claude's avatar
MARCHE Claude committed
32

33
val save_config : unit -> unit
MARCHE Claude's avatar
MARCHE Claude committed
34

35
val config : t
36 37

val get_main : unit -> Whyconf.main
MARCHE Claude's avatar
MARCHE Claude committed
38

MARCHE Claude's avatar
MARCHE Claude committed
39 40 41 42 43 44 45 46 47 48 49
(***************)
(* 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
MARCHE Claude's avatar
MARCHE Claude committed
50
val image_editor : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65

(* 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
66
val preferences : t -> unit
MARCHE Claude's avatar
MARCHE Claude committed
67

68
val run_auto_detection : t -> unit
MARCHE Claude's avatar
MARCHE Claude committed
69

MARCHE Claude's avatar
MARCHE Claude committed
70 71 72 73 74
(*
Local Variables: 
compile-command: "unset LANG; make -C ../.. bin/whyide.opt"
End: 
*)