com.ibm.wala.ipa.callgraph.impl

Class ExplicitCallGraph.ExplicitEdgeManager

java.lang.Object

com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph.ExplicitEdgeManager

All Implemented Interfaces:

com.ibm.wala.util.graph.EdgeManager<CGNode>, com.ibm.wala.util.graph.NumberedEdgeManager<CGNode>

Enclosing class:

ExplicitCallGraph

protected class ExplicitCallGraph.ExplicitEdgeManager
extends Object
implements com.ibm.wala.util.graph.NumberedEdgeManager<CGNode>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExplicitCallGraph.ExplicitEdgeManager()

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(CGNode src, CGNode dst)
protected void	addEdge(int x, int y)
int	getPredNodeCount(CGNode N)
com.ibm.wala.util.intset.IntSet	getPredNodeNumbers(CGNode node)
Iterator<CGNode>	getPredNodes(CGNode N)
int	getSuccNodeCount(CGNode N)
com.ibm.wala.util.intset.IntSet	getSuccNodeNumbers(CGNode node)
Iterator<CGNode>	getSuccNodes(CGNode N)
boolean	hasEdge(CGNode src, CGNode dst)
void	removeAllIncidentEdges(CGNode node)
void	removeEdge(CGNode src, CGNode dst)
void	removeIncomingEdges(CGNode node)
void	removeOutgoingEdges(CGNode node)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplicitCallGraph.ExplicitEdgeManager

protected ExplicitCallGraph.ExplicitEdgeManager()

Method Detail

getSuccNodeNumbers

public com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(CGNode node)

Specified by:

getSuccNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<CGNode>

getPredNodeNumbers

public com.ibm.wala.util.intset.IntSet getPredNodeNumbers(CGNode node)

Specified by:

getPredNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<CGNode>

getPredNodes

public Iterator<CGNode> getPredNodes(CGNode N)

Specified by:

getPredNodes in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

getPredNodeCount

public int getPredNodeCount(CGNode N)

Specified by:

getPredNodeCount in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

getSuccNodes

public Iterator<CGNode> getSuccNodes(CGNode N)

Specified by:

getSuccNodes in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

getSuccNodeCount

public int getSuccNodeCount(CGNode N)

Specified by:

getSuccNodeCount in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

addEdge

public void addEdge(CGNode src,
           CGNode dst)

Specified by:

addEdge in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

removeEdge

public void removeEdge(CGNode src,
              CGNode dst)

Specified by:

removeEdge in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

addEdge

protected void addEdge(int x,
           int y)

removeAllIncidentEdges

public void removeAllIncidentEdges(CGNode node)

Specified by:

removeAllIncidentEdges in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

removeIncomingEdges

public void removeIncomingEdges(CGNode node)

Specified by:

removeIncomingEdges in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

removeOutgoingEdges

public void removeOutgoingEdges(CGNode node)

Specified by:

removeOutgoingEdges in interface com.ibm.wala.util.graph.EdgeManager<CGNode>

hasEdge

public boolean hasEdge(CGNode src,
              CGNode dst)

Specified by:

hasEdge in interface com.ibm.wala.util.graph.EdgeManager<CGNode>