package cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type callnode = {
  1. cnid : int;
  2. cnInfo : nodeinfo;
  3. cnCallees : callnode Inthash.t;
  4. cnCallers : callnode Inthash.t;
}
and nodeinfo =
  1. | NIVar of Cil.varinfo * bool Pervasives.ref
  2. | NIIndirect of string * Cil.varinfo list Pervasives.ref
val nodeName : nodeinfo -> string
type callgraph = (string, callnode) Hashtbl.t
val computeGraph : Cil.file -> callgraph
val printGraph : Pervasives.out_channel -> callgraph -> unit
val feature : Cil.featureDescr