module Register:sig
..end
val entry_point_ref : Callgraph.callnode option Pervasives.ref
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
end
)
module CG:State_builder.Option_ref
(
Service.CallG.Datatype
)
(
sig
val name :string
val dependencies :State.t list
end
)
val get_init_funcs : Kernel_function.Set.elt option ->
(string, Callgraph.callnode) Hashtbl.t -> Options.InitFunc.t
val compute : unit -> Service.CallG.t
val get : unit -> CG.data
val dump : unit -> unit