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

Last change on this file since 1546 was 1546, checked in by tranquil, 10 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.