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

Packages that use SugaredProgram

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

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

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

SugaredProgram	TargetGatheringVisitor.visit(SugaredProgram sugaredProgram)
SugaredProgram	SimplifyingVisitor.visit(SugaredProgram sugaredProgram)
SugaredProgram	DesugarLoopVisitor.visit(SugaredProgram origProgram)

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

SugaredProgram	TargetGatheringVisitor.visit(SugaredProgram sugaredProgram)
SugaredProgram	SimplifyingVisitor.visit(SugaredProgram sugaredProgram)
SugaredProgram	DesugarLoopVisitor.visit(SugaredProgram origProgram)
SimpleProgram	DesugaringVisitor.visit(SugaredProgram sugaredProgram)

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

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

SugaredProgram	SugaredProgram.accept(DesugarLoopVisitor visitor)
SugaredProgram	SugaredProgram.accept(SimplifyingVisitor visitor)