soot.dava.internal.AST
Class ASTBinaryCondition

java.lang.Object
  extended bysoot.dava.internal.AST.ASTCondition
      extended bysoot.dava.internal.AST.ASTUnaryBinaryCondition
          extended bysoot.dava.internal.AST.ASTBinaryCondition

public class ASTBinaryCondition
extends ASTUnaryBinaryCondition


Constructor Summary
ASTBinaryCondition(ConditionExpr condition)
           
 
Method Summary
 void apply(Analysis a)
           
 void flip()
           
 ConditionExpr getConditionExpr()
           
 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

ASTBinaryCondition

public ASTBinaryCondition(ConditionExpr condition)
Method Detail

getConditionExpr

public ConditionExpr getConditionExpr()

apply

public void apply(Analysis a)
Specified by:
apply in class ASTCondition

toString

public String toString()

toString

public void toString(UnitPrinter up)
Specified by:
toString in class ASTCondition

flip

public void flip()
Specified by:
flip in class ASTCondition