public class DNotExpr extends AbstractUnopExpr
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw)
Called when this object is visited.
|
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)
Compares the specified object with this one for structural equality.
|
Type |
getType()
Returns the Soot type of this Value.
|
java.lang.String |
toString() |
void |
toString(UnitPrinter up) |
getOp, getOpBox, getUseBoxes, setOp
public DNotExpr(Value op)
public java.lang.Object clone()
Value
clone
in interface Value
clone
in class AbstractUnopExpr
public void toString(UnitPrinter up)
public java.lang.String toString()
toString
in class java.lang.Object
public Type getType()
Value
public void apply(Switch sw)
Switchable
public boolean equivTo(java.lang.Object o)
public int equivHashCode()