module Service:Service_graph.Make
(
sig
val datatype_name :string
typet =
Callgraph.callgraph
module V:sig
..end
val iter_vertex :('a -> unit) -> ('b, 'a) Hashtbl.t -> unit
val iter_succ :(Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val iter_pred :(Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val fold_pred :(Callgraph.callnode -> 'a -> 'a) -> 'b -> Callgraph.callnode -> 'a -> 'a
val in_degree :'a -> Callgraph.callnode -> int
end
)
type
vertex = private {
|
node : |
|
mutable is_root : |
|
mutable root : |
type
edge = private
| |
Inter_services |
| |
Inter_functions |
| |
Function_to_service |
module CallG:sig
..end
val compute : G.t -> Cilutil.StringSet.t -> CallG.t
val output_graph : Pervasives.out_channel -> CallG.t -> unit
module TP:Graph.Graphviz.GraphWithDotAttrs
with type t = CallG.t and type V.t = vertex and type E.t = CallG.E.t