boomerang.jimple

Class Val

java.lang.Object

boomerang.jimple.Val

Direct Known Subclasses:

AllocVal, StaticFieldVal, ValWithFalseVariable

public class Val
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected soot.SootMethod	m
protected Statement	unbalancedStmt

Constructor Summary

Constructors

Modifier	Constructor and Description
	Val(soot.Value v, soot.SootMethod m)
protected	Val(soot.Value v, soot.SootMethod m, Statement unbalanced)

Method Summary

Modifier and Type	Method and Description
Val	asUnbalanced(Statement stmt)
boolean	equals(Object obj)
soot.Type	getType()
int	hashCode()
boolean	isNewExpr()
boolean	isStatic()
boolean	isUnbalanced()
soot.SootMethod	m()
String	toString()
soot.Value	value()
static Val	zero()

Methods inherited from class java.lang.Object

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

Field Detail

m

protected final soot.SootMethod m

unbalancedStmt

protected final Statement unbalancedStmt

Constructor Detail

Val

public Val(soot.Value v,
           soot.SootMethod m)

Val

protected Val(soot.Value v,
              soot.SootMethod m,
              Statement unbalanced)

Method Detail

value

public soot.Value value()

getType

public soot.Type getType()

m

public soot.SootMethod m()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

zero

public static Val zero()

isStatic

public boolean isStatic()

isNewExpr

public boolean isNewExpr()

isUnbalanced

public boolean isUnbalanced()

asUnbalanced

public Val asUnbalanced(Statement stmt)