Package 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 Description ASTBinaryCondition(ConditionExpr condition)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidapply(Analysis a)voidflip()ConditionExprgetConditionExpr()booleanisNotted()StringtoString()voidtoString(UnitPrinter up)
-
-
-
Constructor Detail
-
ASTBinaryCondition
public ASTBinaryCondition(ConditionExpr condition)
-
-
Method Detail
-
getConditionExpr
public ConditionExpr getConditionExpr()
-
apply
public void apply(Analysis a)
- Specified by:
applyin classASTCondition
-
toString
public void toString(UnitPrinter up)
- Specified by:
toStringin classASTCondition
-
flip
public void flip()
- Specified by:
flipin classASTCondition
-
isNotted
public boolean isNotted()
- Specified by:
isNottedin classASTCondition
-
-