Module type Callgraph_api.Services

module type Services = Graph  with type G.V.t = Kernel_function.t Service_graph.vertex
        and type G.E.label = Service_graph.edge

Signature for a graph of services

module G: Graph.Sig.G

The underlying graph datastructure

val compute : unit -> unit

Compute the graph

val get : unit -> G.t

Get the graph from the AST.

val dump : unit -> unit

Dump the graph in the file of the corresponding command line argument.

val is_computed : unit -> bool

Is the graph already built?

val self : State.t