Index of values


($) [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
can_show_service_graph [Cg_viewer]
compute [Callgraph_api.Graph]
Compute the graph
compute [Journalize.Make]

D
dump [Callgraph_api.Graph]
Dump the (possibly sub-)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 [Callgraph_api.Services]
exists [Parameter_sig.Set]
Is there some element satisfying the given predicate?

G
get [Callgraph_api.Graph.Subgraph]
get [Callgraph_api.Graph]
Get the graph from the AST.
get [Subgraph.Make]
get [Journalize.Make]
get_current_function [Cg_viewer]
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.

H
has_entry_point [Cg_viewer]

I
is_computed [Callgraph_api.Graph]
Is the graph already built?
is_root [Callgraph_api.Services]
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_cg_view [Cg_viewer]
make_graph_view [Cg_viewer]
make_service_view [Cg_viewer]
mem [Parameter_sig.Set]
Does the given element belong to the set?

N
name [Options]
nb_calls [Uses]

O
off [Parameter_sig.Bool]
Set the boolean to false.
on [Parameter_sig.Bool]
Set the boolean to true.

S
self [Callgraph_api.Graph]
self [Subgraph.Make]
services_view [Cg_viewer]
set_possible_values [Parameter_sig.String]
Set what are the acceptable values for this parameter.

W
warn_degrade [Cg_viewer]