Package 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>, EdgeManager<Object>, Graph<Object>, NodeManager<Object>, NumberedEdgeManager<Object>, NumberedGraph<Object>, NumberedNodeManager<Object>, Iterable<Object>

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

Basic implementation of HeapGraph

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addEdge(Object from, Object to)
void	addNode(Object n)	add a node to this graph
boolean	containsNode(Object N)
int	getMaxNumber()
Object	getNode(int number)
int	getNumber(Object N)
int	getNumberOfNodes()
int	getPredNodeCount(Object N)	Return the number of immediate predecessor nodes of n
IntSet	getPredNodeNumbers(Object node)
Iterator<Object>	getPredNodes(Object N)	Return an Iterator over the immediate predecessor nodes of n
int	getSuccNodeCount(Object N)	Return the number of immediate successor nodes of this Node in the Graph
IntSet	getSuccNodeNumbers(Object node)
Iterator<Object>	getSuccNodes(Object N)	Return an Iterator over the immediate successor nodes of 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)	remove a node from this graph
void	removeOutgoingEdges(Object node)
Stream<Object>	stream()
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 Details

BasicHeapGraph

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

Parameters:

P - governing pointer analysis

Throws:

NullPointerException - if P is null

Method Details

getNumber

public int getNumber(Object N)

See Also:

• NumberedNodeManager.getNumber(Object)

getNode

public Object getNode(int number)

See Also:

• NumberedNodeManager.getNode(int)

getMaxNumber

public int getMaxNumber()

See Also:

• NumberedNodeManager.getMaxNumber()

iterator

public Iterator<Object> iterator()

Returns:

an Iterator of the nodes in this graph

See Also:

• NodeManager.iterator()

stream

public Stream<Object> stream()

Returns:

a Stream of the nodes in this graph

See Also:

• NodeManager.iterator()

getNumberOfNodes

public int getNumberOfNodes()

Returns:

the number of nodes in this graph

See Also:

• NodeManager.getNumberOfNodes()

getPredNodes

public Iterator<Object> getPredNodes(Object N)

Description copied from interface: EdgeManager

Return an Iterator over the immediate predecessor nodes of n

This method never returns null.

Returns:

an Iterator over the immediate predecessor nodes of this Node.

See Also:

• EdgeManager.getPredNodes(Object)

getPredNodeCount

public int getPredNodeCount(Object N)

Description copied from interface: EdgeManager

Return the number of immediate predecessor nodes of n

Returns:

the number of immediate predecessors of n.

See Also:

• EdgeManager.getPredNodeCount(Object)

getSuccNodes

public Iterator<Object> getSuccNodes(Object N)

Description copied from interface: EdgeManager

Return an Iterator over the immediate successor nodes of n

This method never returns null.

Returns:

an Iterator over the immediate successor nodes of n

See Also:

• EdgeManager.getSuccNodes(Object)

getSuccNodeCount

public int getSuccNodeCount(Object N)

Description copied from interface: EdgeManager

Return the number of immediate successor nodes of this Node in the Graph

Returns:

the number of immediate successor Nodes of this Node in the Graph.

See Also:

• EdgeManager.getSuccNodeCount(Object)

addNode

public void addNode(Object n)
             throws UnimplementedError

Description copied from interface: NodeManager

add a node to this graph

Throws:

UnimplementedError

See Also:

• NodeManager.addNode(Object)

removeNode

public void removeNode(Object n)
                throws UnimplementedError

Description copied from interface: NodeManager

remove a node from this graph

Throws:

UnimplementedError

See Also:

• NodeManager.removeNode(Object)

addEdge

public void addEdge(Object from,
 Object to)
             throws UnimplementedError

Throws:

UnimplementedError

removeEdge

public void removeEdge(Object from,
 Object to)
                throws UnimplementedError

Throws:

UnimplementedError

hasEdge

public boolean hasEdge(Object from,
 Object to)
                throws UnimplementedError

Throws:

UnimplementedError

removeAllIncidentEdges

public void removeAllIncidentEdges(Object node)
                            throws UnsupportedOperationException

Throws:

UnsupportedOperationException

containsNode

public boolean containsNode(Object N)

Returns:

true iff the graph contains the specified node

See Also:

• NodeManager.containsNode(Object)

toString

public String toString()

Overrides:

toString in class Object

removeIncomingEdges

public void removeIncomingEdges(Object node)
                         throws UnimplementedError

Throws:

UnimplementedError

removeOutgoingEdges

public void removeOutgoingEdges(Object node)
                         throws UnimplementedError

Throws:

UnimplementedError

getSuccNodeNumbers

public IntSet getSuccNodeNumbers(Object node)
                          throws UnimplementedError

Returns:

the numbers identifying the immediate successors of node

Throws:

UnimplementedError

getPredNodeNumbers

public IntSet getPredNodeNumbers(Object node)
                          throws UnimplementedError

Returns:

the numbers identifying the immediate predecessors of node

Throws:

UnimplementedError