boomerang.scene.wala

Class WALAControlFlowGraph

java.lang.Object

boomerang.scene.wala.WALAControlFlowGraph

All Implemented Interfaces:

ControlFlowGraph

public class WALAControlFlowGraph
extends Object
implements ControlFlowGraph

Nested Class Summary

Nested classes/interfaces inherited from interface boomerang.scene.ControlFlowGraph

ControlFlowGraph.Edge

Constructor Summary

Constructors

Constructor and Description
WALAControlFlowGraph(WALAMethod method, com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Summary

Modifier and Type	Method and Description
Statement	getBranchTarget(int targetIndex)
Collection<Statement>	getEndPoints()
Collection<Statement>	getPredsOf(Statement curr)
Collection<Statement>	getStartPoints()
List<Statement>	getStatements()
Collection<Statement>	getSuccsOf(Statement curr)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

WALAControlFlowGraph

public WALAControlFlowGraph(WALAMethod method,
                            com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Detail

getStartPoints

public Collection<Statement> getStartPoints()

Specified by:

getStartPoints in interface ControlFlowGraph

getEndPoints

public Collection<Statement> getEndPoints()

Specified by:

getEndPoints in interface ControlFlowGraph

getSuccsOf

public Collection<Statement> getSuccsOf(Statement curr)

Specified by:

getSuccsOf in interface ControlFlowGraph

getPredsOf

public Collection<Statement> getPredsOf(Statement curr)

Specified by:

getPredsOf in interface ControlFlowGraph

getStatements

public List<Statement> getStatements()

Specified by:

getStatements in interface ControlFlowGraph

toString

public String toString()

Overrides:

toString in class Object

getBranchTarget

public Statement getBranchTarget(int targetIndex)