Val (boomerangScope 3.1.2 API)

java.lang.Object
- boomerang.scene.Val

Direct Known Subclasses:

AllocVal, JimpleVal, StaticFieldVal
```
public abstract class Val
extends Object
```

Field Summary

Fields
Modifier and Type Field and Description

protected Method m

protected ControlFlowGraph.Edge unbalancedStmt

Fields
Modifier and Type	Field and Description
`protected Method`	`m`
`protected ControlFlowGraph.Edge`	`unbalancedStmt`

Constructor Summary

Constructors
Modifier Constructor and Description

protected Val()

protected Val(Method m)

protected Val(Method m, ControlFlowGraph.Edge unbalancedStmt)

Constructors
Modifier	Constructor and Description
`protected`	`Val()`
`protected`	`Val(Method m)`
`protected`	`Val(Method m, ControlFlowGraph.Edge unbalancedStmt)`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`abstract Val`	`asUnbalanced(ControlFlowGraph.Edge stmt)`
`boolean`	`equals(Object obj)`
`abstract Pair<Val,Integer>`	`getArrayBase()`
`abstract Val`	`getCastOp()`
`abstract Type`	`getClassConstantType()`
`abstract Val`	`getInstanceOfOp()`
`abstract int`	`getIntValue()`
`abstract Val`	`getLengthOp()`
`abstract long`	`getLongValue()`
`abstract Type`	`getNewExprType()`
`abstract String`	`getStringValue()`
`abstract Type`	`getType()`
`abstract String`	`getVariableName()`
`int`	`hashCode()`
`abstract boolean`	`isArrayAllocationVal()`
`abstract boolean`	`isArrayRef()`
`abstract boolean`	`isCast()`
`abstract boolean`	`isClassConstant()`
`boolean`	`isConstant()`
`abstract boolean`	`isInstanceOfExpr()`
`abstract boolean`	`isIntConstant()`
`abstract boolean`	`isLengthExpr()`
`abstract boolean`	`isLocal()`
`abstract boolean`	`isLongConstant()`
`abstract boolean`	`isNewExpr()`
`abstract boolean`	`isNull()`
`boolean`	`isParameterLocal(int i)`
`boolean`	`isReturnLocal()`
`abstract boolean`	`isStatic()`
`abstract boolean`	`isStringBufferOrBuilder()`
`abstract boolean`	`isStringConstant()`
`boolean`	`isThisLocal()`
`abstract boolean`	`isThrowableAllocationType()`
`boolean`	`isUnbalanced()`
`Method`	`m()`
`String`	`toString()`
`abstract Val`	`withNewMethod(Method callee)`
`Val`	`withSecondVal(Val leftOp)`
`static Val`	`zero()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

m
```
protected final Method m
```

unbalancedStmt

protected final ControlFlowGraph.Edge unbalancedStmt

Constructor Detail

Val
```
protected Val(Method m)
```

Val

protected Val(Method m,
              ControlFlowGraph.Edge unbalancedStmt)

Val
```
protected Val()
```

Method Detail

getType
```
public abstract Type getType()
```

m
```
public Method m()
```

toString
```
public String toString()
```
Overrides:

toString in class Object

zero
```
public static Val zero()
```

isStatic
```
public abstract boolean isStatic()
```

isNewExpr
```
public abstract boolean isNewExpr()
```

getNewExprType
```
public abstract Type getNewExprType()
```

isUnbalanced
```
public boolean isUnbalanced()
```

asUnbalanced

public abstract Val asUnbalanced(ControlFlowGraph.Edge stmt)

isLocal
```
public abstract boolean isLocal()
```

isArrayAllocationVal

public abstract boolean isArrayAllocationVal()

isNull
```
public abstract boolean isNull()
```

isStringConstant

public abstract boolean isStringConstant()

getStringValue

public abstract String getStringValue()

isStringBufferOrBuilder

public abstract boolean isStringBufferOrBuilder()

isThrowableAllocationType

public abstract boolean isThrowableAllocationType()

isCast
```
public abstract boolean isCast()
```

getCastOp
```
public abstract Val getCastOp()
```

isArrayRef
```
public abstract boolean isArrayRef()
```

isInstanceOfExpr

public abstract boolean isInstanceOfExpr()

getInstanceOfOp
```
public abstract Val getInstanceOfOp()
```

isLengthExpr

public abstract boolean isLengthExpr()

getLengthOp
```
public abstract Val getLengthOp()
```

isIntConstant

public abstract boolean isIntConstant()

isClassConstant

public abstract boolean isClassConstant()

getClassConstantType

public abstract Type getClassConstantType()

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object

withNewMethod

public abstract Val withNewMethod(Method callee)

withSecondVal
```
public Val withSecondVal(Val leftOp)
```

isLongConstant

public abstract boolean isLongConstant()

isConstant
```
public boolean isConstant()
```

getIntValue
```
public abstract int getIntValue()
```

getLongValue
```
public abstract long getLongValue()
```

getArrayBase

public abstract Pair<Val,Integer> getArrayBase()

isThisLocal
```
public boolean isThisLocal()
```

isReturnLocal
```
public boolean isReturnLocal()
```

isParameterLocal

public boolean isParameterLocal(int i)

getVariableName

public abstract String getVariableName()

Class Val

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

m

unbalancedStmt

Constructor Detail

Val

Val

Val

Method Detail

getType

m

toString

zero

isStatic

isNewExpr

getNewExprType

isUnbalanced

asUnbalanced

isLocal

isArrayAllocationVal

isNull

isStringConstant

getStringValue

isStringBufferOrBuilder

isThrowableAllocationType

isCast

getCastOp

isArrayRef

isInstanceOfExpr

getInstanceOfOp

isLengthExpr

getLengthOp

isIntConstant

isClassConstant

getClassConstantType

hashCode

equals

withNewMethod

withSecondVal

isLongConstant

isConstant

getIntValue

getLongValue

getArrayBase

isThisLocal

isReturnLocal

isParameterLocal

getVariableName