Module Parameter_builder

module Parameter_builder: sig .. end

Functors for implementing new command line options.


Kernel use only

module Make: 
functor (P : sig
val shortname : string
val parameters : (string, Typed_parameter.t list) Hashtbl.t
module L: sig .. end
val messages_group : Cmdline.Group.t
end-> Parameter_sig.Builder 

Internal use only

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