Frama-C:
Plug-ins:
Libraries:

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.

  • since Chlorine-20180501
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

  • since Beryllium-20090901

Handle the specific `lib' directory of the plug-in.

Handle the specific `share' directory of the plug-in.

Handle the specific `session' directory of the plug-in.

Handle the specific `cache' directory of the plug-in.

Handle the specific `config' directory of the plug-in.

Handle the specific `state' directory of the plug-in.

val help : Cmdline.Group.t

The group containing option -*-help.

  • since Boron-20100401
val messages : Cmdline.Group.t

The group containing options -*-debug and -*-verbose.

  • since Boron-20100401
val grp_debug : Cmdline.Group.t

Group containing debug options.

  • since 32.0-Germanium
val add_plugin_output_aliases : ?visible:bool -> ?deprecated:bool -> string list -> unit

Adds aliases to the options -plugin-help, -plugin-verbose, -plugin-log, -plugin-msg-key, and -plugin-warn-key. add_plugin_output_aliases [alias] adds the aliases -alias-help, -alias-verbose, etc.

  • since 18.0-Argon
  • before 22.0-Titanium

    no visible and deprecated arguments.