|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
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 |
---|
D visit(Decls decls)
decls
D visit(Decl decl)
decl
E visit(Relation relation)
relation
E visit(Variable variable)
variable
E visit(ConstantExpression constExpr)
constExpr
E visit(BinaryExpression binExpr)
binExpr
E visit(UnaryExpression unaryExpr)
unaryExpr
E visit(Comprehension comprehension)
comprehension
E visit(IfExpression ifExpr)
ifExpr
E visit(ProjectExpression project)
project
E visit(IntToExprCast castExpr)
castExpr
I visit(IntConstant intConst)
intConst
I visit(IfIntExpression intExpr)
intExpr
I visit(ExprToIntCast intExpr)
intExpr
I visit(BinaryIntExpression intExpr)
intExpr
I visit(UnaryIntExpression intExpr)
intExpr
I visit(SumExpression intExpr)
intExpr
F visit(IntComparisonFormula intComp)
intcomp
F visit(QuantifiedFormula quantFormula)
quantFormula
F visit(BinaryFormula binFormula)
binFormula
F visit(NotFormula not)
not
F visit(ConstantFormula constant)
constant
F visit(ComparisonFormula compFormula)
compFormula
F visit(MultiplicityFormula multFormula)
multFormula
F visit(RelationPredicate predicate)
predicate
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |