source: Deliverables/D2.3/8051-memoryspaces-branch/src/options.mli @ 460

Last change on this file since 460 was 460, checked in by campbell, 9 years ago

Port memory spaces changes to latest prototype compiler.

File size: 855 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 Verbose mode} *)
24val is_debug_enabled : unit -> bool
25
26(** {2 Developers' playground} *)
27val is_dev_test_enabled : unit -> bool
28
29(** {2 Matita output of Clight programs} *)
30val is_matita_output_enabled : unit -> bool
31
Note: See TracBrowser for help on using the repository browser.