com.ibm.wala.analysis.pointers

Class BasicHeapGraph<T extends InstanceKey>

java.lang.Object

com.ibm.wala.analysis.pointers.HeapGraphImpl<T>

com.ibm.wala.analysis.pointers.BasicHeapGraph<T>

All Implemented Interfaces:

HeapGraph<T>, com.ibm.wala.util.graph.EdgeManager<java.lang.Object>, com.ibm.wala.util.graph.Graph<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>, java.lang.Iterable<java.lang.Object>

public class BasicHeapGraph<T extends InstanceKey>
extends HeapGraphImpl<T>

Basic implementation of HeapGraph

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BasicHeapGraph

public BasicHeapGraph(PointerAnalysis<T> P,
                      CallGraph callGraph)
               throws java.lang.NullPointerException

Parameters:

P - governing pointer analysis

Throws:

java.lang.NullPointerException - if P is null

Method Detail

getNumber

public int getNumber(java.lang.Object N)

getNode

public java.lang.Object getNode(int number)

getMaxNumber

public int getMaxNumber()

iterator

public java.util.Iterator<java.lang.Object> iterator()

stream

public java.util.stream.Stream<java.lang.Object> stream()

getNumberOfNodes

public int getNumberOfNodes()

getPredNodes

public java.util.Iterator<java.lang.Object> getPredNodes(java.lang.Object N)

getPredNodeCount

public int getPredNodeCount(java.lang.Object N)

getSuccNodes

public java.util.Iterator<java.lang.Object> getSuccNodes(java.lang.Object N)

getSuccNodeCount

public int getSuccNodeCount(java.lang.Object N)

addNode

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeNode

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

addEdge

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeEdge

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

hasEdge

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeAllIncidentEdges

public void removeAllIncidentEdges(java.lang.Object node)
                            throws java.lang.UnsupportedOperationException

Throws:

java.lang.UnsupportedOperationException

containsNode

public boolean containsNode(java.lang.Object N)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

removeIncomingEdges

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeOutgoingEdges

public void removeOutgoingEdges(java.lang.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(java.lang.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(java.lang.Object node)
                                                   throws com.ibm.wala.util.debug.UnimplementedError

Throws:

com.ibm.wala.util.debug.UnimplementedError