org.jmlspecs.jml4.esc.gc
Class DesugaringVisitor

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

public class DesugaringVisitor
extends java.lang.Object

Constructor Summary

DesugaringVisitor()

Method Summary

SimpleExpression	visit(SugaredArrayAllocationExpression arrayAlloc)
SimpleExpression	visit(SugaredArrayReference arrayRef)
SimpleStatement	visit(SugaredAssert sugaredAssert)
SimpleExpression	visit(SugaredAssignment sugaredAssignment)
SimpleStatement	visit(SugaredAssume sugaredAssume)
SimpleExpression	visit(SugaredBinaryExpression binExpr)
SimpleBlock	visit(SugaredBlock sugared)
SimpleExpression	visit(SugaredBooleanConstant bool)
SimpleStatement	visit(SugaredBreakStatement sugaredBreakStatement)
SimpleExpression	visit(SugaredConditionalExpression condExpr)
SimpleStatement	visit(SugaredContinueStatement sugaredContinueStatement)
SimpleExpression	visit(SugaredFieldReference fieldRef)
SimpleStatement	visit(SugaredGoto sugaredGoto)
SimpleStatement	visit(SugaredHavoc sugaredHavoc)
SimpleStatement	visit(SugaredIfStatement sugaredIfStatement)
SimpleExpression	visit(SugaredIntegerConstant intConst)
SimpleExpression	visit(SugaredMessageSend msgSend)
SimpleExpression	visit(SugaredNotExpression notExpr)
SimpleExpression	visit(SugaredOldExpression oldExpr)
SimpleStatement	visit(SugaredPostcondition sugaredPostcondition)
SimpleExpression	visit(SugaredPostfixExpression post)
SimpleStatement	visit(SugaredPrecondition sugaredPrecondition)
SimpleProgram	visit(SugaredProgram sugaredProgram)
SimpleExpression	visit(SugaredQuantifiedExpression quantExpr)
SimpleStatement	visit(SugaredReturnStatement sugaredReturn)
SimpleStatement	visit(SugaredSequence sugaredSequence)
SimpleExpression	visit(SugaredSuperReference superRef)
SimpleExpression	visit(SugaredThisReference thisRef)
SimpleStatement	visit(SugaredVarDecl var)
SimpleExpression	visit(SugaredVariable var)
SimpleStatement	visit(SugaredWhileStatement sugaredWhileStatement)

Methods inherited from class java.lang.Object

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

Constructor Detail

DesugaringVisitor

public DesugaringVisitor()

Method Detail

visit

public SimpleProgram visit(SugaredProgram sugaredProgram)

visit

public SimpleBlock visit(SugaredBlock sugared)

visit

public SimpleStatement visit(SugaredSequence sugaredSequence)

visit

public SimpleStatement visit(SugaredAssert sugaredAssert)

visit

public SimpleStatement visit(SugaredAssume sugaredAssume)

visit

public SimpleExpression visit(SugaredAssignment sugaredAssignment)

visit

public SimpleStatement visit(SugaredVarDecl var)

visit

public SimpleExpression visit(SugaredBooleanConstant bool)

visit

public SimpleExpression visit(SugaredIntegerConstant intConst)

visit

public SimpleExpression visit(SugaredVariable var)

visit

public SimpleExpression visit(SugaredNotExpression notExpr)

visit

public SimpleExpression visit(SugaredBinaryExpression binExpr)

visit

public SimpleExpression visit(SugaredConditionalExpression condExpr)

visit

public SimpleStatement visit(SugaredIfStatement sugaredIfStatement)

visit

public SimpleStatement visit(SugaredWhileStatement sugaredWhileStatement)

visit

public SimpleStatement visit(SugaredContinueStatement sugaredContinueStatement)

visit

public SimpleStatement visit(SugaredBreakStatement sugaredBreakStatement)

visit

public SimpleStatement visit(SugaredReturnStatement sugaredReturn)

visit

public SimpleStatement visit(SugaredPrecondition sugaredPrecondition)

visit

public SimpleStatement visit(SugaredPostcondition sugaredPostcondition)

visit

public SimpleStatement visit(SugaredGoto sugaredGoto)

visit

public SimpleExpression visit(SugaredPostfixExpression post)

visit

public SimpleStatement visit(SugaredHavoc sugaredHavoc)

visit

public SimpleExpression visit(SugaredQuantifiedExpression quantExpr)

visit

public SimpleExpression visit(SugaredOldExpression oldExpr)

visit

public SimpleExpression visit(SugaredMessageSend msgSend)

visit

public SimpleExpression visit(SugaredThisReference thisRef)

visit

public SimpleExpression visit(SugaredSuperReference superRef)

visit

public SimpleExpression visit(SugaredFieldReference fieldRef)

visit

public SimpleExpression visit(SugaredArrayReference arrayRef)

visit

public SimpleExpression visit(SugaredArrayAllocationExpression arrayAlloc)