org.jmlspecs.jml4.esc.gc
Class SimpleSubstVisitor

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

All Implemented Interfaces:

SimpleExprVisitor

public class SimpleSubstVisitor
extends java.lang.Object
implements SimpleExprVisitor

Constructor Summary

SimpleSubstVisitor(java.lang.String result, SimpleVarDecl[] bindings, SimpleVarDecl[] formalParams)

Method Summary

java.lang.String	toString()
SimpleExpression	visit(SimpleArrayAllocationExpression arrayAlloc)
SimpleExpression	visit(SimpleArrayReference expr)
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)

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleSubstVisitor

public SimpleSubstVisitor(java.lang.String result,
                          SimpleVarDecl[] bindings,
                          SimpleVarDecl[] formalParams)

Method Detail

visit

public SimpleExpression visit(SimpleAssignment expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleBinaryExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleBooleanConstant expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleConditionalExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleIntegerConstant expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleMessageSend expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleOldExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimplePostfixExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleQuantifiedExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleNotExpression expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleVariable expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleFieldReference expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleSuperReference superRef)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleThisReference thisRef)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleArrayReference expr)

Specified by:

visit in interface SimpleExprVisitor

visit

public SimpleExpression visit(SimpleArrayAllocationExpression arrayAlloc)

Specified by:

visit in interface SimpleExprVisitor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object