boomerang.scene.wala

Class WALAVal

java.lang.Object

boomerang.scene.Val

boomerang.scene.wala.WALAVal

Direct Known Subclasses:

WALADummyVal

public class WALAVal
extends Val

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	WALAVal.OP

Field Summary

Fields

Modifier and Type	Field and Description
protected WALAMethod	method

Fields inherited from class boomerang.scene.Val

m, unbalancedStmt

Constructor Summary

Constructors

Constructor and Description
WALAVal(int programCounter, WALAMethod method)
WALAVal(int programCounter, WALAMethod method, ControlFlowGraph.Edge unbalanced)
WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite, WALAMethod method)
WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite, WALAMethod method, ControlFlowGraph.Edge unbalanced) WALAVal representing a new allocation site statement
WALAVal(com.ibm.wala.ssa.SSAInstruction delegate, WALAVal.OP op, WALAMethod method)
WALAVal(com.ibm.wala.ssa.SSAInstruction delegate, WALAVal.OP op, WALAMethod method, ControlFlowGraph.Edge unbalanced) Dummy WALAVal to represent right hand side of any instruction for instance of a phi val or of an assining call statement.

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()
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

Field Detail

method

protected final WALAMethod method

Constructor Detail

WALAVal

public WALAVal(int programCounter,
               WALAMethod method)

WALAVal

public WALAVal(int programCounter,
               WALAMethod method,
               ControlFlowGraph.Edge unbalanced)

WALAVal

public WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite,
               WALAMethod method,
               ControlFlowGraph.Edge unbalanced)

WALAVal representing a new allocation site statement

Parameters:

newSite -

method -

WALAVal

public WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite,
               WALAMethod method)

WALAVal

public WALAVal(com.ibm.wala.ssa.SSAInstruction delegate,
               WALAVal.OP op,
               WALAMethod method,
               ControlFlowGraph.Edge unbalanced)

Dummy WALAVal to represent right hand side of any instruction for instance of a phi val or of an assining call statement.

Parameters:

delegate -

method -

WALAVal

public WALAVal(com.ibm.wala.ssa.SSAInstruction delegate,
               WALAVal.OP op,
               WALAMethod method)

Method Detail

getType

public Type getType()

Specified by:

getType 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

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

toString

public String toString()

Overrides:

toString 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