soot.dava.internal.AST
Class ASTUnaryCondition

java.lang.Object
  soot.dava.internal.AST.ASTCondition
      soot.dava.internal.AST.ASTUnaryBinaryCondition
          soot.dava.internal.AST.ASTUnaryCondition

public class ASTUnaryCondition
extends ASTUnaryBinaryCondition

Constructor Summary

ASTUnaryCondition(Value value)

Method Summary

void	apply(Analysis a)
void	flip()
Value	getValue()
boolean	isNotted()
void	setValue(Value value)
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTUnaryCondition

public ASTUnaryCondition(Value value)

Method Detail

apply

public void apply(Analysis a)

Specified by:

apply in class ASTCondition

getValue

public Value getValue()

setValue

public void setValue(Value value)

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in class ASTCondition

flip

public void flip()

Specified by:

flip in class ASTCondition

isNotted

public boolean isNotted()

Specified by:

isNotted in class ASTCondition