org.jmlspecs.jml4.esc.gc
Interface SimpleExprVisitor

All Known Implementing Classes:

SimpleSubstVisitor

public interface SimpleExprVisitor

Method Summary

SimpleExpression	visit(SimpleArrayAllocationExpression arrayAlloc)
SimpleExpression	visit(SimpleArrayReference arrayRef)
SimpleExpression	visit(SimpleAssignment expr)
SimpleExpression	visit(SimpleBinaryExpression expr)
SimpleExpression	visit(SimpleBooleanConstant expr)
SimpleExpression	visit(SimpleConditionalExpression expr)
SimpleExpression	visit(SimpleFieldReference expr)
SimpleExpression	visit(SimpleIntegerConstant expr)
SimpleExpression	visit(SimpleMessageSend expr)
SimpleExpression	visit(SimpleNotExpression expr)
SimpleExpression	visit(SimpleOldExpression expr)
SimpleExpression	visit(SimplePostfixExpression expr)
SimpleExpression	visit(SimpleQuantifiedExpression expr)
SimpleExpression	visit(SimpleSuperReference superRef)
SimpleExpression	visit(SimpleThisReference thisRef)
SimpleExpression	visit(SimpleVariable expr)

Method Detail

visit

SimpleExpression visit(SimpleAssignment expr)

visit

SimpleExpression visit(SimpleBinaryExpression expr)

visit

SimpleExpression visit(SimpleBooleanConstant expr)

visit

SimpleExpression visit(SimpleConditionalExpression expr)

visit

SimpleExpression visit(SimpleIntegerConstant expr)

visit

SimpleExpression visit(SimpleMessageSend expr)

visit

SimpleExpression visit(SimpleOldExpression expr)

visit

SimpleExpression visit(SimplePostfixExpression expr)

visit

SimpleExpression visit(SimpleQuantifiedExpression expr)

visit

SimpleExpression visit(SimpleNotExpression expr)

visit

SimpleExpression visit(SimpleVariable expr)

visit

SimpleExpression visit(SimpleFieldReference expr)

visit

SimpleExpression visit(SimpleSuperReference superRef)

visit

SimpleExpression visit(SimpleThisReference thisRef)

visit

SimpleExpression visit(SimpleArrayReference arrayRef)

visit

SimpleExpression visit(SimpleArrayAllocationExpression arrayAlloc)