options.mli

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