|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.visitor.DepthFirstVoidVisitor
public abstract class DepthFirstVoidVisitor
Implements a depth first traversal of the kodkod AST.
Method Summary | |
---|---|
void |
visit(BinaryExpression binExpr)
Visits the left and right subexpressions if this.visited(binExpr) returns false. |
void |
visit(BinaryFormula binFormula)
Visits the left and right children if this.visited(binFormula) returns false. |
void |
visit(BinaryIntExpression intExpr)
Visits the children of the given integer expression if this.visited(intExpr) returns false. |
void |
visit(ComparisonFormula compFormula)
Visits the left and right children if this.visited(compFormula) returns false. |
void |
visit(Comprehension comprehension)
Visits the declarations and the formula if this.visited(comprehension) returns false. |
void |
visit(ConstantExpression constExpr)
Does nothing. |
void |
visit(ConstantFormula constant)
Does nothing. |
void |
visit(Decl decl)
Visits the variable and expression of this decl if this.visited(decl) returns false. |
void |
visit(Decls decls)
Visits all the children of the given declarations node if this.visited(decls) returns false. |
void |
visit(ExprToIntCast intExpr)
Visits intExpr.expression if this.visited(intExpr) returns false. |
void |
visit(IfExpression ifExpr)
Visits the if-condition, the then-expression, and the else-expression if this.visited(ifExpr) returns false. |
void |
visit(IfIntExpression intExpr)
Visits the if-condition, the then-expression, and the else-expression if this.visited(intExpr) returns false. |
void |
visit(IntComparisonFormula intComp)
Visits the children of the given integer comparison formula if this.visited(intComp) returns false. |
void |
visit(IntConstant intConst)
Does nothing. |
void |
visit(IntToExprCast castExpr)
Visits castExpr.intExpr if this.visited(castExpr) returns false. |
void |
visit(MultiplicityFormula multFormula)
Visits the formula if this.visited(multFormula) returns false. |
void |
visit(NotFormula not)
Visits the subformula if this.visited(not) returns false. |
void |
visit(ProjectExpression project)
Visits project.expression and project.columns if this.visited(project) returns false. |
void |
visit(QuantifiedFormula quantFormula)
Visits the declarations and the formula if this.visited(quantFormula) returns false. |
void |
visit(Relation relation)
Does nothing. |
void |
visit(RelationPredicate pred)
Visits the children of the predicate if this.visited(pred) returns false. |
void |
visit(SumExpression intExpr)
Visits the children of the given sum expression if this.visited(intExpr) returns false. |
void |
visit(UnaryExpression unaryExpr)
Visits the subexpression if this.visited(unaryExpr) returns false. |
void |
visit(Variable variable)
Does nothing. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public void visit(Decls decls)
visit
in interface VoidVisitor
all d: declarations.declarations | d.variable.accept(this) && d.expression.accept(this) |
public void visit(Decl decl)
visit
in interface VoidVisitor
decl.variable.accept(this) && decl.expression.accept(this) |
public void visit(Relation relation)
visit
in interface VoidVisitor
public void visit(Variable variable)
visit
in interface VoidVisitor
public void visit(ConstantExpression constExpr)
visit
in interface VoidVisitor
public void visit(BinaryExpression binExpr)
visit
in interface VoidVisitor
binExpr.left.accept(this) && binExpr.right.accept(this) |
public void visit(UnaryExpression unaryExpr)
visit
in interface VoidVisitor
unaryExpr.expression.accept(this) |
public void visit(Comprehension comprehension)
visit
in interface VoidVisitor
comprehension.declarations.accept(this) && comprehension.formula.accept(this) |
public void visit(IfExpression ifExpr)
visit
in interface VoidVisitor
ifExpr.condition.accept(this) && ifExpr.thenExpr.accept(this) &&
ifExpr.elseExpr.accept(this) |
public void visit(ProjectExpression project)
visit
in interface VoidVisitor
project.expression.accept(this) && all i: project.arity | project.columns[i].accept(this) |
public void visit(IntToExprCast castExpr)
visit
in interface VoidVisitor
castExpr.expression.accept(this) |
public void visit(IntConstant intConst)
visit
in interface VoidVisitor
public void visit(IfIntExpression intExpr)
visit
in interface VoidVisitor
intExpr.condition.accept(this) && intExpr.thenExpr.accept(this) &&
intExpr.elseExpr.accept(this) |
public void visit(ExprToIntCast intExpr)
visit
in interface VoidVisitor
intExpr.expression.accept(this) |
public void visit(BinaryIntExpression intExpr)
visit
in interface VoidVisitor
intExpr.left.accept(this) && intExpr.right.accept(this) |
public void visit(SumExpression intExpr)
visit
in interface VoidVisitor
intExpr.decls.accept(this) && intExpr.intExpr.accept(this) |
public void visit(IntComparisonFormula intComp)
visit
in interface VoidVisitor
intComp.left.accept(this) && intComp.right.accept(this) |
public void visit(QuantifiedFormula quantFormula)
visit
in interface VoidVisitor
quantFormula.declarations.accept(this) && quantFormula.formula.accept(this) |
public void visit(BinaryFormula binFormula)
visit
in interface VoidVisitor
binFormula.left.accept(this) && binFormula.right.accept(this) |
public void visit(NotFormula not)
visit
in interface VoidVisitor
not.formula.accept(this) |
public void visit(ConstantFormula constant)
visit
in interface VoidVisitor
public void visit(ComparisonFormula compFormula)
visit
in interface VoidVisitor
compFormula.left.accept(this) && compFormula.right.accept(this) |
public void visit(MultiplicityFormula multFormula)
visit
in interface VoidVisitor
multFormula.expression.accept(this) |
public void visit(RelationPredicate pred)
visit
in interface VoidVisitor
pred.relation.accept(this) &&
(pred.name = FUNCTION => pred.domain.accept(this) && pred.range.accept(this)) &&
(pred.name = TOTAL_ORDERING =>
pred.ordered.accept(this) && pred.first.accept(this) && pred.last.accept(this) ) |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |