Uses of Class
ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils

Packages that use JavacUtils

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

Uses of JavacUtils in ch.usi.si.codelounge.jsicko.plugin

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

Modifier and Type	Method	Description
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.