module Register: sig
.. end
module SGraph: Graph.Imperative.Digraph.ConcreteLabeled
(
Kernel_function
)
(
sig
end
)
module SGState: Computation.OptionRef
(
Project.Datatype.Imperative
(
sig
include SGraph
val name : string
end
)
)
(
sig
end
)
module SCQueue: Computation.Queue
(
Kernel_function.Datatype
)
(
sig
end
)
val callgraph : unit -> SGState.data
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
)
module ServiceState: Computation.OptionRef
(
Service.CallG.Datatype
)
(
sig
end
)
val get_init_funcs : unit -> Cilutil.StringSet.t
val compute : unit -> Service.CallG.t
val get : unit -> ServiceState.data
val dump : unit -> unit
val topologically_iter_on_functions : (SCQueue.elt -> unit) -> unit