| ($) [Cg_viewer] | |
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 [Cg_viewer] | |
| main [Register] | |
| make_graph_view [Cg_viewer] | |
| 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] | |
| services_view [Cg_viewer] | |
| set_possible_values [Parameter_sig.String] |
Set what are the acceptable values for this parameter.
|