boomerang.scene.wala

Class WALAStatement

java.lang.Object

boomerang.scene.Statement

boomerang.scene.wala.WALAStatement

All Implemented Interfaces:

wpds.interfaces.Location

Direct Known Subclasses:

WALADummyNullStatement, WALAUnitializedFieldStatement

public class WALAStatement
extends Statement

Field Summary

Fields inherited from class boomerang.scene.Statement

method

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	WALAStatement(com.ibm.wala.ssa.SSAInstruction stmt, Method method)
	WALAStatement(String string, Method method)

Method Summary

Modifier and Type	Method and Description
boolean	containsInvokeExpr()
boolean	containsStaticFieldAccess()
boolean	equals(Object obj)
Pair<Val,Integer>	getArrayBase()
int	getEndColumnNumber()
int	getEndLineNumber()
Pair<Val,Field>	getFieldLoad()
Pair<Val,Field>	getFieldStore()
IfStatement	getIfStmt()
InvokeExpr	getInvokeExpr()
Val	getLeftOp()
Field	getLoadedField()
Collection<Val>	getPhiVals()
Val	getReturnOp()
Val	getRightOp()
com.ibm.wala.ssa.SSAInstruction	getSSAInstruction()
int	getStartColumnNumber()
int	getStartLineNumber()
StaticFieldVal	getStaticField()
Field	getWrittenField()
int	hashCode()
boolean	isArrayLoad()
boolean	isArrayStore()
boolean	isAssign()
boolean	isCast()
boolean	isCatchStmt()
boolean	isFieldLoad()
boolean	isFieldLoadWithBase(Val base)
boolean	isFieldStore()
boolean	isFieldWriteWithBase(Val base)
boolean	isIdentityStmt()
boolean	isIfStmt()
boolean	isInstanceOfStatement(Val fact)
boolean	isMultiArrayAllocation()
boolean	isPhiStatement()
boolean	isReturnOperator(Val val)
boolean	isReturnStmt()
boolean	isStaticFieldLoad()
boolean	isStaticFieldStore()
boolean	isStringAllocation()
boolean	isThrowStmt()
boolean	killAtIfStmt(Val fact, Statement successor)
String	toString()

Methods inherited from class boomerang.scene.Statement

accepts, assignsValue, epsilon, getMethod, getParameter, isParameter, uses

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

WALAStatement

protected WALAStatement(com.ibm.wala.ssa.SSAInstruction stmt,
                        Method method)

WALAStatement

public WALAStatement(String string,
                     Method method)

Method Detail

containsStaticFieldAccess

public boolean containsStaticFieldAccess()

Specified by:

containsStaticFieldAccess in class Statement

containsInvokeExpr

public boolean containsInvokeExpr()

Specified by:

containsInvokeExpr in class Statement

getWrittenField

public Field getWrittenField()

Specified by:

getWrittenField in class Statement

isFieldWriteWithBase

public boolean isFieldWriteWithBase(Val base)

Specified by:

isFieldWriteWithBase in class Statement

getLoadedField

public Field getLoadedField()

Specified by:

getLoadedField in class Statement

isFieldLoadWithBase

public boolean isFieldLoadWithBase(Val base)

Specified by:

isFieldLoadWithBase in class Statement

isReturnOperator

public boolean isReturnOperator(Val val)

Overrides:

isReturnOperator in class Statement

isPhiStatement

public boolean isPhiStatement()

Specified by:

isPhiStatement in class Statement

getPhiVals

public Collection<Val> getPhiVals()

Specified by:

getPhiVals in class Statement

isAssign

public boolean isAssign()

Specified by:

isAssign in class Statement

getLeftOp

public Val getLeftOp()

Specified by:

getLeftOp in class Statement

getRightOp

public Val getRightOp()

Specified by:

getRightOp in class Statement

isInstanceOfStatement

public boolean isInstanceOfStatement(Val fact)

Specified by:

isInstanceOfStatement in class Statement

isCast

public boolean isCast()

Specified by:

isCast in class Statement

getInvokeExpr

public InvokeExpr getInvokeExpr()

Specified by:

getInvokeExpr in class Statement

isReturnStmt

public boolean isReturnStmt()

Specified by:

isReturnStmt in class Statement

getReturnOp

public Val getReturnOp()

Specified by:

getReturnOp in class Statement

isThrowStmt

public boolean isThrowStmt()

Specified by:

isThrowStmt in class Statement

isIfStmt

public boolean isIfStmt()

Specified by:

isIfStmt in class Statement

getIfStmt

public IfStatement getIfStmt()

Specified by:

getIfStmt in class Statement

isMultiArrayAllocation

public boolean isMultiArrayAllocation()

Specified by:

isMultiArrayAllocation in class Statement

isStringAllocation

public boolean isStringAllocation()

Specified by:

isStringAllocation in class Statement

isFieldStore

public boolean isFieldStore()

Specified by:

isFieldStore in class Statement

isArrayStore

public boolean isArrayStore()

Specified by:

isArrayStore in class Statement

isArrayLoad

public boolean isArrayLoad()

Specified by:

isArrayLoad in class Statement

isFieldLoad

public boolean isFieldLoad()

Specified by:

isFieldLoad in class Statement

isIdentityStmt

public boolean isIdentityStmt()

Specified by:

isIdentityStmt in class Statement

killAtIfStmt

public boolean killAtIfStmt(Val fact,
                            Statement successor)

Specified by:

killAtIfStmt in class Statement

toString

public String toString()

Overrides:

toString in class Statement

getFieldStore

public Pair<Val,Field> getFieldStore()

Specified by:

getFieldStore in class Statement

getFieldLoad

public Pair<Val,Field> getFieldLoad()

Specified by:

getFieldLoad in class Statement

isStaticFieldLoad

public boolean isStaticFieldLoad()

Specified by:

isStaticFieldLoad in class Statement

isStaticFieldStore

public boolean isStaticFieldStore()

Specified by:

isStaticFieldStore in class Statement

getStaticField

public StaticFieldVal getStaticField()

Specified by:

getStaticField in class Statement

hashCode

public int hashCode()

Overrides:

hashCode in class Statement

equals

public boolean equals(Object obj)

Overrides:

equals in class Statement

getArrayBase

public Pair<Val,Integer> getArrayBase()

Specified by:

getArrayBase in class Statement

getStartLineNumber

public int getStartLineNumber()

Specified by:

getStartLineNumber in class Statement

getStartColumnNumber

public int getStartColumnNumber()

Specified by:

getStartColumnNumber in class Statement

getEndColumnNumber

public int getEndColumnNumber()

Specified by:

getEndColumnNumber in class Statement

getEndLineNumber

public int getEndLineNumber()

Specified by:

getEndLineNumber in class Statement

isCatchStmt

public boolean isCatchStmt()

Specified by:

isCatchStmt in class Statement

getSSAInstruction

public com.ibm.wala.ssa.SSAInstruction getSSAInstruction()