sig
type callnode = {
cnid : int;
cnInfo : Callgraph.nodeinfo;
cnCallees : Callgraph.callnode Datatype.Int.Hashtbl.t;
cnCallers : Callgraph.callnode Datatype.Int.Hashtbl.t;
}
and nodeinfo =
NIVar of Cil_types.varinfo * bool Pervasives.ref
| NIIndirect of string * Cil_types.varinfo list Pervasives.ref
val nodeName : Callgraph.nodeinfo -> string
type callgraph = (string, Callgraph.callnode) Hashtbl.t
val computeGraph : Cil_types.file -> Callgraph.callgraph
val printGraph : Pervasives.out_channel -> Callgraph.callgraph -> unit
val feature : Cil.featureDescr
end