Uses of Class
ch.usi.si.codelounge.jsicko.Contract.Ensures

Packages that use Contract.Ensures

Package	Description
ch.usi.si.codelounge.jsicko.plugin

Uses of Contract.Ensures in ch.usi.si.codelounge.jsicko.plugin

Methods in ch.usi.si.codelounge.jsicko.plugin with parameters of type Contract.Ensures

Modifier and Type	Method	Description
static com.sun.tools.javac.util.List<ConditionClause>	ConditionClause.from(Contract.Ensures postconditionAnnotation, com.sun.tools.javac.code.Symbol declaringSymbol, JavacUtils javac, ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompilerState state)	Statically constructs clauses from a set of ensures annotations.