boomerang.scene

Class AllocVal

java.lang.Object

boomerang.scene.Val

boomerang.scene.AllocVal

public class AllocVal
extends Val

Field Summary

Fields inherited from class boomerang.scene.Val

m, unbalancedStmt

Constructor Summary

Constructors

Constructor and Description
AllocVal(Val delegate, Statement allocStatement, Val allocationVal)

Method Summary

Modifier and Type	Method and Description
Val	asUnbalanced(ControlFlowGraph.Edge stmt)
boolean	equals(Object obj)
Val	getAllocVal()
Pair<Val,Integer>	getArrayBase()
Val	getCastOp()
Type	getClassConstantType()
Val	getDelegate()
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()
boolean	isUnbalanced()
Method	m()
String	toString()
Val	withNewMethod(Method callee)
Val	withSecondVal(Val leftOp)

Methods inherited from class boomerang.scene.Val

isConstant, isParameterLocal, isReturnLocal, isThisLocal, zero

Methods inherited from class java.lang.Object

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

Constructor Detail

AllocVal

public AllocVal(Val delegate,
                Statement allocStatement,
                Val allocationVal)

Method Detail

getType

public Type 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

isUnbalanced

public boolean isUnbalanced()

Overrides:

isUnbalanced 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

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

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

getAllocVal

public Val getAllocVal()

getDelegate

public Val getDelegate()

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