kodkod.ast.visitor
Interface VoidVisitor

All Known Implementing Classes:
AbstractVoidVisitor

public interface VoidVisitor

A visitor that visits every node in the AST.

Author:
Emina Torlak

Method Summary
 void visit(BinaryExpression binExpr)
          Visits the given binary expression.
 void visit(BinaryFormula binFormula)
          Visits the given binary formula.
 void visit(BinaryIntExpression intExpr)
          Visits the given binary integer expression.
 void visit(ComparisonFormula compFormula)
          Visits the given comparison formula.
 void visit(Comprehension comprehension)
          Visits the given comprehension.
 void visit(ConstantExpression constExpr)
          Visits the given constant expression.
 void visit(ConstantFormula constant)
          Visits the given constant formula.
 void visit(Decl decl)
          Visits the given declaration.
 void visit(Decls decls)
          Visits the given sequence of declarations.
 void visit(ExprToIntCast intExpr)
          Visits the given unary integer expression.
 void visit(IfExpression ifExpr)
          Visits the given if-then expression.
 void visit(IfIntExpression intExpr)
          Visits the given if-int-expression.
 void visit(IntComparisonFormula intComp)
          Visits the given integer comparison formula.
 void visit(IntConstant intConst)
          Visits the given integer constant.
 void visit(IntToExprCast castExpr)
          Visits the given integer cast expression.
 void visit(MultiplicityFormula multFormula)
          Visits the given multiplicity formula.
 void visit(NotFormula not)
          Visits the given negation.
 void visit(ProjectExpression project)
          Visits the given projection expression.
 void visit(QuantifiedFormula quantFormula)
          Visits the given quantified formula.
 void visit(Relation relation)
          Visits the given relation.
 void visit(RelationPredicate predicate)
          Visits the given relation predicate.
 void visit(SumExpression intExpr)
          Visits the given sum expression.
 void visit(UnaryExpression unaryExpr)
          Visits the given unary expression.
 void visit(UnaryIntExpression intExpr)
          Visits the given unary integer expression.
 void visit(Variable variable)
          Visits the given variable.
 

Method Detail

visit

void visit(Decls decls)
Visits the given sequence of declarations.


visit

void visit(Decl decl)
Visits the given declaration.


visit

void visit(Relation relation)
Visits the given relation.


visit

void visit(Variable variable)
Visits the given variable.


visit

void visit(ConstantExpression constExpr)
Visits the given constant expression.


visit

void visit(BinaryExpression binExpr)
Visits the given binary expression.


visit

void visit(UnaryExpression unaryExpr)
Visits the given unary expression.


visit

void visit(Comprehension comprehension)
Visits the given comprehension.


visit

void visit(IfExpression ifExpr)
Visits the given if-then expression.


visit

void visit(ProjectExpression project)
Visits the given projection expression.


visit

void visit(IntToExprCast castExpr)
Visits the given integer cast expression.


visit

void visit(IntConstant intConst)
Visits the given integer constant.


visit

void visit(ExprToIntCast intExpr)
Visits the given unary integer expression.


visit

void visit(IfIntExpression intExpr)
Visits the given if-int-expression.


visit

void visit(BinaryIntExpression intExpr)
Visits the given binary integer expression.


visit

void visit(UnaryIntExpression intExpr)
Visits the given unary integer expression.


visit

void visit(SumExpression intExpr)
Visits the given sum expression.


visit

void visit(IntComparisonFormula intComp)
Visits the given integer comparison formula.


visit

void visit(QuantifiedFormula quantFormula)
Visits the given quantified formula.


visit

void visit(BinaryFormula binFormula)
Visits the given binary formula.


visit

void visit(NotFormula not)
Visits the given negation.


visit

void visit(ConstantFormula constant)
Visits the given constant formula.


visit

void visit(ComparisonFormula compFormula)
Visits the given comparison formula.


visit

void visit(MultiplicityFormula multFormula)
Visits the given multiplicity formula.


visit

void visit(RelationPredicate predicate)
Visits the given relation predicate.