|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.program.ExpressionVisitor<ForgeExpression>
forge.transform.ExpressionReplacer
public abstract class ExpressionReplacer
A depth-first visitor that replaces each node in the expression.
Constructor Summary | |
---|---|
protected |
ExpressionReplacer()
|
Method Summary | |
---|---|
protected LocalDecls |
replaceDecls(LocalDecls decls)
|
protected ForgeExpression |
visit(BinaryExpression expr)
Visits a BinaryExpression. |
protected ForgeExpression |
visit(ConditionalExpression expr)
Visits a ConditionalExpression. |
protected ForgeExpression |
visit(ForgeLiteral expr)
Visits a ForgeConstant. |
protected ForgeExpression |
visit(ForgeType expr)
Visits a ForgeType. |
protected ForgeExpression |
visit(ForgeVariable expr)
Visits a ForgeVariable. |
protected ForgeExpression |
visit(OldExpression expr)
Visits an OldExpression. |
protected ForgeExpression |
visit(ProjectionExpression expr)
Visits a ProjectionExpression. |
protected ForgeExpression |
visit(QuantifyExpression expr)
Visits a QuantifyExpression. |
protected ForgeExpression |
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 ExpressionReplacer()
Method Detail |
---|
protected ForgeExpression visit(UnaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(BinaryExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(ConditionalExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(ProjectionExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(QuantifyExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(OldExpression expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(ForgeLiteral expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(ForgeType expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected ForgeExpression visit(ForgeVariable expr)
ExpressionVisitor
visit
in class ExpressionVisitor<ForgeExpression>
protected LocalDecls replaceDecls(LocalDecls decls)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |