boomerang.scene.jimple

Class JimpleVal

java.lang.Object

boomerang.scene.Val

boomerang.scene.jimple.JimpleVal

Direct Known Subclasses:

JimpleDoubleVal

public class JimpleVal
extends Val

Field Summary

Fields inherited from class boomerang.scene.Val

m, unbalancedStmt

Constructor Summary

Constructors

Modifier	Constructor and Description
	JimpleVal(soot.Value v, Method m)
protected	JimpleVal(soot.Value v, Method m, ControlFlowGraph.Edge unbalanced)

Method Summary

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

Methods inherited from class boomerang.scene.Val

isConstant, isParameterLocal, isReturnLocal, isThisLocal, isUnbalanced, zero

Methods inherited from class java.lang.Object

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

Constructor Detail

JimpleVal

public JimpleVal(soot.Value v,
                 Method m)

JimpleVal

protected JimpleVal(soot.Value v,
                    Method m,
                    ControlFlowGraph.Edge unbalanced)

Method Detail

getType

public JimpleType getType()

Specified by:

getType in class Val

m

public Method m()

Overrides:

m in class Val

toString

public String toString()

Overrides:

toString in class Val

isStatic

public boolean isStatic()

Specified by:

isStatic in class Val

isNewExpr

public boolean isNewExpr()

Specified by:

isNewExpr in class Val

getNewExprType

public Type getNewExprType()

Specified by:

getNewExprType in class Val

asUnbalanced

public Val asUnbalanced(ControlFlowGraph.Edge stmt)

Specified by:

asUnbalanced 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

isInstanceFieldRef

public boolean isInstanceFieldRef()

isStaticFieldRef

public boolean isStaticFieldRef()

getStaticField

public StaticFieldVal getStaticField()

isArrayRef

public boolean isArrayRef()

Specified by:

isArrayRef in class Val

getArrayBase

public Pair<Val,Integer> getArrayBase()

Specified by:

getArrayBase 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

getIntValue

public int getIntValue()

Specified by:

getIntValue in class Val

isLongConstant

public boolean isLongConstant()

Specified by:

isLongConstant in class Val

getLongValue

public long getLongValue()

Specified by:

getLongValue 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

withSecondVal

public Val withSecondVal(Val leftOp)

Overrides:

withSecondVal in class Val

hashCode

public int hashCode()

Overrides:

hashCode in class Val

equals

public boolean equals(Object obj)

Overrides:

equals in class Val

getDelegate

public soot.Value getDelegate()

getVariableName

public String getVariableName()

Specified by:

getVariableName in class Val