|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.program.ExpressionVisitor<T>
forge.transform.ExpressionDefaulter<T>
public abstract class ExpressionDefaulter<T>
Visitor where each visit method calls the default method.
Constructor Summary | |
---|---|
ExpressionDefaulter()
|
Method Summary | |
---|---|
protected abstract T |
defaultVisit(ForgeExpression expr)
|
protected T |
visit(BinaryExpression expr)
Visits a BinaryExpression. |
protected T |
visit(ConditionalExpression expr)
Visits a ConditionalExpression. |
protected T |
visit(ForgeLiteral expr)
Visits a ForgeConstant. |
protected T |
visit(ForgeType expr)
Visits a ForgeType. |
protected T |
visit(ForgeVariable expr)
Visits a ForgeVariable. |
protected T |
visit(OldExpression expr)
Visits an OldExpression. |
protected T |
visit(ProjectionExpression expr)
Visits a ProjectionExpression. |
protected T |
visit(QuantifyExpression expr)
Visits a QuantifyExpression. |
protected T |
visit(UnaryExpression expr)
Visits a UnaryExpression. |
Methods inherited from class forge.program.ExpressionVisitor |
---|
getCache, isCached, putCache |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ExpressionDefaulter()
Method Detail |
---|
protected abstract T defaultVisit(ForgeExpression expr)
protected T visit(ForgeType expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(ForgeLiteral expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(ForgeVariable expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(UnaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(BinaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(ConditionalExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(ProjectionExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(QuantifyExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
protected T visit(OldExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<T>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |