com.ibm.wala.analysis.pointers

Interface HeapGraph<T extends InstanceKey>

All Superinterfaces:

com.ibm.wala.util.graph.EdgeManager<java.lang.Object>, com.ibm.wala.util.graph.Graph<java.lang.Object>, java.lang.Iterable<java.lang.Object>, com.ibm.wala.util.graph.NodeManager<java.lang.Object>, com.ibm.wala.util.graph.NumberedEdgeManager<java.lang.Object>, com.ibm.wala.util.graph.NumberedGraph<java.lang.Object>, com.ibm.wala.util.graph.NumberedNodeManager<java.lang.Object>

All Known Implementing Classes:

BasicHeapGraph, HeapGraphImpl

public interface HeapGraph<T extends InstanceKey>
extends com.ibm.wala.util.graph.NumberedGraph<java.lang.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.

Method Summary

Modifier and Type	Method and Description
HeapModel	getHeapModel()
PointerAnalysis<T>	getPointerAnalysis()
java.util.Collection<java.lang.Object>	getReachableInstances(java.util.Set<java.lang.Object> roots)

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager

getMaxNumber, getNode, getNumber, iterateNodes

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Method Detail

getReachableInstances

java.util.Collection<java.lang.Object> getReachableInstances(java.util.Set<java.lang.Object> roots)

getHeapModel

HeapModel getHeapModel()

getPointerAnalysis

PointerAnalysis<T> getPointerAnalysis()