Uses of Class
ch.usi.si.codelounge.jsicko.plugin.ConditionClause

Packages that use ConditionClause

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

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

Methods in ch.usi.si.codelounge.jsicko.plugin that return types with arguments of type ConditionClause

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.

Uses of ConditionClause in ch.usi.si.codelounge.jsicko.plugin.diagnostics

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

Modifier and Type	Method	Description
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.ClauseIsNotBoolean(ConditionClause clause, com.sun.tools.javac.code.Symbol.MethodSymbol methodSymbolMarkedAsClause)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.IncompatibleClause(ConditionClause clause, boolean isMethodStatic, com.sun.tools.javac.util.Name methodName)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.MissingClause(ConditionClause clause)	Generates a JSicko missing clause error.
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.MissingParamName(com.sun.tools.javac.util.Name paramName, ConditionClause clause)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.RaisesOnPrecondition(ConditionClause clause)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.ReturnsOnPrecondition(ConditionClause clause)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.ReturnsOnVoidMethod(ConditionClause clause)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.WrongParamType(com.sun.tools.javac.util.Name paramName, com.sun.tools.javac.code.Type expectedType, com.sun.tools.javac.code.Type clauseType, ConditionClause clause)

Method parameters in ch.usi.si.codelounge.jsicko.plugin.diagnostics with type arguments of type ConditionClause

Modifier and Type	Method	Description
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.ConditionCheckNote(com.sun.tools.javac.code.Symbol.MethodSymbol sym, ContractConditionEnum conditionType, com.sun.tools.javac.util.List<com.sun.tools.javac.util.List<ConditionClause>> groupedClauses)