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