soot.dava.internal.AST

Class ASTBinaryCondition

java.lang.Object

soot.dava.internal.AST.ASTCondition

soot.dava.internal.AST.ASTUnaryBinaryCondition

soot.dava.internal.AST.ASTBinaryCondition

public class ASTBinaryCondition
extends ASTUnaryBinaryCondition

Constructor Summary

Constructors

Constructor and Description
ASTBinaryCondition(ConditionExpr condition)

Method Summary

Modifier and Type	Method and Description
void	apply(Analysis a)
void	flip()
ConditionExpr	getConditionExpr()
boolean	isNotted()
java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.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