Uses of Class
org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredBlock

Packages that use SugaredBlock

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

Uses of SugaredBlock in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc that return SugaredBlock

SugaredBlock[]	TargetGatheringVisitor.visit(SugaredBlock sugaredBlock)
SugaredBlock[]	SimplifyingVisitor.visit(SugaredBlock sugaredBlock)
SugaredBlock[]	DesugarLoopVisitor.visit(SugaredBlock origBlock)

Methods in org.jmlspecs.jml4.esc.gc with parameters of type SugaredBlock

SugaredBlock[]	TargetGatheringVisitor.visit(SugaredBlock sugaredBlock)
SugaredBlock[]	SimplifyingVisitor.visit(SugaredBlock sugaredBlock)
SugaredBlock[]	DesugarLoopVisitor.visit(SugaredBlock origBlock)
SimpleBlock	DesugaringVisitor.visit(SugaredBlock sugared)

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

Fields in org.jmlspecs.jml4.esc.gc.lang.sugared declared as SugaredBlock

SugaredBlock[]	SugaredProgram.blocks
static SugaredBlock[]	SugaredBlock.EMPTY

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared that return SugaredBlock

SugaredBlock[]	SugaredBlock.accept(DesugarLoopVisitor visitor)
SugaredBlock[]	SugaredBlock.accept(SimplifyingVisitor visitor)

Constructors in org.jmlspecs.jml4.esc.gc.lang.sugared with parameters of type SugaredBlock

SugaredProgram(SugaredBlock[] blocks, java.lang.String startName, java.lang.String methodIdicator)