A | |
| appli_criterion [SlicingInternals] | |
C | |
| call_info [SlicingInternals] | |
| called_by [SlicingInternals] | |
| called_fct [SlicingInternals] | |
| criterion [SlicingInternals] | |
F | |
| fct_base_criterion [SlicingInternals] | |
| fct_crit [SlicingInternals] | |
| fct_criterion [SlicingInternals] | |
| fct_id [SlicingInternals] | |
| fct_info [SlicingInternals] |
Type for all the informations related to any function,
even if we don't have its definition.
|
| fct_slice [SlicingInternals] | |
| fct_user_crit [SlicingInternals] | |
| ff_marks [SlicingInternals] | |
L | |
| level_option [SlicingInternals] |
associate a level to each function in order to control how it will be
specialized.
|
| loc_point [SlicingInternals] | |
M | |
| mark [SlicingInternals] |
Kinds of elementary marks.
|
| marks_index [SlicingInternals] | |
N | |
| n_or_d_marks [SlicingActions] |
selection mode (ie which mark to associate to the node
and how to propagate in the different kinds of dependencies)
|
| node_or_dpds [SlicingInternals] | |
P | |
| pdg_mark [SlicingInternals] |
Each PDG element has 2 marks to deal with interprocedural propagation
|
| project [SlicingInternals] | |
S | |
| select [SlicingActions] | |
| sig_marks [SlicingMarks] | |
| 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)
|