module Cmdline:sig
..end
Frama-C uses several stages for parsing its command line.
Each of them may be customized.
type
stage =
| |
Early |
(* |
Initial stage for very specific almost hard-coded
options. Do not use it.
Consult the Plugin Development Guide for additional details. | *) |
| |
Extending |
(* |
Before loading plug-ins. Run only once.
Consult the Plugin Development Guide for additional details. | *) |
| |
Extended |
(* |
The stage where plug-ins are loaded.
It is also the first stage each time the Frama-C main
loop is run (e.g. after each "-then").
Consult the Plugin Development Guide for additional details. | *) |
| |
Exiting |
(* | *) |
|
| |
Loading |
(* |
After
Extended , the stage where a previous Frama-C
internal states is restored (e.g. the one specified by
-load or by running the journal).Consult the Plugin Development Guide for additional details. | *) |
| |
Configuring |
(* |
The stage where all the parameters which were not already
set may be modified to take into account cmdline options.
Just after this stage, Frama-C will run the plug-in mains.
Consult the Plugin Development Guide for additional details. | *) |
val run_after_early_stage : (unit -> unit) -> unit
val run_during_extending_stage : (unit -> unit) -> unit
val run_after_extended_stage : (unit -> unit) -> unit
type
exit
val nop : exit
exception Exit
val run_after_exiting_stage : (unit -> exit) -> unit
exit n
.val run_after_loading_stage : (unit -> unit) -> unit
val is_going_to_load : unit -> unit
val run_after_configuring_stage : (unit -> unit) -> unit
val run_after_setting_files : (string list -> unit) -> unit
val at_normal_exit : (unit -> unit) -> unit
val at_error_exit : (exn -> unit) -> unit
module Group:sig
..end