static com.sun.tools.javac.util.List<ConditionClause> |
ConditionClause.createInvariants(com.sun.tools.javac.util.List<com.sun.tools.javac.code.Symbol.MethodSymbol> invariants,
JavacUtils javac,
ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompilerState state) |
Statically constructs a set of invariant clauses from annotated method symbols.
|
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.
|
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.
|