module SlicingTypes: sig
.. end
Slicing module types.
exception Slicing_Internal_Error of string
exception ChangeCallErr of string
exception PtrCallExpr
exception CantRemoveCalledFf
exception WrongSlicingLevel
exception OnlyOneEntryPointSlice
raised when someone tries to build more than one slice for the entry point.
exception NoPdg
raised when one tries to select something in a function where we are not
able to compute the Pdg.
type
sl_project = SlicingInternals.project
contains global things that has been computed so far
for the slicing project.
This includes :
- the slices of the functions,
- and the queue of actions to be applied.
type
sl_select = Cil_types.varinfo * SlicingInternals.fct_user_crit
Type of the selections
(we store the varinfo because we cannot use the kernel_function in this file)
module Fct_user_crit: Datatype.Make
(
sig
end
)
type
sl_fct_slice = SlicingInternals.fct_slice
Function slice
type
sl_mark = SlicingInternals.pdg_mark
Marks : used to put 'colors' in the result
val pp_sl_project : Type.precedence -> Format.formatter -> 'a -> unit
module Sl_project: Datatype.Make
(
sig
end
)
module Sl_select: Datatype.Make
(
sig
end
)
val pp_sl_fct_slice : Type.precedence -> Format.formatter -> SlicingInternals.fct_slice -> unit
module Sl_fct_slice: Datatype.Make
(
sig
end
)
val dyn_sl_fct_slice : Sl_fct_slice.t Type.t
val pp_sl_mark : Type.precedence -> Format.formatter -> SlicingInternals.pdg_mark -> unit
module Sl_mark: Datatype.Make_with_collections
(
sig
end
)
val dyn_sl_mark : Sl_mark.t Type.t