Frama-C API - Builder
Signatures containing the different functors which may be used to generate new command line options.
module WithOutput (_ : sig ... end) : With_output
module Zero (_ : Input_with_arg) : Int
module Empty_string (_ : Input_with_arg) : String
module Fc_Filepath = Filepath
A fixed set of possible values, represented by a type t
, intended to be a variant with only a finite number of possible constructions. Note that t
must be comparable using Stdlib.compare
.
module String_set (_ : Input_with_arg) : String_set
module Filled_string_set (_ : sig ... end) : String_set
module Kernel_function_set (_ : Input_with_arg) : Kernel_function_set
module Fundec_set (_ : Input_with_arg) : Fundec_set
module String_list (_ : Input_with_arg) : String_list
module Filepath_list (_ : sig ... end) : Filepath_list
module Filepath_map (V : Value_datatype with type key = Fc_Filepath.Normalized.t) (_ : sig ... end) : Map with type key = Fc_Filepath.Normalized.t and type value = V.t and type t = V.t Datatype.Filepath.Map.t
module Make_map (K : String_datatype_with_collections) (V : Value_datatype with type key = K.t) (_ : sig ... end) : Map with type key = K.t and type value = V.t and type t = V.t K.Map.t
Parameter is a map where multibindings are **not** allowed.
module String_map (V : Value_datatype with type key = string) (_ : sig ... end) : Map with type key = string and type value = V.t and type t = V.t Datatype.String.Map.t
module Kernel_function_map (V : Value_datatype with type key = Cil_types.kernel_function) (_ : sig ... end) : Map with type key = Cil_types.kernel_function and type value = V.t and type t = V.t Cil_datatype.Kf.Map.t
As for Kernel_function_set, by default keys can only be defined functions. Use Parameter_customize.argument_may_be_fundecl
to also include pure prototypes.
module Make_multiple_map (K : String_datatype_with_collections) (V : Multiple_value_datatype with type key = K.t) (_ : sig ... end) : Multiple_map with type key = K.t and type value = V.t and type t = V.t list K.Map.t
Parameter is a map where multibindings are allowed.
module String_multiple_map (V : Multiple_value_datatype with type key = string) (_ : sig ... end) : Multiple_map with type key = string and type value = V.t and type t = V.t list Datatype.String.Map.t
module Kernel_function_multiple_map (V : Multiple_value_datatype with type key = Cil_types.kernel_function) (_ : sig ... end) : Multiple_map with type key = Cil_types.kernel_function and type value = V.t and type t = V.t list Cil_datatype.Kf.Map.t
As for Kernel_function_set, by default keys can only be defined functions. Use Parameter_customize.argument_may_be_fundecl
to also include pure prototypes.
val parameters : unit -> Typed_parameter.t list