source: driver/options.mli @ 3442

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