boomerang.scene.wala

Class WALADummyNullStatement

java.lang.Object

boomerang.scene.Statement

boomerang.scene.wala.WALAStatement

boomerang.scene.wala.WALADummyNullStatement

All Implemented Interfaces:

wpds.interfaces.Location

public class WALADummyNullStatement
extends WALAStatement

Field Summary

Fields inherited from class boomerang.scene.Statement

method

Constructor Summary

Constructors

Constructor and Description
WALADummyNullStatement(Val a, Method method)

Method Summary

Modifier and Type	Method and Description
boolean	containsInvokeExpr()
boolean	containsStaticFieldAccess()
boolean	equals(Object obj)
Pair<Val,Integer>	getArrayBase()
Pair<Val,Field>	getFieldLoad()
Pair<Val,Field>	getFieldStore()
IfStatement	getIfStmt()
InvokeExpr	getInvokeExpr()
Val	getLeftOp()
Field	getLoadedField()
Collection<Val>	getPhiVals()
Val	getReturnOp()
Val	getRightOp()
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	isReturnStmt()
boolean	isStaticFieldLoad()
boolean	isStaticFieldStore()
boolean	isStringAllocation()
boolean	isThrowStmt()
boolean	killAtIfStmt(Val fact, Statement successor)
String	toString()

Methods inherited from class boomerang.scene.wala.WALAStatement

getEndColumnNumber, getEndLineNumber, getSSAInstruction, getStartColumnNumber, isReturnOperator

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

WALADummyNullStatement

public WALADummyNullStatement(Val a,
                              Method method)

Method Detail

containsStaticFieldAccess

public boolean containsStaticFieldAccess()

Overrides:

containsStaticFieldAccess in class WALAStatement

containsInvokeExpr

public boolean containsInvokeExpr()

Overrides:

containsInvokeExpr in class WALAStatement

getWrittenField

public Field getWrittenField()

Overrides:

getWrittenField in class WALAStatement

isFieldWriteWithBase

public boolean isFieldWriteWithBase(Val base)

Overrides:

isFieldWriteWithBase in class WALAStatement

getLoadedField

public Field getLoadedField()

Overrides:

getLoadedField in class WALAStatement

isFieldLoadWithBase

public boolean isFieldLoadWithBase(Val base)

Overrides:

isFieldLoadWithBase in class WALAStatement

isAssign

public boolean isAssign()

Overrides:

isAssign in class WALAStatement

getLeftOp

public Val getLeftOp()

Overrides:

getLeftOp in class WALAStatement

getRightOp

public Val getRightOp()

Overrides:

getRightOp in class WALAStatement

isInstanceOfStatement

public boolean isInstanceOfStatement(Val fact)

Overrides:

isInstanceOfStatement in class WALAStatement

isCast

public boolean isCast()

Overrides:

isCast in class WALAStatement

isPhiStatement

public boolean isPhiStatement()

Overrides:

isPhiStatement in class WALAStatement

getInvokeExpr

public InvokeExpr getInvokeExpr()

Overrides:

getInvokeExpr in class WALAStatement

isReturnStmt

public boolean isReturnStmt()

Overrides:

isReturnStmt in class WALAStatement

isThrowStmt

public boolean isThrowStmt()

Overrides:

isThrowStmt in class WALAStatement

isIfStmt

public boolean isIfStmt()

Overrides:

isIfStmt in class WALAStatement

getIfStmt

public IfStatement getIfStmt()

Overrides:

getIfStmt in class WALAStatement

getReturnOp

public Val getReturnOp()

Overrides:

getReturnOp in class WALAStatement

isMultiArrayAllocation

public boolean isMultiArrayAllocation()

Overrides:

isMultiArrayAllocation in class WALAStatement

isStringAllocation

public boolean isStringAllocation()

Overrides:

isStringAllocation in class WALAStatement

isFieldStore

public boolean isFieldStore()

Overrides:

isFieldStore in class WALAStatement

isArrayStore

public boolean isArrayStore()

Overrides:

isArrayStore in class WALAStatement

isArrayLoad

public boolean isArrayLoad()

Overrides:

isArrayLoad in class WALAStatement

isFieldLoad

public boolean isFieldLoad()

Overrides:

isFieldLoad in class WALAStatement

isIdentityStmt

public boolean isIdentityStmt()

Overrides:

isIdentityStmt in class WALAStatement

getFieldStore

public Pair<Val,Field> getFieldStore()

Overrides:

getFieldStore in class WALAStatement

getFieldLoad

public Pair<Val,Field> getFieldLoad()

Overrides:

getFieldLoad in class WALAStatement

isStaticFieldLoad

public boolean isStaticFieldLoad()

Overrides:

isStaticFieldLoad in class WALAStatement

isStaticFieldStore

public boolean isStaticFieldStore()

Overrides:

isStaticFieldStore in class WALAStatement

getStaticField

public StaticFieldVal getStaticField()

Overrides:

getStaticField in class WALAStatement

killAtIfStmt

public boolean killAtIfStmt(Val fact,
                            Statement successor)

Overrides:

killAtIfStmt in class WALAStatement

getPhiVals

public Collection<Val> getPhiVals()

Overrides:

getPhiVals in class WALAStatement

getArrayBase

public Pair<Val,Integer> getArrayBase()

Overrides:

getArrayBase in class WALAStatement

getStartLineNumber

public int getStartLineNumber()

Overrides:

getStartLineNumber in class WALAStatement

isCatchStmt

public boolean isCatchStmt()

Overrides:

isCatchStmt in class WALAStatement

hashCode

public int hashCode()

Overrides:

hashCode in class WALAStatement

equals

public boolean equals(Object obj)

Overrides:

equals in class WALAStatement

toString

public String toString()

Overrides:

toString in class WALAStatement