Module Frama_c_kernel.Parameter_builder

Functors for implementing new command line options.

Kernel use only

module Make (_ : sig ... end) : Parameter_sig.Builder

Internal use only

val find_kf_by_name : (string -> Cil_types.kernel_function) ref
val find_kf_def_by_name : (string -> Cil_types.kernel_function) ref
val find_kf_decl_by_name : (string -> Cil_types.kernel_function) ref
val kf_def_category : (unit -> Cil_types.kernel_function Parameter_category.t) ref
val kf_decl_category : (unit -> Cil_types.kernel_function Parameter_category.t) ref
val kf_string_category : (unit -> string Parameter_category.t) ref
val fundec_category : (unit -> Cil_types.fundec Parameter_category.t) ref
val force_ast_compute : (unit -> unit) ref
val ast_dependencies : State.t list ref