src/options.mli

   1 (** This module defines the compiler general options. *)
   2
   3 (** {2 Source language} *)
   4 val set_source_language : string -> unit
   5 val get_source_language : unit -> Languages.name
   6
   7 (** {2 Target language} *)
   8 val set_target_language : string -> unit
   9 val get_target_language : unit -> Languages.name
  10
  11 (** {2 Interpretation request} *)
  12 val request_interpretation   : bool -> unit
  13 val interpretation_requested : unit -> bool
  14
  15 (** {2 Interpretation requests} *)
  16 val request_interpretations   : bool -> unit
  17 val interpretations_requested : unit -> bool
  18
  19 (** {2 Annotation requests} *)
  20 val request_annotation   : bool -> unit
  21 val annotation_requested : unit -> bool
  22
  23 (** {2 Input files} *)
  24 val add_input_file : string -> unit
  25 val input_files    : unit -> string list
  26
  27 (** {2 Output files} *)
  28 val set_output_files : string -> unit
  29 val get_output_files : unit -> string option
  30
  31 (** {2 Verbose mode} *)
  32 val is_debug_enabled : unit -> bool
  33
  34 (** {2 Assembly pretty print} *)
  35 val set_asm_pretty : bool -> unit
  36 val is_asm_pretty  : unit -> bool
  37
  38 (** {2 Lustre file} *)
  39 val set_lustre_file : bool -> unit
  40 val is_lustre_file  : unit -> bool
  41
  42 (** {2 Remove Lustre externals} *)
  43 val set_remove_lustre_externals : bool -> unit
  44 val is_remove_lustre_externals  : unit -> bool
  45
  46 (** {2 Lustre file and test requested} *)
  47 val set_lustre_test : string -> unit
  48 val get_lustre_test : unit -> string option
  49
  50 (** {2 Lustre file: number of test cases} *)
  51 val set_lustre_test_cases : int -> unit
  52 val get_lustre_test_cases : unit -> int
  53
  54 (** {2 Lustre file: number of cycles for each case} *)
  55 val set_lustre_test_cycles : int -> unit
  56 val get_lustre_test_cycles : unit -> int
  57
  58 (** {2 Lustre file: random int minimum value} *)
  59 val set_lustre_test_min_int : int -> unit
  60 val get_lustre_test_min_int : unit -> int
  61
  62 (** {2 Lustre file: random int maximum value} *)
  63 val set_lustre_test_max_int : int -> unit
  64 val get_lustre_test_max_int : unit -> int
  65
  66 (*
  67 (** {2 Print results requests} *)
  68 val is_print_result_enabled : unit -> bool
  69 *)
  70
  71 (** {2 Developers' playground} *)
  72 val is_dev_test_enabled : unit -> bool
  73
  74 (** {2 Web application} *)
  75 val set_web_mode : unit -> unit
  76 val is_web_mode  : unit -> bool