Module SlicingTypes

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 triesy 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(siginclude Datatype.Undefined

type t = SlicingInternals.fct_user_crit 


val reprs : SlicingInternals.fct_user_crit list
val name : string
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
val varname : 'a -> string
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 -> SlicingInternals.project -> unit

module Sl_project: Datatype.Make(siginclude Datatype.Undefined

type t = SlicingTypes.sl_project 


val reprs : SlicingInternals.project list
val name : string
val internal_pretty_code : Type.precedence -> Format.formatter -> SlicingInternals.project -> unit
val varname : SlicingInternals.project -> string
val mem_project : (Project.t -> 'a) -> SlicingInternals.project -> 'a
end)

module Sl_select: Datatype.Make(siginclude Datatype.Undefined

type t = SlicingTypes.sl_select 


val reprs : (Cil_datatype.Varinfo.t * SlicingInternals.fct_user_crit) list
val name : string
val varname : 'a -> string
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
end)

val pp_sl_fct_slice : Type.precedence -> Format.formatter -> SlicingInternals.fct_slice -> unit

module Sl_fct_slice: Datatype.Make(siginclude Datatype.Undefined

type t = SlicingInternals.fct_slice 


val name : string
val reprs : SlicingInternals.fct_slice list
val internal_pretty_code : Type.precedence -> Format.formatter -> SlicingInternals.fct_slice -> unit
val mem_project : (Project.t -> 'a) -> SlicingInternals.fct_slice -> 'a
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
type t = SlicingInternals.pdg_mark 


val name : string
val structural_descr : Structural_descr.t
val reprs : SlicingInternals.pdg_mark list
val compare : SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark -> int
val equal : t -> t -> bool
val hash : 'a -> int
val copy : 'a -> 'b
val rehash : 'a -> 'b
val internal_pretty_code : Type.precedence -> Format.formatter -> SlicingInternals.pdg_mark -> unit
val pretty : Format.formatter -> 'a -> unit
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
val varname : 'a -> 'b
end)

val dyn_sl_mark : Sl_mark.t Type.t