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

(** Handles everything that is related to command line calls. 
*)


type optionsT = {
16
  mutable show_automata : bool ;
17
  mutable boot : bool ;
18 19
  mutable user_seed : int ;
  mutable verbose : bool 
20 21 22
}

val usage : string
23
(** Usage message to be printed if an error occur when luc_exe is called. *)
24 25 26 27 28 29 30 31

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 = 
32
    Seed | Boot | ShowAut | NoShowAut | Verbose
33 34 35 36 37


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