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

Packages that use SugaredSequence

org.jmlspecs.jml4.esc.gc

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredSequence sugaredSequence)
SugaredStatement	SimplifyingVisitor.visit(SugaredSequence sugaredSequence)
SimpleStatement	DesugaringVisitor.visit(SugaredSequence sugaredSequence)
SugaredStatement	SugaredStatementVisitor.visit(SugaredSequence stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredSequence sugaredSequence, SugaredStatement rest)