com.ibm.wala.analysis.pointers

Class BasicHeapGraph

java.lang.Object

com.ibm.wala.analysis.pointers.HeapGraphImpl

com.ibm.wala.analysis.pointers.BasicHeapGraph

All Implemented Interfaces:

HeapGraph, com.ibm.wala.util.graph.EdgeManager, com.ibm.wala.util.graph.Graph, com.ibm.wala.util.graph.NodeManager, com.ibm.wala.util.graph.NumberedEdgeManager, com.ibm.wala.util.graph.NumberedGraph, com.ibm.wala.util.graph.NumberedNodeManager, Iterable

public class BasicHeapGraph
extends HeapGraphImpl

Basic implementation of HeapGraph

Constructor Summary

Constructors

Constructor and Description
BasicHeapGraph(PointerAnalysis<InstanceKey> P, CallGraph callGraph)

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(Object from, Object to)
void	addNode(Object n)
boolean	containsNode(Object N)
int	getMaxNumber()
Object	getNode(int number)
int	getNumber(Object N)
int	getNumberOfNodes()
int	getPredNodeCount(Object N)
com.ibm.wala.util.intset.IntSet	getPredNodeNumbers(Object node)
Iterator<Object>	getPredNodes(Object N)
int	getSuccNodeCount(Object N)
com.ibm.wala.util.intset.IntSet	getSuccNodeNumbers(Object node)
Iterator<Object>	getSuccNodes(Object N)
boolean	hasEdge(Object from, Object to)
Iterator<Object>	iterator()
void	removeAllIncidentEdges(Object node)
void	removeEdge(Object from, Object to)
void	removeIncomingEdges(Object node)
void	removeNode(Object n)
void	removeOutgoingEdges(Object node)
String	toString()

Methods inherited from class com.ibm.wala.analysis.pointers.HeapGraphImpl

getHeapModel, getPointerAnalysis, getReachableInstances, iterateNodes, removeNodeAndEdges

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BasicHeapGraph

public BasicHeapGraph(PointerAnalysis<InstanceKey> P,
              CallGraph callGraph)
               throws NullPointerException

Parameters:

P - governing pointer analysis

Throws:

NullPointerException - if P is null

Method Detail

getNumber

public int getNumber(Object N)

getNode

public Object getNode(int number)

getMaxNumber

public int getMaxNumber()

iterator

public Iterator<Object> iterator()

getNumberOfNodes

public int getNumberOfNodes()

getPredNodes

public Iterator<Object> getPredNodes(Object N)

getPredNodeCount

public int getPredNodeCount(Object N)

getSuccNodes

public Iterator<Object> getSuccNodes(Object N)

getSuccNodeCount

public int getSuccNodeCount(Object N)

addNode

public void addNode(Object n)
             throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeNode

public void removeNode(Object n)
                throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

addEdge

public void addEdge(Object from,
           Object to)
             throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeEdge

public void removeEdge(Object from,
              Object to)
                throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

hasEdge

public boolean hasEdge(Object from,
              Object to)
                throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeAllIncidentEdges

public void removeAllIncidentEdges(Object node)
                            throws UnsupportedOperationException

Throws:

UnsupportedOperationException

containsNode

public boolean containsNode(Object N)

toString

public String toString()

Overrides:

toString in class Object

removeIncomingEdges

public void removeIncomingEdges(Object node)
                         throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeOutgoingEdges

public void removeOutgoingEdges(Object node)
                         throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

getSuccNodeNumbers

public com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(Object node)
                                                   throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError

getPredNodeNumbers

public com.ibm.wala.util.intset.IntSet getPredNodeNumbers(Object node)
                                                   throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError