module Metrics: Plugin.Register
(
sig
val name : string
val shortname : string
val help : string
end
)
include Plugin.S
Functors for generating a new parameter
module Bool: functor (
X
:
sig
include Plugin.Parameter_input
val default : bool
The default value of the parameter. So giving the option
option_name
to Frama-C, change the value of the parameter to
not default
.
end
) ->
Plugin.Bool
module Action:
Build a boolean option initialized fo false
, that is not saved.
module False:
Build a boolean option initialized to false
.
module True:
Build a boolean option initialized to true
.
module WithOutput: functor (
X
:
sig
include Plugin.Parameter_input
val output_by_default : bool
end
) ->
Plugin.WithOutput
Build a boolean option initialized to false
.
module Int: functor (
X
:
sig
val default : int
include Plugin.Parameter_input_with_arg
end
) ->
Plugin.Int
Build an integer option.
module Zero:
Build an integer option initialized to 0
.
module String: functor (
X
:
sig
include Plugin.Parameter_input_with_arg
val default : string
end
) ->
Plugin.String
Build a string option.
module EmptyString:
Build a string option initialized to ""
.
module StringSet:
Build an option as a set of strings, initialized to the empty set.
module FilledStringSet: functor (
X
:
sig
include Plugin.Parameter_input_with_arg
val default : Datatype.String.Set.t
end
) ->
Plugin.String_set
Build an option as a set of strings, initialized with the given values.
module StringList:
module IndexedVal:
module StringHashtbl: functor (
X
:
Plugin.Parameter_input_with_arg
) ->
functor (
V
:
sig
include Datatype.S
val parse : string -> string * t
val redefine_binding : string -> old:t -> t -> t
Since Oxygen-20120901
val no_binding : string -> t
end
) ->
Plugin.String_hashtbl
with type value = V.t
Should not be used by casual users.