module Kernel: sig
.. end
Provided services for kernel developers.
include Plugin.S
Each parameter of functors used to registered a new kernel parameter must
have a module name.
module type Parameter_input = sig
.. end
module type Parameter_input_with_arg = sig
.. end
module type COMPLEX_VALUE = sig
.. end
module Bool: functor (
X
:
sig
include Kernel.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 False:
Build a boolean option initialized to false
.
module True:
Build a boolean option initialized to true
.
module Int: functor (
X
:
sig
val default : int
include Kernel.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 Kernel.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 StringList:
Should not be used by casual users
module IndexedVal: