public abstract class AbstractInstanceOfExpr extends java.lang.Object implements InstanceOfExpr
Modifier | Constructor and Description |
---|---|
protected |
AbstractInstanceOfExpr(ValueBox opBox,
Type checkType) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw)
Called when this object is visited.
|
abstract java.lang.Object |
clone()
Returns a clone of this Value.
|
int |
equivHashCode()
Returns a hash code for this object, consistent with structural equality.
|
boolean |
equivTo(java.lang.Object o)
Returns true if this object is equivalent to o.
|
Type |
getCheckType() |
Value |
getOp() |
ValueBox |
getOpBox() |
Type |
getType()
Returns the Soot type of this Value.
|
java.util.List<ValueBox> |
getUseBoxes()
Returns a List of boxes corresponding to Values
which are used by (ie contained within) this Value.
|
void |
setCheckType(Type checkType) |
void |
setOp(Value op) |
java.lang.String |
toString() |
void |
toString(UnitPrinter up) |
public boolean equivTo(java.lang.Object o)
EquivTo
public int equivHashCode()
equivHashCode
in interface EquivTo
public abstract java.lang.Object clone()
Value
public java.lang.String toString()
toString
in class java.lang.Object
public void toString(UnitPrinter up)
public Value getOp()
getOp
in interface InstanceOfExpr
public void setOp(Value op)
setOp
in interface InstanceOfExpr
public ValueBox getOpBox()
getOpBox
in interface InstanceOfExpr
public final java.util.List<ValueBox> getUseBoxes()
Value
getUseBoxes
in interface Value
public Type getType()
Value
getType
in interface InstanceOfExpr
getType
in interface Value
public Type getCheckType()
getCheckType
in interface InstanceOfExpr
public void setCheckType(Type checkType)
setCheckType
in interface InstanceOfExpr
public void apply(Switch sw)
Switchable
apply
in interface InstanceOfExpr
apply
in interface Switchable