Changeset 3020 for driver/options.mli
- Timestamp:
- Mar 28, 2013, 5:28:48 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/options.mli
r3005 r3020 11 11 *) 12 12 13 (* 13 14 (** {2 Interpretation request} *) 14 15 val request_interpretation : bool -> unit 15 16 val interpretation_requested : unit -> bool 17 *) 16 18 17 19 (** {2 Interpretation requests} *) … … 23 25 val annotation_requested : unit -> bool 24 26 27 (* 25 28 (** {2 Input files} *) 26 29 val add_input_file : string -> unit 27 30 val input_files : unit -> string list 31 *) 28 32 29 33 (** {2 Output files} *) … … 31 35 val get_output_files : unit -> string option 32 36 37 (* 33 38 (** {2 Verbose mode} *) 34 39 val is_debug_enabled : unit -> bool 40 *) 35 41 42 (* 36 43 (** {2 Assembly pretty print} *) 37 44 val set_asm_pretty : bool -> unit 38 45 val is_asm_pretty : unit -> bool 46 *) 39 47 40 48 (** {2 Lustre file} *) … … 71 79 *) 72 80 81 (* 73 82 (** {2 Developers' playground} *) 74 83 val is_dev_test_enabled : unit -> bool 84 *) 75 85 86 (* 76 87 (** {2 Web application} *) 77 88 val set_web_mode : unit -> unit 78 89 val is_web_mode : unit -> bool 90 *)
Note: See TracChangeset
for help on using the changeset viewer.