command_line.mli 1.39 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(*-----------------------------------------------------------------------
** Copyright (C) 2001 - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License 
**-----------------------------------------------------------------------
**
** File: command_line.mli
** Main author: jahier@imag.fr
*)

(** Handles everything that is related to command line lurette calls:
 printing lurette usage message, handling command line options, etc. 
*)


type optionsT = {
  mutable step_by_step : bool ;
  mutable display_local_var : bool ;
  mutable display_sim2chro : bool ;
20
(*   mutable cudd_heap_init : int ; *)
21
  mutable user_seed : int ;
22
23
  mutable verbose : bool ;
  mutable help : bool ;
24
  mutable output : string ;
25
  mutable oracle : bool
26
27
28
29
30
31
32
33
34
35
36
37
}

val usage : string
(** Usage message to be printed if an error occur when lurette is called. *)

val cmd_line_string_to_int : string -> string -> int
(** [cmd_line_string_to_int str errmsg] converts a string (of the
 command line) into an integer, and prints [errmsg] before aborting if
 the convertion failed.
*)

type cmd_line_optionT = 
38
    Step | NoStep | Help
39
40
  | DisplayLocalVar | NoDisplayLocalVar 
  | Sim2chro | NoSim2chro 
41
(*   | CuddHeapInit  *)
42
  | Seed | NoOracle | Verbose | Output
43
44
45


val string_to_option: (string * cmd_line_optionT) list
46
47
(** Mapping from options string (e.g., "--no-step") to the cmd_line_optionT 
  type. *)