|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface VoidVisitor
A visitor that visits every node in the AST.
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 |
---|
void visit(Decls decls)
void visit(Decl decl)
void visit(Relation relation)
void visit(Variable variable)
void visit(ConstantExpression constExpr)
void visit(BinaryExpression binExpr)
void visit(UnaryExpression unaryExpr)
void visit(Comprehension comprehension)
void visit(IfExpression ifExpr)
void visit(ProjectExpression project)
void visit(IntToExprCast castExpr)
void visit(IntConstant intConst)
void visit(ExprToIntCast intExpr)
void visit(IfIntExpression intExpr)
void visit(BinaryIntExpression intExpr)
void visit(UnaryIntExpression intExpr)
void visit(SumExpression intExpr)
void visit(IntComparisonFormula intComp)
void visit(QuantifiedFormula quantFormula)
void visit(BinaryFormula binFormula)
void visit(NotFormula not)
void visit(ConstantFormula constant)
void visit(ComparisonFormula compFormula)
void visit(MultiplicityFormula multFormula)
void visit(RelationPredicate predicate)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |