org.jmlspecs.jml4.esc.gc
Interface SugaredExpressionVisitor

All Known Implementing Classes:

TargetGatheringVisitor, VarToOldVisitor

public interface SugaredExpressionVisitor

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 msgSend)
SugaredExpression	visit(SugaredNotExpression expr)
SugaredExpression	visit(SugaredOldExpression expr)
SugaredExpression	visit(SugaredPostfixExpression expr)
SugaredExpression	visit(SugaredQuantifiedExpression expr)
SugaredExpression	visit(SugaredSuperReference superRef)
SugaredExpression	visit(SugaredThisReference thisRef)
SugaredExpression	visit(SugaredVariable expr)

Method Detail

visit

SugaredExpression visit(SugaredAssignment expr)

visit

SugaredExpression visit(SugaredBinaryExpression expr)

visit

SugaredExpression visit(SugaredBooleanConstant expr)

visit

SugaredExpression visit(SugaredConditionalExpression expr)

visit

SugaredExpression visit(SugaredIntegerConstant expr)

visit

SugaredExpression visit(SugaredNotExpression expr)

visit

SugaredExpression visit(SugaredPostfixExpression expr)

visit

SugaredExpression visit(SugaredVariable expr)

visit

SugaredExpression visit(SugaredQuantifiedExpression expr)

visit

SugaredExpression visit(SugaredOldExpression expr)

visit

SugaredExpression visit(SugaredMessageSend msgSend)

visit

SugaredExpression visit(SugaredFieldReference fieldRef)

visit

SugaredExpression visit(SugaredSuperReference superRef)

visit

SugaredExpression visit(SugaredThisReference thisRef)

visit

SugaredExpression visit(SugaredArrayReference arrayRef)

visit

SugaredExpression visit(SugaredArrayAllocationExpression arrayAlloc)