module Register:sig
..end
module Service:Service_graph.Make
(
sig
val name :string
typet =
Callgraph.callgraph
module V:sig
..end
val iter_vertex :('a -> unit) -> ('b, 'a) Hashtbl.t -> unit
val callees :'a -> Callgraph.callnode -> Callgraph.callnode list
val callers :'a -> Callgraph.callnode -> Callgraph.callnode list
end
)
module CG:Computation.OptionRef
(
Service.CallG.Datatype
)
(
sig
val name :string
val dependencies :Project.Computation.t list
end
)
val get_init_funcs : (Parameters.MainFunction.t, Callgraph.callnode) Hashtbl.t ->
Cilutil.StringSet.t
val compute : unit -> Service.CallG.t
val get : unit -> CG.data
module SG:Computation.OptionRef
(
Service.SG.Datatype
)
(
sig
val name :string
val dependencies :Project.Computation.t list
end
)
val get_services : unit -> SG.data
val dump : unit -> unit