functor
(SliceName : sig
val get : Db_types.kernel_function -> bool -> int -> string
end) ->
sig
type t_proj = SlicingTransform.T.t_project
type t_fct =
Iff of (SlicingTransform.T.t_fct_slice * bool)
| Isrc
| Iproto
val fct_info :
SlicingTransform.M.T.t_project ->
Kernel_function.t -> SlicingTransform.Visibility.t_fct list
val fct_name :
Cil_types.varinfo -> SlicingTransform.Visibility.t_fct -> string
val visible_mark : Db.Slicing.Mark.t -> bool
val param_visible : SlicingTransform.Visibility.t_fct -> int -> bool
val body_visible : SlicingTransform.Visibility.t_fct -> bool
val inst_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.stmt -> bool
val label_visible :
SlicingTransform.Visibility.t_fct ->
Cil_types.stmt -> Cil_types.label -> bool
val data_in_visible :
Fct_slice.t_fct_slice -> Locations.Zone.t option -> bool
val all_nodes_visible :
Fct_slice.t_fct_slice -> Db.Pdg.t_node list -> bool
val data_nodes_visible :
Fct_slice.t_fct_slice ->
Db.Pdg.t_node list *
((Db.Pdg.t_node * Locations.Zone.t option) list *
Locations.Zone.t option) ->
bool
val annotation_visible :
SlicingTransform.Visibility.t_fct ->
Cil_types.stmt -> before:bool -> Cil_types.code_annotation -> bool
val fun_precond_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.predicate -> bool
val fun_postcond_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.predicate -> bool
val fun_variant_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.term -> bool
val fun_assign_visible : 'a -> 'b -> bool
val loc_var_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.varinfo -> bool
val res_call_visible :
SlicingTransform.Visibility.t_fct -> Cil_types.stmt -> bool
val result_visible : 'a -> SlicingTransform.Visibility.t_fct -> bool
val called_info :
SlicingTransform.M.T.t_project * SlicingTransform.Visibility.t_fct ->
Cil_types.stmt ->
(Db_types.kernel_function * SlicingTransform.Visibility.t_fct) option
end