Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

gconfig.mli 3.32 KB
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2
(**************************************************************************)
(*                                                                        *)
3
(*  Copyright (C) 2010-2011                                               *)
4 5 6
(*    François Bobot                                                      *)
(*    Jean-Christophe Filliâtre                                           *)
(*    Claude Marché                                                       *)
MARCHE Claude's avatar
MARCHE Claude committed
7 8 9 10 11 12 13 14 15 16 17 18
(*    Andrei Paskevich                                                    *)
(*                                                                        *)
(*  This software is free software; you can redistribute it and/or        *)
(*  modify it under the terms of the GNU Library General Public           *)
(*  License version 2.1, with the special exception on linking            *)
(*  described in file LICENSE.                                            *)
(*                                                                        *)
(*  This software is distributed in the hope that it will be useful,      *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                  *)
(*                                                                        *)
(**************************************************************************)
MARCHE Claude's avatar
MARCHE Claude committed
19

20
open Why3
MARCHE Claude's avatar
MARCHE Claude committed
21

22
type t =
MARCHE Claude's avatar
MARCHE Claude committed
23 24 25
    { mutable window_width : int;
      mutable window_height : int;
      mutable tree_width : int;
26
      mutable task_height : int;
27
      mutable time_limit : int;
28
      mutable mem_limit : int;
MARCHE Claude's avatar
MARCHE Claude committed
29
      mutable verbose : int;
30
      mutable max_running_processes : int;
31
      mutable default_editor : string;
MARCHE Claude's avatar
MARCHE Claude committed
32
      mutable show_labels : bool;
33
      mutable show_locs : bool;
34
      mutable saving_policy : int;
35
      mutable env : Why3.Env.env;
36
      mutable config : Whyconf.config;
MARCHE Claude's avatar
MARCHE Claude committed
37 38
    }

39
val save_config : unit -> unit
MARCHE Claude's avatar
MARCHE Claude committed
40

41
val config : t
42 43

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

MARCHE Claude's avatar
MARCHE Claude committed
45 46 47 48 49
(*****************)
(* images, icons *)
(*****************)

val why_icon : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
50 51 52 53 54 55 56 57

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
58
val image_editor : GdkPixbuf.pixbuf ref
59
val image_replay : GdkPixbuf.pixbuf ref
60
val image_cancel : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
61
val image_reload : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
merge  
MARCHE Claude committed
62
val image_remove : GdkPixbuf.pixbuf ref
63
val image_cleaning : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
64 65

(* status icons *)
MARCHE Claude's avatar
MARCHE Claude committed
66
val image_undone : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
67 68 69
val image_scheduled : GdkPixbuf.pixbuf ref
val image_running : GdkPixbuf.pixbuf ref
val image_valid : GdkPixbuf.pixbuf ref
70
val image_invalid : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
71 72 73
val image_timeout : GdkPixbuf.pixbuf ref
val image_unknown : GdkPixbuf.pixbuf ref
val image_failure : GdkPixbuf.pixbuf ref
74
val image_valid_obs : GdkPixbuf.pixbuf ref
75
val image_invalid_obs : GdkPixbuf.pixbuf ref
76 77 78
val image_timeout_obs : GdkPixbuf.pixbuf ref
val image_unknown_obs : GdkPixbuf.pixbuf ref
val image_failure_obs : GdkPixbuf.pixbuf ref
MARCHE Claude's avatar
MARCHE Claude committed
79 80 81 82 83 84 85

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

val show_legend_window : unit -> unit
val show_about_window : unit -> unit
86
val preferences : t -> unit
MARCHE Claude's avatar
MARCHE Claude committed
87

MARCHE Claude's avatar
MARCHE Claude committed
88
(*
89
Local Variables:
90
compile-command: "unset LANG; make -C ../.. bin/why3ide.byte"
91
End:
MARCHE Claude's avatar
MARCHE Claude committed
92
*)