|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.program.ExpressionVisitor<T>
public abstract class ExpressionVisitor<T>
A visitor to a Forge expression.
Constructor Summary | |
---|---|
protected |
ExpressionVisitor()
|
protected |
ExpressionVisitor(ExpressionVisitor<T> visitor)
|
Method Summary | |
---|---|
protected T |
getCache(ForgeExpression expr)
|
protected boolean |
isCached(ForgeExpression expr)
|
protected void |
putCache(ForgeExpression expr,
T result)
|
protected abstract T |
visit(BinaryExpression expr)
Visits a BinaryExpression. |
protected abstract T |
visit(ConditionalExpression expr)
Visits a ConditionalExpression. |
protected abstract T |
visit(ForgeLiteral expr)
Visits a ForgeConstant. |
protected abstract T |
visit(ForgeType expr)
Visits a ForgeType. |
protected abstract T |
visit(ForgeVariable expr)
Visits a ForgeVariable. |
protected abstract T |
visit(OldExpression expr)
Visits an OldExpression. |
protected abstract T |
visit(ProjectionExpression expr)
Visits a ProjectionExpression. |
protected abstract T |
visit(QuantifyExpression expr)
Visits a QuantifyExpression. |
protected abstract T |
visit(UnaryExpression expr)
Visits a UnaryExpression. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
protected ExpressionVisitor()
protected ExpressionVisitor(ExpressionVisitor<T> visitor)
Method Detail |
---|
protected final boolean isCached(ForgeExpression expr)
protected final void putCache(ForgeExpression expr, T result)
protected final T getCache(ForgeExpression expr)
protected abstract T visit(ForgeType expr)
protected abstract T visit(ForgeLiteral expr)
protected abstract T visit(ForgeVariable expr)
protected abstract T visit(UnaryExpression expr)
protected abstract T visit(BinaryExpression expr)
protected abstract T visit(ConditionalExpression expr)
protected abstract T visit(ProjectionExpression expr)
protected abstract T visit(QuantifyExpression expr)
protected abstract T visit(OldExpression expr)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |