soot.dava.internal.AST
Class ASTCondition

java.lang.Object
  soot.dava.internal.AST.ASTCondition

Direct Known Subclasses:

ASTAggregatedCondition, ASTUnaryBinaryCondition

public abstract class ASTCondition
extends Object

Constructor Summary

ASTCondition()

Method Summary

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()