Class PrefixTransferGraph

java.lang.Object

org.scandroid.prefixtransfer.PrefixTransferGraph

All Implemented Interfaces:

EdgeManager<InstanceKeySite>, Graph<InstanceKeySite>, NodeManager<InstanceKeySite>, Iterable<InstanceKeySite>

public class PrefixTransferGraph
extends Object
implements Graph<InstanceKeySite>

Field Summary

Fields

Modifier and Type	Field	Description
final Map<InstanceKey,StringBuilderUseAnalysis>	sbuaMap

Constructor Summary

Constructors

Constructor	Description
PrefixTransferGraph(PointerAnalysis<InstanceKey> pa)

Method Summary

Modifier and Type	Method	Description
void	addEdge(InstanceKeySite src, InstanceKeySite dst)
void	addNode(InstanceKeySite n)	add a node to this graph
boolean	containsNode(InstanceKeySite n)
int	getNumberOfNodes()
int	getPredNodeCount(InstanceKeySite n)	Return the number of immediate predecessor nodes of n
Iterator<InstanceKeySite>	getPredNodes(InstanceKeySite n)	Return an Iterator over the immediate predecessor nodes of n
int	getSuccNodeCount(InstanceKeySite N)	Return the number of immediate successor nodes of this Node in the Graph
Iterator<InstanceKeySite>	getSuccNodes(InstanceKeySite n)	Return an Iterator over the immediate successor nodes of n
boolean	hasEdge(InstanceKeySite src, InstanceKeySite dst)
Iterator<InstanceKeySite>	iterator()
void	removeAllIncidentEdges(InstanceKeySite node)
void	removeEdge(InstanceKeySite src, InstanceKeySite dst)
void	removeIncomingEdges(InstanceKeySite node)
void	removeNode(InstanceKeySite n)	remove a node from this graph
void	removeNodeAndEdges(InstanceKeySite n)	remove a node and all its incident edges
void	removeOutgoingEdges(InstanceKeySite node)
Stream<InstanceKeySite>	stream()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Details

sbuaMap

public final Map<InstanceKey,StringBuilderUseAnalysis> sbuaMap

Constructor Details

PrefixTransferGraph

public PrefixTransferGraph(PointerAnalysis<InstanceKey> pa)

Method Details

removeNodeAndEdges

public void removeNodeAndEdges(InstanceKeySite n)
                        throws UnsupportedOperationException

Description copied from interface: Graph

remove a node and all its incident edges

Specified by:

removeNodeAndEdges in interface Graph<InstanceKeySite>

Throws:

UnsupportedOperationException - if the graph implementation does not allow removal

addNode

public void addNode(InstanceKeySite n)

Description copied from interface: NodeManager

add a node to this graph

Specified by:

addNode in interface NodeManager<InstanceKeySite>

containsNode

public boolean containsNode(InstanceKeySite n)

Specified by:

containsNode in interface NodeManager<InstanceKeySite>

Returns:

true iff the graph contains the specified node

getNumberOfNodes

public int getNumberOfNodes()

Specified by:

getNumberOfNodes in interface NodeManager<InstanceKeySite>

Returns:

the number of nodes in this graph

iterator

public Iterator<InstanceKeySite> iterator()

Specified by:

iterator in interface Iterable<InstanceKeySite>

Specified by:

iterator in interface NodeManager<InstanceKeySite>

Returns:

an Iterator of the nodes in this graph

stream

public Stream<InstanceKeySite> stream()

Specified by:

stream in interface NodeManager<InstanceKeySite>

Returns:

a Stream of the nodes in this graph

removeNode

public void removeNode(InstanceKeySite n)

Description copied from interface: NodeManager

remove a node from this graph

Specified by:

removeNode in interface NodeManager<InstanceKeySite>

addEdge

public void addEdge(InstanceKeySite src,
 InstanceKeySite dst)

Specified by:

addEdge in interface EdgeManager<InstanceKeySite>

getPredNodeCount

public int getPredNodeCount(InstanceKeySite n)

Description copied from interface: EdgeManager

Return the number of immediate predecessor nodes of n

Specified by:

getPredNodeCount in interface EdgeManager<InstanceKeySite>

Returns:

the number of immediate predecessors of n.

getPredNodes

public Iterator<InstanceKeySite> getPredNodes(InstanceKeySite n)

Description copied from interface: EdgeManager

Return an Iterator over the immediate predecessor nodes of n

This method never returns null.

Specified by:

getPredNodes in interface EdgeManager<InstanceKeySite>

Returns:

an Iterator over the immediate predecessor nodes of this Node.

getSuccNodeCount

public int getSuccNodeCount(InstanceKeySite N)

Description copied from interface: EdgeManager

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

Specified by:

getSuccNodeCount in interface EdgeManager<InstanceKeySite>

Returns:

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

getSuccNodes

public Iterator<InstanceKeySite> getSuccNodes(InstanceKeySite n)

Description copied from interface: EdgeManager

Return an Iterator over the immediate successor nodes of n

This method never returns null.

Specified by:

getSuccNodes in interface EdgeManager<InstanceKeySite>

Returns:

an Iterator over the immediate successor nodes of n

hasEdge

public boolean hasEdge(InstanceKeySite src,
 InstanceKeySite dst)

Specified by:

hasEdge in interface EdgeManager<InstanceKeySite>

removeAllIncidentEdges

public void removeAllIncidentEdges(InstanceKeySite node)
                            throws UnsupportedOperationException

Specified by:

removeAllIncidentEdges in interface EdgeManager<InstanceKeySite>

Throws:

UnsupportedOperationException

removeEdge

public void removeEdge(InstanceKeySite src,
 InstanceKeySite dst)
                throws UnsupportedOperationException

Specified by:

removeEdge in interface EdgeManager<InstanceKeySite>

Throws:

UnsupportedOperationException

removeIncomingEdges

public void removeIncomingEdges(InstanceKeySite node)
                         throws UnsupportedOperationException

Specified by:

removeIncomingEdges in interface EdgeManager<InstanceKeySite>

Throws:

UnsupportedOperationException

removeOutgoingEdges

public void removeOutgoingEdges(InstanceKeySite node)
                         throws UnsupportedOperationException

Specified by:

removeOutgoingEdges in interface EdgeManager<InstanceKeySite>

Throws:

UnsupportedOperationException