boomerang.scene

Class Statement

java.lang.Object

boomerang.scene.Statement

All Implemented Interfaces:

wpds.interfaces.Location

Direct Known Subclasses:

JimpleStatement

public abstract class Statement
extends Object
implements wpds.interfaces.Location

Field Summary

Fields

Modifier and Type	Field and Description
protected Method	method

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Statement(Method method)

Method Summary

Modifier and Type	Method and Description
boolean	accepts(wpds.interfaces.Location other)
boolean	assignsValue(Val value)
abstract boolean	containsInvokeExpr()
abstract boolean	containsStaticFieldAccess()
static Statement	epsilon()
boolean	equals(Object obj)
abstract Pair<Val,Integer>	getArrayBase()
abstract int	getEndColumnNumber()
abstract int	getEndLineNumber()
abstract Pair<Val,Field>	getFieldLoad()
abstract Pair<Val,Field>	getFieldStore()
abstract IfStatement	getIfStmt()
abstract InvokeExpr	getInvokeExpr()
abstract Val	getLeftOp()
abstract Field	getLoadedField()
Method	getMethod()
int	getParameter(Val value)
abstract Collection<Val>	getPhiVals()
abstract Val	getReturnOp()
abstract Val	getRightOp()
abstract int	getStartColumnNumber()
abstract int	getStartLineNumber()
abstract StaticFieldVal	getStaticField()
abstract Field	getWrittenField()
int	hashCode()
abstract boolean	isArrayLoad()
abstract boolean	isArrayStore()
abstract boolean	isAssign()
abstract boolean	isCast()
abstract boolean	isCatchStmt()
abstract boolean	isFieldLoad()
abstract boolean	isFieldLoadWithBase(Val base)
abstract boolean	isFieldStore()
abstract boolean	isFieldWriteWithBase(Val base)
abstract boolean	isIdentityStmt()
abstract boolean	isIfStmt()
abstract boolean	isInstanceOfStatement(Val fact)
abstract boolean	isMultiArrayAllocation()
boolean	isParameter(Val value)
abstract boolean	isPhiStatement()
boolean	isReturnOperator(Val val)
abstract boolean	isReturnStmt()
abstract boolean	isStaticFieldLoad()
abstract boolean	isStaticFieldStore()
abstract boolean	isStringAllocation()
abstract boolean	isThrowStmt()
abstract boolean	killAtIfStmt(Val fact, Statement successor) This method kills a data-flow at an if-stmt, it is assumed that the propagated "allocation" site is x = null and fact is the propagated aliased variable.
String	toString()
boolean	uses(Val value)

Methods inherited from class java.lang.Object

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

Field Detail

method

protected final Method method

Constructor Detail

Statement

protected Statement(Method method)

Method Detail

epsilon

public static Statement epsilon()

toString

public String toString()

Overrides:

toString in class Object

getMethod

public Method getMethod()

containsStaticFieldAccess

public abstract boolean containsStaticFieldAccess()

containsInvokeExpr

public abstract boolean containsInvokeExpr()

getWrittenField

public abstract Field getWrittenField()

isFieldWriteWithBase

public abstract boolean isFieldWriteWithBase(Val base)

getLoadedField

public abstract Field getLoadedField()

isFieldLoadWithBase

public abstract boolean isFieldLoadWithBase(Val base)

isParameter

public boolean isParameter(Val value)

getParameter

public int getParameter(Val value)

isReturnOperator

public boolean isReturnOperator(Val val)

uses

public boolean uses(Val value)

assignsValue

public boolean assignsValue(Val value)

isAssign

public abstract boolean isAssign()

getLeftOp

public abstract Val getLeftOp()

getRightOp

public abstract Val getRightOp()

isInstanceOfStatement

public abstract boolean isInstanceOfStatement(Val fact)

isCast

public abstract boolean isCast()

isPhiStatement

public abstract boolean isPhiStatement()

getInvokeExpr

public abstract InvokeExpr getInvokeExpr()

isReturnStmt

public abstract boolean isReturnStmt()

isThrowStmt

public abstract boolean isThrowStmt()

isIfStmt

public abstract boolean isIfStmt()

getIfStmt

public abstract IfStatement getIfStmt()

getReturnOp

public abstract Val getReturnOp()

isMultiArrayAllocation

public abstract boolean isMultiArrayAllocation()

isStringAllocation

public abstract boolean isStringAllocation()

isFieldStore

public abstract boolean isFieldStore()

isArrayStore

public abstract boolean isArrayStore()

isArrayLoad

public abstract boolean isArrayLoad()

isFieldLoad

public abstract boolean isFieldLoad()

isIdentityStmt

public abstract boolean isIdentityStmt()

getFieldStore

public abstract Pair<Val,Field> getFieldStore()

getFieldLoad

public abstract Pair<Val,Field> getFieldLoad()

isStaticFieldLoad

public abstract boolean isStaticFieldLoad()

isStaticFieldStore

public abstract boolean isStaticFieldStore()

getStaticField

public abstract StaticFieldVal getStaticField()

killAtIfStmt

public abstract boolean killAtIfStmt(Val fact,
                                     Statement successor)

This method kills a data-flow at an if-stmt, it is assumed that the propagated "allocation" site is x = null and fact is the propagated aliased variable. (i.e., y after a statement y = x). If the if-stmt checks for if y != null or if y == null, data-flow propagation can be killed when along the true/false branch.

Parameters:

fact - The data-flow value that bypasses the if-stmt

Returns:

true if the Val fact shall be killed

getPhiVals

public abstract Collection<Val> getPhiVals()

getArrayBase

public abstract Pair<Val,Integer> getArrayBase()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getStartLineNumber

public abstract int getStartLineNumber()

getStartColumnNumber

public abstract int getStartColumnNumber()

getEndLineNumber

public abstract int getEndLineNumber()

getEndColumnNumber

public abstract int getEndColumnNumber()

isCatchStmt

public abstract boolean isCatchStmt()

accepts

public boolean accepts(wpds.interfaces.Location other)

Specified by:

accepts in interface wpds.interfaces.Location