Frama_c_kernel.Parameter_builder
Functors for implementing new command line options.
module Make (P : sig ... end) : Parameter_sig.Builder
val find_kf_by_name : ( string -> Cil_types.kernel_function ) Stdlib.ref
val find_kf_def_by_name : ( string -> Cil_types.kernel_function ) Stdlib.ref
val find_kf_decl_by_name : ( string -> Cil_types.kernel_function ) Stdlib.ref
val kf_category :
( unit -> Cil_types.kernel_function Parameter_category.t ) Stdlib.ref
val kf_def_category :
( unit -> Cil_types.kernel_function Parameter_category.t ) Stdlib.ref
val kf_decl_category :
( unit -> Cil_types.kernel_function Parameter_category.t ) Stdlib.ref
val kf_string_category : ( unit -> string Parameter_category.t ) Stdlib.ref
val fundec_category :
( unit -> Cil_types.fundec Parameter_category.t ) Stdlib.ref
val ast_dependencies : State.t list Stdlib.ref