boomerang.scene.jimple

Class JimpleStaticFieldVal

java.lang.Object

boomerang.scene.Val

boomerang.scene.StaticFieldVal

boomerang.scene.jimple.JimpleStaticFieldVal

public class JimpleStaticFieldVal
extends StaticFieldVal

Field Summary

Fields inherited from class boomerang.scene.Val

m, unbalancedStmt

Constructor Summary

Constructors

Constructor and Description
JimpleStaticFieldVal(JimpleField field, Method m)

Method Summary

Modifier and Type	Method and Description
Val	asUnbalanced(ControlFlowGraph.Edge stmt)
boolean	equals(Object obj)
Field	field()
Pair<Val,Integer>	getArrayBase()
Val	getCastOp()
Type	getClassConstantType()
Val	getInstanceOfOp()
int	getIntValue()
Val	getLengthOp()
long	getLongValue()
Type	getNewExprType()
String	getStringValue()
Type	getType()
String	getVariableName()
int	hashCode()
boolean	isArrayAllocationVal()
boolean	isArrayRef()
boolean	isCast()
boolean	isClassConstant()
boolean	isInstanceOfExpr()
boolean	isIntConstant()
boolean	isLengthExpr()
boolean	isLocal()
boolean	isLongConstant()
boolean	isNewExpr()
boolean	isNull()
boolean	isStatic()
boolean	isStringBufferOrBuilder()
boolean	isStringConstant()
boolean	isThrowableAllocationType()
String	toString()
Val	withNewMethod(Method callee)

Methods inherited from class boomerang.scene.Val

isConstant, isParameterLocal, isReturnLocal, isThisLocal, isUnbalanced, m, withSecondVal, zero

Methods inherited from class java.lang.Object

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

Constructor Detail

JimpleStaticFieldVal

public JimpleStaticFieldVal(JimpleField field,
                            Method m)

Method Detail

isStatic

public boolean isStatic()

Specified by:

isStatic in class Val

toString

public String toString()

Overrides:

toString in class Val

field

public Field field()

Specified by:

field in class StaticFieldVal

asUnbalanced

public Val asUnbalanced(ControlFlowGraph.Edge stmt)

Specified by:

asUnbalanced in class StaticFieldVal

getType

public Type getType()

Specified by:

getType in class Val

isNewExpr

public boolean isNewExpr()

Specified by:

isNewExpr in class Val

getNewExprType

public Type getNewExprType()

Specified by:

getNewExprType in class Val

isLocal

public boolean isLocal()

Specified by:

isLocal in class Val

isArrayAllocationVal

public boolean isArrayAllocationVal()

Specified by:

isArrayAllocationVal in class Val

isNull

public boolean isNull()

Specified by:

isNull in class Val

isStringConstant

public boolean isStringConstant()

Specified by:

isStringConstant in class Val

getStringValue

public String getStringValue()

Specified by:

getStringValue in class Val

isStringBufferOrBuilder

public boolean isStringBufferOrBuilder()

Specified by:

isStringBufferOrBuilder in class Val

isThrowableAllocationType

public boolean isThrowableAllocationType()

Specified by:

isThrowableAllocationType in class Val

isCast

public boolean isCast()

Specified by:

isCast in class Val

getCastOp

public Val getCastOp()

Specified by:

getCastOp in class Val

isArrayRef

public boolean isArrayRef()

Specified by:

isArrayRef in class Val

isInstanceOfExpr

public boolean isInstanceOfExpr()

Specified by:

isInstanceOfExpr in class Val

getInstanceOfOp

public Val getInstanceOfOp()

Specified by:

getInstanceOfOp in class Val

isLengthExpr

public boolean isLengthExpr()

Specified by:

isLengthExpr in class Val

getLengthOp

public Val getLengthOp()

Specified by:

getLengthOp in class Val

isIntConstant

public boolean isIntConstant()

Specified by:

isIntConstant in class Val

isClassConstant

public boolean isClassConstant()

Specified by:

isClassConstant in class Val

getClassConstantType

public Type getClassConstantType()

Specified by:

getClassConstantType in class Val

withNewMethod

public Val withNewMethod(Method callee)

Specified by:

withNewMethod in class Val

hashCode

public int hashCode()

Overrides:

hashCode in class Val

equals

public boolean equals(Object obj)

Overrides:

equals in class Val

isLongConstant

public boolean isLongConstant()

Specified by:

isLongConstant in class Val

getIntValue

public int getIntValue()

Specified by:

getIntValue in class Val

getLongValue

public long getLongValue()

Specified by:

getLongValue in class Val

getArrayBase

public Pair<Val,Integer> getArrayBase()

Specified by:

getArrayBase in class Val

getVariableName

public String getVariableName()

Specified by:

getVariableName in class Val