soot.dava.internal.javaRep

Class DNotExpr

java.lang.Object

soot.jimple.internal.AbstractUnopExpr

soot.dava.internal.javaRep.DNotExpr

All Implemented Interfaces:

java.io.Serializable, EquivTo, Expr, UnopExpr, Switchable, Value

public class DNotExpr
extends AbstractUnopExpr

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DNotExpr(Value op)

Method Summary

Methods

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)

Methods inherited from class soot.jimple.internal.AbstractUnopExpr

getOp, getOpBox, getUseBoxes, setOp

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DNotExpr

public DNotExpr(Value op)

Method Detail

clone

public java.lang.Object clone()

Description copied from interface: Value

Returns a clone of this Value.

Specified by:

clone in interface Value

Specified by:

clone in class AbstractUnopExpr

toString

public void toString(UnitPrinter up)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getType

public Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

apply

public void apply(Switch sw)

Description copied from interface: Switchable

Called when this object is visited.

equivTo

public boolean equivTo(java.lang.Object o)

Compares the specified object with this one for structural equality.

equivHashCode

public int equivHashCode()

Returns a hash code for this object, consistent with structural equality.