Frama-C API - S_no_log
Special signature for Kernel services, whose messages are handled in an ad'hoc manner. Should not be of any use for a standard plug-in, who would rather rely on Plugin.S
below.
val add_group : ?memo:bool -> string -> Cmdline.Group.t
Create a new group inside the plug-in. The given string must be different of all the other group names of this plug-in if memo
is false
. If memo
is true
the function will either create a fresh group or return an existing group of the same name in the same plugin. memo
defaults to false
module Verbose : Parameter_sig.Int
module Debug : Parameter_sig.Int
Handle the specific `share' directory of the plug-in.
module Session : Parameter_sig.Specific_dir
Handle the specific `session' directory of the plug-in.
module Config : Parameter_sig.Specific_dir
Handle the specific `config' directory of the plug-in.
val help : Cmdline.Group.t
The group containing option -*-help.
val messages : Cmdline.Group.t
The group containing options -*-debug and -*-verbose.