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

Packages that use Contract.Requires

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

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

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

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