kodkod.ast.visitor
Interface ReturnVisitor<E,F,D,I>

All Known Implementing Classes:
AbstractCollector, AbstractDetector, AbstractReplacer

public interface ReturnVisitor<E,F,D,I>

A visitor that visits every node in the AST, returning some value for each. The methods that visit an expression, formula, declarations, and integer expression and return values of types E, F, D, and I respectively.

Author:
Emina Torlak

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

Method Detail

visit

D visit(Decls decls)
Visits the given sequence of declarations and returns the result.

Returns:
the result of visiting decls

visit

D visit(Decl decl)
Visits the given declaration and returns the result.

Returns:
the result of visiting decl

visit

E visit(Relation relation)
Visits the given relation and returns the result.

Returns:
the result of visiting relation

visit

E visit(Variable variable)
Visits the given variable and returns the result.

Returns:
the result of visiting variable

visit

E visit(ConstantExpression constExpr)
Visits the given constant expression and returns the result.

Returns:
the result of visiting constExpr

visit

E visit(BinaryExpression binExpr)
Visits the given binary expression and returns the result.

Returns:
the result of visiting binExpr

visit

E visit(UnaryExpression unaryExpr)
Visits the given unary expression and returns the result.

Returns:
the result of visiting unaryExpr

visit

E visit(Comprehension comprehension)
Visits the given comprehension and returns the result.

Returns:
the result of visiting comprehension

visit

E visit(IfExpression ifExpr)
Visits the given if-then expression and returns the result.

Returns:
the result of visiting ifExpr

visit

E visit(ProjectExpression project)
Visits the given projection expression and returns the result.

Returns:
the result of visiting project

visit

E visit(IntToExprCast castExpr)
Visits the given cast expression expression and returns the result.

Returns:
the result of visiting castExpr

visit

I visit(IntConstant intConst)
Visits the given integer constant and returns the result.

Returns:
the result of visiting intConst

visit

I visit(IfIntExpression intExpr)
Visits the given if-int-expression and returns the result.

Returns:
the result of visiting intExpr

visit

I visit(ExprToIntCast intExpr)
Visits the given unary integer expression and returns the result.

Returns:
the result of visiting intExpr

visit

I visit(BinaryIntExpression intExpr)
Visits the given binary integer expression and returns the result.

Returns:
the result of visiting intExpr

visit

I visit(UnaryIntExpression intExpr)
Visits the given unary integer expression and returns the result.

Returns:
the result of visiting intExpr

visit

I visit(SumExpression intExpr)
Visits the given sum expression and returns the result.

Returns:
the result of visiting intExpr

visit

F visit(IntComparisonFormula intComp)
Visits the given integer comparison formula and returns the result.

Returns:
the result of visiting intcomp

visit

F visit(QuantifiedFormula quantFormula)
Visits the given quantified formula and returns the result.

Returns:
the result of visiting quantFormula

visit

F visit(BinaryFormula binFormula)
Visits the given binary formula and returns the result.

Returns:
the result of visiting binFormula

visit

F visit(NotFormula not)
Visits the given negation and returns the result.

Returns:
the result of visiting not

visit

F visit(ConstantFormula constant)
Visits the given constant formula and returns the result.

Returns:
the result of visiting constant

visit

F visit(ComparisonFormula compFormula)
Visits the given comparison formula and returns the result.

Returns:
the result of visiting compFormula

visit

F visit(MultiplicityFormula multFormula)
Visits the given multiplicity formula and returns the result.

Returns:
the result of visiting multFormula

visit

F visit(RelationPredicate predicate)
Visits the given relation predicate and returns the result.

Returns:
the result of visiting predicate