org.jmlspecs.jml4.esc.gc
Class TargetGatheringVisitor

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

All Implemented Interfaces:

SimplifyingVisitor, SugaredExpressionVisitor

public class TargetGatheringVisitor
extends java.lang.Object
implements SimplifyingVisitor, SugaredExpressionVisitor

Constructor Summary

TargetGatheringVisitor()

Method Summary

SugaredExpression[]	getResult()
java.lang.String	toString()
SugaredExpression	visit(SugaredArrayAllocationExpression arrayAlloc)
SugaredExpression	visit(SugaredArrayReference arrayRef)
SugaredStatement	visit(SugaredAssert sugaredAssert)
SugaredExpression	visit(SugaredAssignment expr)
SugaredStatement	visit(SugaredAssume sugaredAssume)
SugaredExpression	visit(SugaredBinaryExpression expr)
SugaredBlock[]	visit(SugaredBlock sugaredBlock)
SugaredExpression	visit(SugaredBooleanConstant expr)
SugaredStatement	visit(SugaredBreakStatement sugaredBreakStatement)
SugaredExpression	visit(SugaredConditionalExpression expr)
SugaredStatement	visit(SugaredContinueStatement sugaredContinueStatement)
SugaredStatement	visit(SugaredExprStatement sugaredExprStatement)
SugaredExpression	visit(SugaredFieldReference fieldRef)
SugaredStatement	visit(SugaredGoto sugaredGoto)
SugaredStatement	visit(SugaredHavoc sugaredHavoc)
SugaredStatement	visit(SugaredIfStatement sugaredIfStatement)
SugaredExpression	visit(SugaredIntegerConstant expr)
SugaredExpression	visit(SugaredMessageSend sugaredMessageSend)
SugaredExpression	visit(SugaredNotExpression expr)
SugaredExpression	visit(SugaredOldExpression expr)
SugaredStatement	visit(SugaredPostcondition sugaredPostcondition)
SugaredExpression	visit(SugaredPostfixExpression expr)
SugaredStatement	visit(SugaredPrecondition sugaredPrecondition)
SugaredProgram	visit(SugaredProgram sugaredProgram)
SugaredExpression	visit(SugaredQuantifiedExpression expr)
SugaredStatement	visit(SugaredReturnStatement sugaredReturnStatement)
SugaredStatement	visit(SugaredSequence sugaredSequence)
SugaredExpression	visit(SugaredSuperReference superRef)
SugaredExpression	visit(SugaredThisReference thisRef)
SugaredStatement	visit(SugaredVarDecl sugaredVarDecl)
SugaredExpression	visit(SugaredVariable expr)
SugaredStatement	visit(SugaredWhileStatement sugaredWhileStatement)

Methods inherited from class java.lang.Object

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

Constructor Detail

TargetGatheringVisitor

public TargetGatheringVisitor()

Method Detail

getResult

public SugaredExpression[] getResult()

visit

public SugaredProgram visit(SugaredProgram sugaredProgram)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredBlock[] visit(SugaredBlock sugaredBlock)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredSequence sugaredSequence)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredAssert sugaredAssert)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredAssume sugaredAssume)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredIfStatement sugaredIfStatement)

Specified by:

visit in interface SimplifyingVisitor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public SugaredStatement visit(SugaredWhileStatement sugaredWhileStatement)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredVarDecl sugaredVarDecl)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredGoto sugaredGoto)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredBreakStatement sugaredBreakStatement)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredContinueStatement sugaredContinueStatement)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredReturnStatement sugaredReturnStatement)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredExprStatement sugaredExprStatement)

Specified by:

visit in interface SimplifyingVisitor

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 expr)

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 SugaredStatement visit(SugaredHavoc sugaredHavoc)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredExpression visit(SugaredQuantifiedExpression expr)

Specified by:

visit in interface SugaredExpressionVisitor

visit

public SugaredStatement visit(SugaredPrecondition sugaredPrecondition)

Specified by:

visit in interface SimplifyingVisitor

visit

public SugaredStatement visit(SugaredPostcondition sugaredPostcondition)

Specified by:

visit in interface SimplifyingVisitor

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