Index of class methods


A
add_cycle [Cumulative_analysis.Make.do_it_cached]

B
bottom [Derefs.do_it_]
bottom [Inputs.do_it_]
bottom [Outputs.do_it_]
bottom [Cumulative_analysis.cumulative_class]

C
clean_kf_result [Derefs.do_it_]
clean_kf_result [Inputs.do_it_]
clean_kf_result [Outputs.do_it_]
clean_kf_result [Cumulative_analysis.cumulative_class]
Assuming v are the results of the analysis for f (ie.
compute_funspec [Derefs.do_it_]
compute_funspec [Inputs.do_it_]
compute_funspec [Outputs.do_it_]
compute_funspec [Cumulative_analysis.cumulative_class]
Function that computes and returns the partial results on a funspec.
compute_kf [Cumulative_analysis.cumulative_visitor]
Virtual function to use when one needs to compute the effect of a function call.
compute_kf [Cumulative_analysis.Make.do_it_cached]
Memoized version of the analysis of a kernel-function
compute_kf_with_def [Cumulative_analysis.Make.do_it_cached]
compute_kf_with_spec_generic [Cumulative_analysis.Make.do_it_cached]
cycle [Cumulative_analysis.Make.do_it_cached]
Internal methods that gives the functions for which a cycle has been detected in the dynamic call-graph.

D
do_assign [Inputs.do_it_]
do_assign [Outputs.do_it_]

J
join [Derefs.do_it_]
join [Inputs.do_it_]
join [Outputs.do_it_]
join [Cumulative_analysis.cumulative_class]

R
result [Derefs.do_it_]
result [Inputs.do_it_]
result [Outputs.do_it_]
result [Cumulative_analysis.cumulative_class]
Result of the analysis

S
specialize_state_on_call [Cumulative_analysis.cumulative_visitor]
If the current statement is a call to the given function, enrich the superposed memory state at this statement with the formal arguments of this function.

V
vexpr [Inputs.do_it_]
vinst [Inputs.do_it_]
vinst [Outputs.do_it_]
vlval [Derefs.do_it_]
vlval [Inputs.do_it_]
vstmt_aux [Inputs.do_it_]
vstmt_aux [Outputs.do_it_]