module Service: Service_graph.Make
(
sig
val name : string
type
t = Register.SGraph.t
module V: sig
.. end
val iter_vertex : (Register.SGraph.vertex -> unit) -> Register.SGraph.t -> unit
val callees : Register.SGraph.t -> Register.SGraph.vertex -> Register.SGraph.vertex list
val callers : Register.SGraph.t -> Register.SGraph.vertex -> Register.SGraph.vertex list
end
)
type
m = private
| |
Nothing |
| |
Service of int |
| |
JustMet of int |
type
vertex = private {
|
node : G.V.t ; |
|
mutable mark : m ; |
|
mutable visited : bool ; |
|
is_service : bool ; |
}
module CallG: sig
.. end
val output_graph : Pervasives.out_channel -> CallG.t -> unit
val compute : G.t -> Cilutil.StringSet.t -> CallG.t
Graph of services
module SS: Set.S
with type elt = G.V.t
type
service_vertex = private {
|
service : int ; |
|
mutable root : G.V.t ; |
|
mutable nodes : SS.t ; |
}
Since Beryllium-20090901
module SG: sig
.. end
val compute_services : CallG.t -> SG.t
Since Beryllium-20090901
val output_services : Pervasives.out_channel -> SG.t -> unit
Since Beryllium-20090901