|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.program.ExpressionVisitor<java.lang.Object>
forge.transform.ExpressionDescender
public abstract class ExpressionDescender
Descends through a Forge expression graph without caching. Return variables of the visit methods are ignores, so they should all be null.
Constructor Summary | |
---|---|
protected |
ExpressionDescender()
|
Method Summary | |
---|---|
protected void |
descend(BinaryExpression expr)
Applies visitor to left and right subexpression. |
protected void |
descend(ConditionalExpression expr)
Applies visitor to condition, then, and else expressions. |
protected void |
descend(ForgeLiteral expr)
Does nothing. |
protected void |
descend(ForgeType expr)
Does nothing. |
protected void |
descend(ForgeVariable expr)
Does nothing. |
protected void |
descend(OldExpression expr)
Applies visitor to variable. |
protected void |
descend(ProjectionExpression expr)
Applies visitor to subexpression |
protected void |
descend(QuantifyExpression expr)
Applies visitor to variable and subexpression. |
protected void |
descend(UnaryExpression expr)
Applies visitor to subexpression. |
protected java.lang.Object |
visit(BinaryExpression expr)
Visits a BinaryExpression. |
protected java.lang.Object |
visit(ConditionalExpression expr)
Visits a ConditionalExpression. |
protected java.lang.Object |
visit(ForgeLiteral expr)
Visits a ForgeConstant. |
protected java.lang.Object |
visit(ForgeType expr)
Visits a ForgeType. |
protected java.lang.Object |
visit(ForgeVariable expr)
Visits a ForgeVariable. |
protected java.lang.Object |
visit(OldExpression expr)
Visits an OldExpression. |
protected java.lang.Object |
visit(ProjectionExpression expr)
Visits a ProjectionExpression. |
protected java.lang.Object |
visit(QuantifyExpression expr)
Visits a QuantifyExpression. |
protected java.lang.Object |
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 |
---|
protected ExpressionDescender()
Method Detail |
---|
protected void descend(BinaryExpression expr)
protected void descend(UnaryExpression expr)
protected void descend(QuantifyExpression expr)
protected void descend(ConditionalExpression expr)
protected void descend(ProjectionExpression expr)
protected void descend(OldExpression expr)
protected void descend(ForgeVariable expr)
protected void descend(ForgeLiteral expr)
protected void descend(ForgeType expr)
protected final java.lang.Object visit(BinaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(UnaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(ConditionalExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(QuantifyExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(ProjectionExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(OldExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(ForgeLiteral expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(ForgeType expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
protected final java.lang.Object visit(ForgeVariable expr)
ExpressionVisitor
visit
in class ExpressionVisitor<java.lang.Object>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |