source: Deliverables/D2.2/8051/src/options.mli @ 1546

Last change on this file since 1546 was 1546, checked in by tranquil, 8 years ago

added an option to prevent reindexing transformations from taking place, regardless of optimization options

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