Index of values

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 (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]
I
is_computed [Callgraph_api.Graph]

Is the graph already built?

is_empty [Parameter_sig.Filepath]

Whether the Filepath is empty.

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
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]