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

Packages that use SugaredPostcondition

org.jmlspecs.jml4.esc.gc

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredPostcondition sugaredPostcondition)
SugaredStatement	SimplifyingVisitor.visit(SugaredPostcondition sugaredPostcondition)
SimpleStatement	DesugaringVisitor.visit(SugaredPostcondition sugaredPostcondition)
SugaredStatement	SugaredStatementVisitor.visit(SugaredPostcondition stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredPostcondition sugaredPostcondition, SugaredStatement rest)