1 (** This module defines the compiler general options. *)
3 (** {2 Source language} *)
4 val set_source_language : string -> unit
5 val get_source_language : unit -> Languages.name
7 (** {2 Target language} *)
8 val set_target_language : string -> unit
9 val get_target_language : unit -> Languages.name
11 (** {2 Interpretation request} *)
12 val request_interpretation : bool -> unit
13 val interpretation_requested : unit -> bool
15 (** {2 Interpretation requests} *)
16 val request_interpretations : bool -> unit
17 val interpretations_requested : unit -> bool
19 (** {2 Annotation requests} *)
20 val request_annotation : bool -> unit
21 val annotation_requested : unit -> bool
23 (** {2 Input files} *)
24 val add_input_file : string -> unit
25 val input_files : unit -> string list
27 (** {2 Output files} *)
28 val set_output_files : string -> unit
29 val get_output_files : unit -> string option
31 (** {2 Verbose mode} *)
32 val is_debug_enabled : unit -> bool
34 (** {2 Assembly pretty print} *)
35 val set_asm_pretty : bool -> unit
36 val is_asm_pretty : unit -> bool
38 (** {2 Lustre file} *)
39 val set_lustre_file : bool -> unit
40 val is_lustre_file : unit -> bool
42 (** {2 Remove Lustre externals} *)
43 val set_remove_lustre_externals : bool -> unit
44 val is_remove_lustre_externals : unit -> bool
46 (** {2 Lustre file and test requested} *)
47 val set_lustre_test : string -> unit
48 val get_lustre_test : unit -> string option
50 (** {2 Lustre file: number of test cases} *)
51 val set_lustre_test_cases : int -> unit
52 val get_lustre_test_cases : unit -> int
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
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
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
67 (** {2 Print results requests} *)
68 val is_print_result_enabled : unit -> bool
71 (** {2 Developers' playground} *)
72 val is_dev_test_enabled : unit -> bool
74 (** {2 Web application} *)
75 val set_web_mode : unit -> unit
76 val is_web_mode : unit -> bool