sig
type t = SlicingTypes.sl_fct_slice
val dyn_t : Db.Slicing.Slice.t Type.t
val create :
(Cil_types.kernel_function -> Db.Slicing.Slice.t) Pervasives.ref
val remove : (Db.Slicing.Slice.t -> unit) Pervasives.ref
val remove_uncalled : (unit -> unit) Pervasives.ref
val get_all :
(Cil_types.kernel_function -> Db.Slicing.Slice.t list) Pervasives.ref
val get_function :
(Db.Slicing.Slice.t -> Cil_types.kernel_function) Pervasives.ref
val get_callers :
(Db.Slicing.Slice.t -> Db.Slicing.Slice.t list) Pervasives.ref
val get_called_slice :
(Db.Slicing.Slice.t -> Cil_types.stmt -> Db.Slicing.Slice.t option)
Pervasives.ref
val get_called_funcs :
(Db.Slicing.Slice.t -> Cil_types.stmt -> Cil_types.kernel_function list)
Pervasives.ref
val get_mark_from_stmt :
(Db.Slicing.Slice.t -> Cil_types.stmt -> Db.Slicing.Mark.t)
Pervasives.ref
val get_mark_from_label :
(Db.Slicing.Slice.t ->
Cil_types.stmt -> Cil_types.label -> Db.Slicing.Mark.t)
Pervasives.ref
val get_mark_from_local_var :
(Db.Slicing.Slice.t -> Cil_types.varinfo -> Db.Slicing.Mark.t)
Pervasives.ref
val get_mark_from_formal :
(Db.Slicing.Slice.t -> Cil_types.varinfo -> Db.Slicing.Mark.t)
Pervasives.ref
val get_user_mark_from_inputs :
(Db.Slicing.Slice.t -> Db.Slicing.Mark.t) Pervasives.ref
val get_num_id : (Db.Slicing.Slice.t -> int) Pervasives.ref
val from_num_id :
(Cil_types.kernel_function -> int -> Db.Slicing.Slice.t) Pervasives.ref
val pretty :
(Format.formatter -> Db.Slicing.Slice.t -> unit) Pervasives.ref
end