Changeset 3020 for driver/options.mli


Ignore:
Timestamp:
Mar 28, 2013, 5:28:48 PM (7 years ago)
Author:
sacerdot
Message:
  • Options not used removed from the help/interface.
  • More compliance with the untrusted prototype.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/options.mli

    r3005 r3020  
    1111*)
    1212
     13(*
    1314(** {2 Interpretation request} *)
    1415val request_interpretation   : bool -> unit
    1516val interpretation_requested : unit -> bool
     17*)
    1618
    1719(** {2 Interpretation requests} *)
     
    2325val annotation_requested : unit -> bool
    2426
     27(*
    2528(** {2 Input files} *)
    2629val add_input_file : string -> unit
    2730val input_files    : unit -> string list
     31*)
    2832
    2933(** {2 Output files} *)
     
    3135val get_output_files : unit -> string option
    3236
     37(*
    3338(** {2 Verbose mode} *)
    3439val is_debug_enabled : unit -> bool
     40*)
    3541
     42(*
    3643(** {2 Assembly pretty print} *)
    3744val set_asm_pretty : bool -> unit
    3845val is_asm_pretty  : unit -> bool
     46*)
    3947
    4048(** {2 Lustre file} *)
     
    7179*)
    7280
     81(*
    7382(** {2 Developers' playground} *)
    7483val is_dev_test_enabled : unit -> bool
     84*)
    7585
     86(*
    7687(** {2 Web application} *)
    7788val set_web_mode : unit -> unit
    7889val is_web_mode  : unit -> bool
     90*)
Note: See TracChangeset for help on using the changeset viewer.