source: Deliverables/D2.2/8051-indexed-labels-branch/src/options.mli @ 1319

Last change on this file since 1319 was 740, checked in by ayache, 10 years ago

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File size: 957 bytes
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 requests} *)
12val request_interpretation   : bool -> unit
13val interpretation_requested : unit -> bool
14
15(** {2 Annotation requests} *)
16val request_annotation   : bool -> unit
17val annotation_requested : unit -> bool
18
19(** {2 Input files} *)
20val add_input_file : string -> unit
21val input_files    : unit -> string list
22
23(** {2 Output files} *)
24val set_output_files : string -> unit
25val get_output_files : unit -> string option
26
27(** {2 Verbose mode} *)
28val is_debug_enabled : unit -> bool
29
30(*
31(** {2 Print results requests} *)
32val is_print_result_enabled : unit -> bool
33*)
34
35(** {2 Developers' playground} *)
36val is_dev_test_enabled : unit -> bool
Note: See TracBrowser for help on using the repository browser.