Package com.ibm.wala.analysis.pointers

Interface HeapGraph<T extends InstanceKey>

All Superinterfaces:
EdgeManager<Object>, Graph<Object>, Iterable<Object>, NodeManager<Object>, NumberedEdgeManager<Object>, NumberedGraph<Object>, NumberedNodeManager<Object>
All Known Implementing Classes:
BasicHeapGraph, HeapGraphImpl
public interface HeapGraph<T extends InstanceKey> extends NumberedGraph<Object>
A Graph view of a pointer analysis solution.

Nodes in the Graph are PointerKeys and InstanceKeys.

There is an edge from a PointerKey P to an InstanceKey I iff the PointerAnalysis indicates that P may point to I.

There is an edge from an InstanceKey I to a PointerKey P iff - P represents a field of an object instance modeled by I, or - P represents the array contents of array instance I.