Frama_c_kernel.Cil_state_builder
Functors for building computations which use kernel datatypes.
module Stmt_set_ref
(Info : State_builder.Info) :
State_builder.Set_ref with type elt = Cil_types.stmt
module Kinstr_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl with type key = Cil_types.kinstr and type data = Data.t
module Stmt_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl with type key = Cil_types.stmt and type data = Data.t
module Varinfo_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl
with type key = Cil_types.varinfo
and type data = Data.t
module Exp_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl with type key = Cil_types.exp and type data = Data.t
module Lval_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl with type key = Cil_types.lval and type data = Data.t
module Kernel_function_hashtbl
(Data : Datatype.S)
(Info : State_builder.Info_with_size) :
State_builder.Hashtbl
with type key = Cil_types.kernel_function
and type data = Data.t