|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.visitor.AbstractDetector
public abstract class AbstractDetector
A depth first detector. Subclasses should override the
methods in which detection is performed to return TRUE.
For example, a Variable detector could be implemented
simply by subclassing this implementation and overriding
the visit(Variable)
method to return TRUE.
cached: set Node // result of visiting these nodes will be cached |
cache: Node -> lone Boolean |
cached in cache.Node |
Method Summary | |
---|---|
java.lang.Boolean |
visit(BinaryExpression binExpr)
Calls lookup(binExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(BinaryFormula binFormula)
Calls lookup(binFormula) and returns the cached value, if any. |
java.lang.Boolean |
visit(BinaryIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(ComparisonFormula compFormula)
Calls lookup(compFormula) and returns the cached value, if any. |
java.lang.Boolean |
visit(Comprehension comprehension)
Calls lookup(comprehension) and returns the cached value, if any. |
java.lang.Boolean |
visit(ConstantExpression constExpr)
Returns FALSE. |
java.lang.Boolean |
visit(ConstantFormula constant)
Returns FALSE. |
java.lang.Boolean |
visit(Decl decl)
Calls lookup(decl) and returns the cached value, if any. |
java.lang.Boolean |
visit(Decls decls)
Calls lookup(decls) and returns the cached value, if any. |
java.lang.Boolean |
visit(ExprToIntCast intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(IfExpression ifExpr)
Calls lookup(ifExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(IfIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(IntComparisonFormula intComp)
Calls lookup(intComp) and returns the cached value, if any. |
java.lang.Boolean |
visit(IntConstant intConst)
Returns FALSE. |
java.lang.Boolean |
visit(IntToExprCast castExpr)
Calls lookup(castExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(MultiplicityFormula multFormula)
Calls lookup(multFormula) and returns the cached value, if any. |
java.lang.Boolean |
visit(NotFormula not)
Calls lookup(not) and returns the cached value, if any. |
java.lang.Boolean |
visit(ProjectExpression project)
Calls lookup(project) and returns the cached value, if any. |
java.lang.Boolean |
visit(QuantifiedFormula quantFormula)
Calls lookup(quantFormula) and returns the cached value, if any. |
java.lang.Boolean |
visit(Relation relation)
Returns FALSE. |
java.lang.Boolean |
visit(RelationPredicate predicate)
Calls lookup(predicate) and returns the cached value, if any. |
java.lang.Boolean |
visit(SumExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(UnaryExpression unaryExpr)
Calls lookup(unaryExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(UnaryIntExpression intExpr)
Calls lookup(intExpr) and returns the cached value, if any. |
java.lang.Boolean |
visit(Variable variable)
Returns FALSE. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public java.lang.Boolean visit(Decls decls)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(Decl decl)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(Relation relation)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(Variable variable)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(ConstantExpression constExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(BinaryExpression binExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(UnaryExpression unaryExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(Comprehension comprehension)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(IfExpression ifExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(ProjectExpression project)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(IntToExprCast castExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(IntConstant intConst)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(IfIntExpression intExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(ExprToIntCast intExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(BinaryIntExpression intExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(UnaryIntExpression intExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(SumExpression intExpr)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(IntComparisonFormula intComp)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(QuantifiedFormula quantFormula)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(BinaryFormula binFormula)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(NotFormula not)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(ConstantFormula constant)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(ComparisonFormula compFormula)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(MultiplicityFormula multFormula)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
public java.lang.Boolean visit(RelationPredicate predicate)
visit
in interface ReturnVisitor<java.lang.Boolean,java.lang.Boolean,java.lang.Boolean,java.lang.Boolean>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |