Module Security_slicing_parameters.P


module P: 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: 
functor (X : Plugin.Parameter_input) -> Plugin.Bool
Build a boolean option initialized fo false, that is not saved.
module False: 
functor (X : Plugin.Parameter_input) -> Plugin.Bool
Build a boolean option initialized to false.
module True: 
functor (X : Plugin.Parameter_input) -> Plugin.Bool
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: 
functor (X : Plugin.Parameter_input_with_arg) -> Plugin.Int
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: 
functor (X : Plugin.Parameter_input_with_arg) -> Plugin.String
Build a string option initialized to "".
module StringSet: 
functor (X : Plugin.Parameter_input_with_arg) -> Plugin.String_set
Build an option as a set of strings, initialized to the empty set.
module StringList: 
functor (X : Plugin.Parameter_input_with_arg) -> Plugin.String_list
Should not be used by casual users
module IndexedVal: 
functor (V : Plugin.Indexed_val_input) -> Plugin.Indexed_val with type value = V.t
module StringHashtbl: 
functor (X : Plugin.Parameter_input_with_arg) ->
functor (V : sig
include Datatype.S
val parse : string -> string * t
val no_binding : string -> t
end) -> Plugin.String_hashtbl with type value = V.t