A | |
accept_base [Uses] | accept_base formals locals kf b returns true if and only if b is a global, a formal or local of one of the callers of kf , a formal or local of kf and the corresponding argument is true .
|
C | |
compute [Callgraph_api.Graph] |
Compute the graph
|
compute [Journalize.Make] | |
D | |
dump [Callgraph_api.Graph] |
Dump the graph in the file of the corresponding command line argument.
|
dump [Journalize.Make] | |
dump [Options] |
dump the given value into
Filename.get () by using output
|
E | |
entry_point [Services] | |
exists [Parameter_sig.Set] |
Is there some element satisfying the given predicate?
|
G | |
get [Callgraph_api.Graph] |
Get the graph from the AST.
|
get [Journalize.Make] | |
get_function_name [Parameter_sig.String] |
returns the given argument only if it is a valid function name
(see
Parameter_customize.get_c_ified_functions for more information),
and abort otherwise.
|
get_plain_string [Parameter_sig.String] |
always return the argument, even if the argument is not a function name.
|
get_possible_values [Parameter_sig.String] |
What are the acceptable values for this parameter.
|
I | |
is_computed [Callgraph_api.Graph] |
Is the graph already built?
|
iter_in_order [Uses] |
Iterate over all the functions, in the callgraph order, i.e.
|
iter_in_rev_order [Uses] |
Iterate over all the functions, in the callgraph reverse order, i.e.
|
iter_on_callees [Uses] |
Iterate over all the callees of a given function in a (reverse) depth-first
way.
|
iter_on_callers [Uses] |
Iterate over all the callers of a given function in a (reverse) depth-first
way.
|
M | |
main [Register] | |
mem [Parameter_sig.Set] |
Does the given element belong to the set?
|
N | |
name [Options] | |
O | |
off [Parameter_sig.Bool] |
Set the boolean to
false .
|
on [Parameter_sig.Bool] |
Set the boolean to
true .
|
S | |
self [Callgraph_api.Graph] | |
set_possible_values [Parameter_sig.String] |
Set what are the acceptable values for this parameter.
|