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

Packages that use SugaredPrecondition

org.jmlspecs.jml4.esc.gc

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredPrecondition sugaredPrecondition)
SugaredStatement	SimplifyingVisitor.visit(SugaredPrecondition sugaredPrecondition)
SimpleStatement	DesugaringVisitor.visit(SugaredPrecondition sugaredPrecondition)
SugaredStatement	SugaredStatementVisitor.visit(SugaredPrecondition stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredPrecondition sugaredPrecondition, SugaredStatement rest)