soot.dava.internal.AST

Class ASTCondition

java.lang.Object

soot.dava.internal.AST.ASTCondition

Direct Known Subclasses:

ASTAggregatedCondition, ASTUnaryBinaryCondition

public abstract class ASTCondition
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ASTCondition()

Method Summary

Modifier and Type	Method and Description
abstract void	apply(Analysis a)
abstract void	flip()
abstract boolean	isNotted()
abstract void	toString(UnitPrinter up)

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTCondition

public ASTCondition()

Method Detail

apply

public abstract void apply(Analysis a)

toString

public abstract void toString(UnitPrinter up)

flip

public abstract void flip()

isNotted

public abstract boolean isNotted()