Module Kernel


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: 
functor (X : Parameter_input) -> Plugin.BOOL
Build a boolean option initialized to false.
module True: 
functor (X : Parameter_input) -> Plugin.BOOL
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: 
functor (X : Parameter_input_with_arg) -> Plugin.INT
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: 
functor (X : Parameter_input_with_arg) -> Plugin.STRING
Build a string option initialized to "".
module StringSet: 
functor (X : Parameter_input_with_arg) -> Plugin.STRING_SET
Build an option as a set of strings, initialized to the empty set.
module StringList: 
functor (X : Parameter_input_with_arg) -> Plugin.STRING_LIST
Should not be used by casual users
module IndexedVal: 
functor (V : COMPLEX_VALUE) -> Plugin.INDEXED_VAL with type value = V.t