Index of values


_color_green_yellow [PrintSlice.PrintProject]
_color_pale_orange [PrintSlice.PrintProject]
_color_soft_blue [PrintSlice.PrintProject]
_is_included [SlicingMarks.MarkPair]
_pretty_node_marks [Fct_slice]
_print_ndm [SlicingActions]

A
add_change_call_action [Fct_slice]
Build a new action ChangeCall (if needed)
add_fct_ff_filter [SlicingProject]
add_fct_src_filter [SlicingProject]
Add an action to the action list to filter the function fct_id with the given criterion.
add_filter [SlicingProject]
add_item [Register_gui]
add_marks [Fct_slice]
quite internal function that only computes the marks.
add_marks_to_fi [Fct_slice]
add the marks to the persistent marks to be used when new slices will be created.
add_missing_inputs_actions [Fct_slice]
ff marks have just been modified : check if the calls to ff compute enough inputs, and create MissingInputs actions if not.
add_persistant_marks [SlicingProject]
Add persistent the marks node_marks in fi and also add the marks to existing slices if any.
add_persistent_cmdline [SlicingCmds]
Registered as a slicing request function: Add selections that will be applied to all the slices of the function (already existing or created later) Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
add_persistent_selection [SlicingCmds]
Registered as a slicing request function: Add selections that will be applied to all the slices of the function (already existing or created later) Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
add_proj_actions [SlicingProject]
add_selection [SlicingCmds]
Registered as a slicing request function: Add selections to all concerned slices, as slicing requests and apply them, kernel function by kernel function.
add_to_selection [SlicingCmds]
add_top_mark_to_fi [Fct_slice]
addr [SlicingMarks.Mark]
after_marks_modifications [Fct_slice]
ff marks have been modified : we have to check if the calls and the callers are ok.
all_nodes_visible [SlicingTransform.Visibility]
annotation_visible [SlicingTransform.Visibility]
apply_action [SlicingProject]
apply filter and return a list of generated filters
apply_add_marks [Fct_slice]
main function to build or modify a slice.
apply_all [SlicingCmds]
apply_all_actions [SlicingProject]
apply_appli_crit [SlicingProject]
apply_change_call [Fct_slice]
check if f_to_call is ok for this call, and if so, change the function call and propagate missing marks in the inputs if needed.
apply_choose_call [Fct_slice]
Choose the function (slice or source) to call according to the slicing level of the called function.
apply_examine_calls [Fct_slice]
apply_fct_action [SlicingProject]
apply_fct_crit [SlicingProject]
apply the given criterion and returns the list of new criterions to add to the project worklist.
apply_missing_inputs [Fct_slice]
ff calls a slice g that needs more inputs than those computed by ff.
apply_missing_outputs [Fct_slice]
ff calls a slice g that doesn't compute enough outputs for the call.
apply_modif_call_inputs [Fct_slice]
modif_call_inputs and then, check the calls and the callers
apply_next_action [SlicingProject]

B
blit [String]
Same as Bytes.blit_string.
body_visible [SlicingTransform.Visibility]
bottom [SlicingMarks.Mark]
bottom_mark [SlicingMarks]
build_addr_dpds_selection [SlicingActions]
Only the control dependencies of the nodes will be marked
build_ctrl_dpds_selection [SlicingActions]
Only the control dependencies of the nodes will be marked
build_data_dpds_selection [SlicingActions]
Only the control dependencies of the nodes will be marked
build_dot_project [PrintSlice]
build_node_and_dpds_selection [SlicingActions]
Build a description to tell how the selected PDG nodes and their dependencies will have to be marked (see SlicingTypes.Internals.node_or_dpds).
build_simple_node_selection [SlicingActions]
Build a description to tell that the associated nodes have to be marked with the given mark, and than the same one will be propagated through their dependencies.

C
call_src_and_remove_all_ff [SlicingProject]
called_info [SlicingTransform.Visibility]
capitalize [String]
Return a copy of the argument, with the first character set to uppercase.
change_call [Fct_slice.FctMarks]
change_call [Fct_slice.CallInfo]
very low level function to change information of a call : no checks at all (they must have been done before).
change_fi_slicing_level [SlicingMacros]
change_slicing_level [SlicingMacros]
check_called_marks [Fct_slice.FctMarks]
check_called_outputs [Fct_slice]
we are about to call ff for sig_call : let's first add some more output marks in ff if needed.
check_ff_called [Fct_slice]
ff marks have changed : check if the call to ff_called is still ok.
check_outputs [Fct_slice]
check_outputs_before_change_call [Fct_slice]
When the user wants to make a change_call to a function that doesn't compute enough outputs, he can call check_outputs_before_change_call in order to build the action the add those outputs.
check_value_computed [Register_gui]
choose_f_to_call [Fct_slice]
choose the function to call according to the slicing level of the function to call
choose_precise_slice [Fct_slice]
choose among the already computed slice if there is a function that computes just enough outputs (what ever their marks are).
clear [State_builder.Ref]
Reset the reference to its default value.
clear [SlicingParameters]
clear_ff [Fct_slice]
ff has to be removed.
color_medium_green [PrintSlice.PrintProject]
color_medium_orange [PrintSlice.PrintProject]
color_medium_pink [PrintSlice.PrintProject]
color_medium_yellow [PrintSlice.PrintProject]
color_soft_green [PrintSlice.PrintProject]
color_soft_orange [PrintSlice.PrintProject]
color_soft_pink [PrintSlice.PrintProject]
color_soft_purple [PrintSlice.PrintProject]
color_soft_yellow [PrintSlice.PrintProject]
combine [SlicingMarks.MarkPair]
combine ma mb is used to add the mb to the ma.
combine [SlicingMarks.Mark]
combine_marks [SlicingMarks]
combine_marks add a new information to the old value.
compare [SlicingMarks.MarkPair]
compare [String]
The comparison function for strings, with the same specification as Pervasives.compare.
compare_mark [SlicingInternals]
compare_marks [SlicingMarks]
compare_pdg_mark [SlicingInternals]
concat [String]
String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.
cond_edge_visible [SlicingTransform.Visibility]
contains [String]
String.contains s c tests if character c appears in the string s.
contains_from [String]
String.contains_from s start c tests if character c appears in s after position start.
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy [String]
Return a copy of the given string.
copy_slice [Fct_slice]
create [String]
String.create n returns a fresh byte sequence of length n.
create_slice [SlicingProject]
Add a new slice for the function.
ctrl [SlicingMarks.Mark]
ctrl_visible [SlicingMarks.SigMarks]

D
data [SlicingMarks.Mark]
data_in_visible [SlicingTransform.Visibility]
data_nodes_visible [SlicingTransform.Visibility]
debug_marked_ff [Fct_slice.FctMarks]
default_edge_attributes [PrintSlice.PrintProject]
default_slice_names [SlicingTransform]
default_vertex_attributes [PrintSlice.PrintProject]
dst [PrintSlice.PrintProject.E]
dummy_fct_info [SlicingInternals]
dummy_fct_slice [SlicingInternals]
dummy_fct_user_crit [SlicingInternals]
dummy_ff_marks [SlicingInternals]
dummy_marks_index [SlicingInternals]
dummy_pdg_mark [SlicingInternals]
For the journalization of these internals types
dummy_project [SlicingInternals]
The whole project.
dyn_sl_fct_slice [SlicingTypes]
dyn_sl_mark [SlicingTypes]

E
edge_attributes [PrintSlice.PrintProject]
empty_sig [SlicingMarks]
empty_to_prop [Fct_slice.FctMarks]
equal_ff [SlicingMacros]
equal_fi [SlicingMacros]
escaped [String]
Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.
examine_calls [Fct_slice]
Examine the call statements after the modification of ff marks.
exists_fun_callers [SlicingTransform]
extract [SlicingTransform]
Apply the actions still waiting in the project and transform the program (CIL AST) using slicing results Can optionally specify how to name the sliced functions using f_slice_names.

F
f_name [SlicingMacros]
fct_info [SlicingTransform.Visibility]
fct_name [SlicingTransform.Visibility]
ff_name [SlicingMacros]
get the name of the function corresponding to that slice.
ff_slicing_level [SlicingMacros]
ff_src_name [SlicingMacros]
ff_svar [SlicingMacros]
fi_has_persistent_selection [SlicingMacros]
fi_marks [Fct_slice.FctMarks]
fi_name [SlicingMacros]
fi_slices [SlicingMacros]
fi_svar [SlicingMacros]
fi_type [PrintSlice.PrintProject]
file_tree_decorate [Register_gui]
fill [String]
String.fill s start len c modifies byte sequence s in place, replacing len bytes with c, starting at start.
filter_already_in [Fct_slice]
a function that doesn't modify anything but test if the nodes_marks are already in the slice or not.
find_sub_stmts [PrintSlice]
fold_calls [Fct_slice.FctMarks]
fold_calls [Fct_slice.CallInfo]
fold_fi [SlicingMacros]
fun_allocates_visible [SlicingTransform.Visibility]
fun_assign_visible [SlicingTransform.Visibility]
fun_deps_visible [SlicingTransform.Visibility]
fun_frees_visible [SlicingTransform.Visibility]
fun_postcond_visible [SlicingTransform.Visibility]
fun_precond_visible [SlicingTransform.Visibility]
fun_variant_visible [SlicingTransform.Visibility]

G
generic_select_func_calls [SlicingCmds]
get [State_builder.Ref]
Get the referenced value.
get [SlicingParameters.Print]
get [String]
String.get s n returns the character at index n in string s.
get_all_input_marks [Fct_slice.FctMarks]
get_all_input_marks [SlicingMarks.SigMarks]
get_all_input_marks [SlicingMarks]
get_call_f_called [Fct_slice.CallInfo]
get_call_output_marks [Fct_slice.FctMarks]
get_call_sig [Fct_slice.CallInfo]
get_called_kf [SlicingMacros]
get_called_slice [Fct_slice]
Inform about the called slice or else calls to source functions.
get_default_level_option [SlicingMacros]
get_f_called [Fct_slice.CallInfo]
get_ff_id [SlicingMacros]
getting num id
get_ff_kf [SlicingMacros]
get_ff_marks [Fct_slice.FctMarks]
get_ff_pdg [SlicingMacros]
get_fi_call [SlicingMacros]
get the fct_info of the called function, if we know it
get_fi_kf [SlicingMacros]
get_fi_node_mark [Fct_slice.FctMarks]
get_fi_pdg [SlicingMacros]
get_in_ctrl_mark [SlicingMarks.SigMarks]
get_in_ctrl_mark [SlicingMarks]
get_in_top_mark [SlicingMarks.SigMarks]
get_info_call [Fct_slice.CallInfo]
find call information (ff_called option + signature of a call)
get_input_loc_under_mark [Fct_slice]
get_input_loc_under_mark [SlicingMarks.SigMarks]
get_input_loc_under_mark [SlicingMarks]
get_input_mark [SlicingMarks.SigMarks]
get_input_mark [SlicingMarks]
get_kf_fi [SlicingMacros]
Get the fct_info if it exists or build a new fct_info.
get_label_mark [Fct_slice]
get_local_var_mark [Fct_slice]
get_mark_from_src_fun [Fct_slice]
The mark m related to all statements of a source function kf.
get_marked_out_zone [SlicingMarks.SigMarks]
get_marked_out_zone [SlicingMarks]
get_matching_input_marks [Fct_slice.FctMarks]
get_matching_input_marks [SlicingMarks.SigMarks]
get_matching_input_marks [SlicingMarks]
get_name [SlicingProject]
get_new_marks [Fct_slice.FctMarks]
get_next_filter [SlicingProject]
get_node_key_mark [Fct_slice]
get_node_mark [Fct_slice.FctMarks]
get_node_mark [Fct_slice]
get_node_marks [Fct_slice.FctMarks]
get_or_raise [SlicingCmds]
get_param_mark [Fct_slice]
get_pdg_kf [SlicingMacros]
get_sgn [Fct_slice.FctMarks]
get_slice_callers [SlicingProject]
get_slices [SlicingProject]
get_stmt_mark [Fct_slice]
get_subgraph [PrintSlice.PrintProject]
get_top_input_mark [Fct_slice]
graph_attributes [PrintSlice.PrintProject]
gui_annot_info [Register_gui]
gui_apply_action [Register_gui]
gui_mk_slice [Register_gui]
gui_set_project [Register_gui]
gui_set_slicing_debug [Register_gui]
gui_set_slicing_level [Register_gui]
gui_set_slicing_undef_functions [Register_gui]

H
has_persistent_selection [SlicingMacros]

I
index [String]
String.index s c returns the index of the first occurrence of character c in string s.
index_from [String]
String.index_from s i c returns the index of the first occurrence of character c in string s after position i.
init [String]
String.init n f returns a string of length n, with character i initialized to the result of f i (called in increasing index order).
inst_visible [SlicingTransform.Visibility]
inter [SlicingMarks.MarkPair]
inter [SlicingMarks.Mark]
inter_all [SlicingMarks.MarkPair]
inter_marks [SlicingMarks]
is_addr [SlicingMarks.MarkPair]
is_addr_mark [SlicingMarks]
is_bottom [SlicingMarks.Mark]
is_bottom_mark [SlicingMarks]
is_call_stmt [SlicingMacros]
is_call_to_change [Fct_slice.CallInfo]
is_ctrl [SlicingMarks.MarkPair]
is_ctrl_mark [SlicingMarks]
is_data [SlicingMarks.MarkPair]
is_data_mark [SlicingMarks]
is_included [SlicingMarks.Mark]
is_on [SlicingParameters]
is_request_empty [SlicingProject]
is_rw_zone [SlicingCmds.Kinstr]
Look at intersection of rd_zone_opt/wr_zone_opt with the directly read/writen Zone.t by the statement.
is_spare [SlicingMarks.MarkPair]
is_spare_mark [SlicingMarks]
is_src_fun_called [SlicingTransform]
Return true if the source function is called (even indirectly via transitivity) from a Slice.t.
is_src_fun_called [SlicingMacros]
is_src_fun_visible [SlicingTransform]
Return true if the source function is visible (even indirectly via transitivity) from a Slice.t.
is_src_fun_visible [SlicingMacros]
is_top [SlicingMarks.MarkPair]
is_top [SlicingMarks.Mark]
is_top_mark [SlicingMarks]
is_topin_visible [SlicingMarks.SigMarks]
is_topin_visible [SlicingMarks]
is_variadic [SlicingMacros]
iter [String]
String.iter f s applies function f in turn to all the characters of s.
iter_edges_actions [PrintSlice.PrintProject]
iter_edges_e [PrintSlice.PrintProject]
iter_edges_slices [PrintSlice.PrintProject]
iter_edges_src_fun [PrintSlice.PrintProject]
iter_from_func [SlicingCmds.Kinstr]
Iter on statements of a kernel function
iter_vertex [PrintSlice.PrintProject]
iteri [String]
Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

K
keep_body [SlicingTransform.Visibility]

L
label_visible [SlicingTransform.Visibility]
length [String]
Return the length (number of characters) of the given string.
loc_var_visible [SlicingTransform.Visibility]
lowercase [String]
Return a copy of the argument, with all uppercase letters translated to lowercase, including accented letters of the ISO Latin-1 (8859-1) character set.

M
main [Register_gui]
make [String]
String.make n c returns a fresh string of length n, filled with the character c.
make_new_ff [Fct_slice]
build a new empty slice in the given fct_info.
make_type [Datatype.Hashtbl]
map [String]
String.map f s applies function f in turn to all the characters of s (in increasing index order) and stores the results in a new string that is returned.
mapi [String]
String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.
mark_and_propagate [Fct_slice.FctMarks]
mark the node with the given mark and propagate it to its dependencies
mark_spare_call_nodes [Fct_slice.FctMarks]
mark_to_string [SlicingMarks]
mark_visible_inputs [Fct_slice.FctMarks]
TODO : this function should disappear when the parameter declarations will be handled...
mark_visible_output [Fct_slice.FctMarks]
marks_for_call_outputs [Fct_slice.FctMarks]
marks_for_caller_inputs [Fct_slice.FctMarks]
compute the marks to propagate in pdg_caller when the called function have the to_prop marks.
memo [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
merge [Fct_slice.FctMarks]
merge [SlicingMarks.MarkPair]
merge [SlicingMarks.Mark]
merge_all [SlicingMarks.MarkPair]
merge_fun_callers [Fct_slice]
merge_inputs_m1_mark [Fct_slice]
merge_inputs_m1_mark [SlicingMarks.SigMarks]
merge_inputs_m1_mark [SlicingMarks]
merge_marks [SlicingMarks]
merge_slices [SlicingProject]
Build a new slice ff which contains the marks of ff1 and ff2 and generate everything that is needed to choose the calls in ff.
merge_slices [Fct_slice]
Build a new slice which marks are a join between ff1 marks and ff2 marks.
merge_user_marks [SlicingMarks.MarkPair]
merge only ma_1 et mb_1, m_2 is always bottom
minus [SlicingMarks.MarkPair]
minus [SlicingMarks.Mark]
minus_marks [SlicingMarks]
missing_input [SlicingMarks.MarkPair]
tells if the caller (f) computes enough inputs for the callee (g).
missing_input_mark [SlicingMarks]
missing_output [SlicingMarks.MarkPair]
we want to know if the called function g with output marks m_out_called compute enough things to be used in f call with output marks m_out_call.
missing_output_mark [SlicingMarks]
mk_adc [SlicingMarks.Mark]
mk_appli_select_calls [SlicingActions]
mk_crit_add_output_marks [SlicingActions]
mk_crit_change_call [SlicingActions]
mk_crit_choose_call [SlicingActions]
mk_crit_examines_calls [SlicingActions]
mk_crit_fct_top [SlicingActions]
mk_crit_fct_user_select [SlicingActions]
mk_crit_mark_calls [SlicingActions]
mk_crit_missing_inputs [SlicingActions]
mk_crit_missing_outputs [SlicingActions]
mk_crit_prop_persit_marks [SlicingActions]
mk_fct_crit [SlicingActions]
build an action to apply the criteria to the persistent selection of the function.
mk_fct_user_crit [SlicingActions]
mk_ff_crit [SlicingActions]
build an action to apply the criteria to the given slice.
mk_ff_user_select [SlicingActions]
mk_gen_spare [SlicingMarks.MarkPair]
mk_gen_spare [SlicingMarks]
generated spare = the smallest visible mark
mk_m1 [SlicingMarks]
mk_m1_spare [SlicingMarks.MarkPair]
mk_m2 [SlicingMarks]
mk_project [SlicingProject]
API function : see Db.Slicing.Project.mk_project.
mk_selection [Register_gui]
mk_selection_all [Register_gui]
mk_selection_cad [Register_gui]
mk_slice [Register_gui]
mk_user_mark [SlicingMarks]
mk_user_spare [SlicingMarks]
modif_call_inputs [Fct_slice]
propagate the input_marks in the inputs of call in ff.
msg_help_enable_gui [Register_gui]
msg_help_libraries [Register_gui]

N
new_command [SlicingParameters.Print]
new_copied_slice [Fct_slice.FctMarks]
new_empty_fi_marks [Fct_slice.FctMarks]
new_empty_slice [Fct_slice.FctMarks]
new_init_slice [Fct_slice.FctMarks]
node_slice_callers [PrintSlice.PrintProject]
node_slice_calls [PrintSlice.PrintProject]
none_text [Register_gui]

P
param_visible [SlicingTransform.Visibility]
pdg_mark_packed_descr [SlicingInternals]
persistant_in_marks_to_prop [Fct_slice.FctMarks]
pp_sl_fct_slice [SlicingTypes]
pp_sl_mark [SlicingTypes]
pp_sl_project [SlicingTypes]
pretty [SlicingMarks.SigMarks]
pretty [SlicingMarks.MarkPair]
pretty [SlicingMarks.Mark]
pretty_mark [SlicingMarks]
pretty_setting_option [Register_gui]
pretty_sig [SlicingMarks]
pretty_slice [SlicingProject]
print_crit [SlicingActions]
print_f_crit [SlicingActions]
print_fct_from_pdg [PrintSlice]
print_fct_stmts [PrintSlice]
print_ff_sig [Fct_slice]
print_list_crit [SlicingActions]
print_marked_ff [PrintSlice]
print_nd_and_mark [SlicingActions]
print_nd_and_mark_list [SlicingActions]
Printing
print_node_mark [SlicingActions]
print_nodes [SlicingActions]
print_original_glob [PrintSlice]
print_proj_worklist [SlicingProject]
print_project [SlicingProject]
print_project_and_worklist [SlicingProject]
print_sel_marks_list [SlicingActions]
prop_persistant_marks [Fct_slice]
when the user adds persistent marks to a function, he might want to propagate them to the callers, but, anyway, we don't want to propagate persistent marks to the calls for the same reason (if we mark x = g (); in f, we don't necessarily want all versions of g to have a visible return for instance).

R
raise_if_visible [SlicingMarks.SigMarks]
rcontains_from [String]
String.rcontains_from s stop c tests if character c appears in s before position stop+1.
rebuild_model [Register_gui]
refresh_combo_box [Register_gui]
remove_called_by [Fct_slice.CallInfo]
call_id is a call to g in f.
remove_ff [SlicingProject]
Delete ff_to_remove if it is not called.
remove_uncalled_slices [SlicingProject]
res_call_visible [SlicingTransform.Visibility]
result_visible [SlicingTransform.Visibility]
rindex [String]
String.rindex s c returns the index of the last occurrence of character c in string s.
rindex_from [String]
String.rindex_from s i c returns the index of the last occurrence of character c in string s before position i+1.

S
same_call [SlicingMacros]
same_ff_call [SlicingMacros]
select_ZoneAnnot_pragmas [SlicingCmds]
select_ZoneAnnot_zones_decl_vars [SlicingCmds]
select_decl_var [SlicingCmds]
Add a selection of the declaration of vi.
select_entry_point_and_some_inputs_outputs [SlicingCmds]
Add a selection to the entrance of the function kf and add a selection to its return if ~return is true and add a selection to ~inputs parts of its inputs and add a selection to ~ouputs parts of its outputs
select_func_annots [SlicingCmds]
Registered as a slicing selection function: Add a selection of the annotations related to a function.
select_func_calls_into [SlicingCmds]
Registered as a slicing selection function: Add a selection of calls to a kf.
select_func_calls_to [SlicingCmds]
Registered as a slicing selection function: Add a selection of calls to a kf.
select_func_lval [SlicingCmds]
Registered as a slicing selection function: Add selection of function ouputs.
select_func_lval_rw [SlicingCmds]
Registered as a slicing selection function: Add a selection of data relative to read/write accesses.
select_func_return [SlicingCmds]
Registered as a slicing selection function: Add a selection of the kf return statement.
select_func_zone [SlicingCmds]
Registered as a slicing selection function: Add selection of function ouputs.
select_lval_rw [SlicingCmds]
Add a selection of data relative to read/write accesses.
select_pdg_nodes [SlicingCmds]
Registered as a slicing selection function: Add a selection of the pdg nodes.
select_stmt [SlicingCmds]
Registered as a slicing selection function: Add a selection of the statement.
select_stmt_annot [SlicingCmds]
Registered as a slicing selection function: Add selection of the annotations related to a statement.
select_stmt_annots [SlicingCmds]
Registered as a slicing selection function: Add selection of the annotations related to a statement.
select_stmt_ctrl [SlicingCmds]
Registered as a slicing selection function: Add a selection of the statement reachability.
select_stmt_lval [SlicingCmds]
Registered as a slicing selection function: Add a selection of data relative to a statement.
select_stmt_lval_rw [SlicingCmds]
Registered as a slicing selection function: Add a selection of rw accesses to lvalues relative to a statement.
select_stmt_pred [SlicingCmds]
Registered as a slicing selection function: Add selection of the annotations related to a statement.
select_stmt_term [SlicingCmds]
Registered as a slicing selection function: Add selection of the annotations related to a statement.
select_stmt_zone [SlicingCmds]
Registered as a slicing selection function: Add a selection of data relative to a statement.
set [State_builder.Ref]
Change the referenced value.
set [String]
String.set s n c modifies byte sequence s in place, replacing the byte at index n with c.
set_off [SlicingParameters]
slicing_highlighter [Register_gui]
slicing_panel [Register_gui]
slicing_selector [Register_gui]
some_visible_in [SlicingMarks.SigMarks]
some_visible_out [SlicingMarks.SigMarks]
some_visible_out [SlicingMarks]
something_visible [Fct_slice.CallInfo]
something_visible [SlicingMarks.SigMarks]
something_visible [SlicingMarks]
spare [SlicingMarks.Mark]
split_slice [SlicingProject]
src [PrintSlice.PrintProject.E]
str_call_sig [PrintSlice]
str_level_option [SlicingMacros]
sub [String]
String.sub s start len returns a fresh string of length len, containing the substring of s that starts at position start and has length len.

T
to_string [SlicingMarks.MarkPair]
topologic_propagation [SlicingCmds]
Topologically propagate user marks to callers in whole project
translate_crit_to_select [SlicingActions]
translate_num_to_slicing_level [SlicingMacros]
trim [String]
Return a copy of the argument, without leading and trailing whitespace.

U
uncapitalize [String]
Return a copy of the argument, with the first character set to lowercase.
update_column [Register_gui]
uppercase [String]
Return a copy of the argument, with all lowercase letters translated to uppercase, including accented letters of the ISO Latin-1 (8859-1) character set.
user_mark [SlicingMarks]

V
vertex_attributes [PrintSlice.PrintProject]
vertex_name [PrintSlice.PrintProject]
visible_mark [SlicingTransform.Visibility]