gconfig.mli 1.73 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 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
(***************)
(* 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
65
val preferences : t -> unit
MARCHE Claude's avatar
MARCHE Claude committed
66

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

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