Module Register


module Register: sig .. end

module Service: Service_graph.Make(sig
val name : string
type t = 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