soot.dava.internal.AST

Class ASTAndCondition

java.lang.Object

soot.dava.internal.AST.ASTCondition

soot.dava.internal.AST.ASTAggregatedCondition

soot.dava.internal.AST.ASTAndCondition

public class ASTAndCondition
extends ASTAggregatedCondition

Constructor Summary

Constructors

Constructor and Description
ASTAndCondition(ASTCondition left, ASTCondition right)

Method Summary

Modifier and Type	Method and Description
void	apply(Analysis a)
java.lang.String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.dava.internal.AST.ASTAggregatedCondition

flip, getLeftOp, getRightOp, isNotted, setLeftOp, setRightOp

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTAndCondition

public ASTAndCondition(ASTCondition left,
                       ASTCondition right)

Method Detail

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