org.jmlspecs.jml4.esc.gc
Class VarToOldVisitor

java.lang.Object
  org.jmlspecs.jml4.esc.gc.VarToOldVisitor

All Implemented Interfaces:

SugaredExpressionVisitor

public class VarToOldVisitor
extends java.lang.Object
implements SugaredExpressionVisitor

Constructor Summary

VarToOldVisitor()

Method Summary

SugaredExpression	visit(SugaredArrayAllocationExpression arrayAlloc)
SugaredExpression	visit(SugaredArrayReference arrayRef)
SugaredExpression	visit(SugaredAssignment expr)
SugaredExpression	visit(SugaredBinaryExpression expr)
SugaredExpression	visit(SugaredBooleanConstant expr)
SugaredExpression	visit(SugaredConditionalExpression expr)
SugaredExpression	visit(SugaredFieldReference fieldRef)
SugaredExpression	visit(SugaredIntegerConstant expr)
SugaredExpression	visit(SugaredMessageSend sugaredMessageSend)
SugaredExpression	visit(SugaredNotExpression notExpr)
SugaredExpression	visit(SugaredOldExpression expr)
SugaredExpression	visit(SugaredPostfixExpression expr)
SugaredExpression	visit(SugaredQuantifiedExpression expr)
SugaredExpression	visit(SugaredSuperReference superRef)
SugaredExpression	visit(SugaredThisReference thisRef)
SugaredExpression	visit(SugaredVariable expr)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VarToOldVisitor

public VarToOldVisitor()

Method Detail

visit

public SugaredExpression visit(SugaredAssignment expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredBinaryExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredBooleanConstant expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredConditionalExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredIntegerConstant expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredNotExpression notExpr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredPostfixExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredVariable expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredQuantifiedExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredOldExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredMessageSend sugaredMessageSend)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredFieldReference fieldRef)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredSuperReference superRef)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredThisReference thisRef)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredArrayReference arrayRef)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredExpression visit(SugaredArrayAllocationExpression arrayAlloc)

Specified by:

visit in interface SugaredExpressionVisitor