Uses of Class
org.jmlspecs.jml4.esc.gc.DesugaringVisitor

Packages that use DesugaringVisitor

org.jmlspecs.jml4.esc.gc.lang.sugared
org.jmlspecs.jml4.esc.gc.lang.sugared.expr

Uses of DesugaringVisitor in org.jmlspecs.jml4.esc.gc.lang.sugared

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared with parameters of type DesugaringVisitor

SimpleStatement	SugaredWhileStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredVarDecl.accept(DesugaringVisitor visitor)
abstract SimpleStatement	SugaredStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredSequence.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredReturnStatement.accept(DesugaringVisitor visitor)
SimpleProgram	SugaredProgram.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredPrecondition.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredPostcondition.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredIfStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredHavoc.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredGoto.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredExprStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredContinueStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredBreakStatement.accept(DesugaringVisitor visitor)
SimpleBlock	SugaredBlock.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredAssume.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredAssert.accept(DesugaringVisitor visitor)

Uses of DesugaringVisitor in org.jmlspecs.jml4.esc.gc.lang.sugared.expr

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared.expr with parameters of type DesugaringVisitor

SimpleExpression	SugaredVariable.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredThisReference.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredSuperReference.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredQuantifiedExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredPostfixExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredOldExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredNotExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredMessageSend.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredIntegerConstant.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredFieldReference.accept(DesugaringVisitor visitor)
abstract SimpleExpression	SugaredExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredConditionalExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredBooleanConstant.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredBinaryExpression.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredAssignment.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredArrayReference.accept(DesugaringVisitor visitor)
SimpleExpression	SugaredArrayAllocationExpression.accept(DesugaringVisitor visitor)