Index of types


D
data [State_builder.Ref]
Type of the referenced value.

S
sl_fct_slice [SlicingTypes]
Function slice
sl_mark [SlicingTypes]
Marks : used to put 'colors' in the result
sl_project [SlicingTypes]
contains global things that has been computed so far for the slicing project.
sl_select [SlicingTypes]
Type of the selections (we store the varinfo because we cannot use the kernel_function in this file)

T
t [PrintSlice.PrintProject.E]
t [PrintSlice.PrintProject.V]
t [PrintSlice.PrintProject]
t [Fct_slice.FctMarks]
t [Fct_slice.CallInfo]
t [SlicingMarks.T_Mark]
t [SlicingMarks.F_SigMarks]
t [SlicingMarks.MarkPair]
t [SlicingMarks.Mark]
t [String]
An alias for the type of strings.
t_appli_criterion [SlicingInternals]
Slicing criterion at the application level.
t_call_id [SlicingInternals]
t_call_id [Fct_slice.CallInfo]
t_call_info [SlicingInternals]
information about a call in a slice which gives the function to call
t_called_by [SlicingInternals]
to represent where a function is called.
t_called_fct [SlicingInternals]
t_criterion [SlicingInternals]
t_fct [SlicingTransform.Visibility]
t_fct_base_criterion [SlicingInternals]
Base criterion for the functions.
t_fct_crit [SlicingInternals]
t_fct_criterion [SlicingInternals]
A slicing criterion is either an application level criterion, or a function level one.
t_fct_id [SlicingInternals]
t_fct_id is used to identify either a source function or a sliced one.
t_fct_info [SlicingInternals]
Type for all the informations related to any function, even if we don't have its definition.
t_fct_slice [SlicingInternals]
Function slice : created as soon as there is a criterion to compute it, even if the slice itself hasn't been computed yet.
t_fct_user_crit [SlicingInternals]
Tells which marks we want to put in the slice of a function
t_ff_marks [SlicingInternals]
t_level_option [SlicingInternals]
associate a level to each function in order to control how it will be specialized.
t_loc_point [SlicingInternals]
Used to identify a location (zone) at a given program point.
t_mark [SlicingInternals]
Kinds of elementary marks.
t_mark [Fct_slice.FctMarks]
t_mark [SlicingMarks]
on marks
t_marks_index [SlicingInternals]
main part of a slice = mapping between the function elements and information about them in the slice.
t_node [PrintSlice.PrintProject]
t_node [Fct_slice.FctMarks]
t_node_key [Fct_slice.FctMarks]
t_node_or_dpds [SlicingInternals]
t_node_or_dpds tells how we want to select nodes, or some of their dependencies (see SlicingInternals.t_fct_user_crit).
t_pdg [Fct_slice.FctMarks]
t_pdg_mark [SlicingInternals]
Each PDG element has 2 marks to deal with interprocedural propagation
t_pdg_node [SlicingInternals]
Nodes of the PDG
t_proj [SlicingTransform.Visibility]
t_project [SlicingInternals]
t_sig_marks [SlicingMarks]
t_to_prop [Fct_slice.FctMarks]
tfi [PrintSlice.PrintProject]
tm [SlicingMarks.F_SigMarks]