Uses of Class
ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoError

Packages that use JSickoDiagnostic.JSickoError

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

Uses of JSickoDiagnostic.JSickoError in ch.usi.si.codelounge.jsicko.plugin.diagnostics

Methods in ch.usi.si.codelounge.jsicko.plugin.diagnostics that return JSickoDiagnostic.JSickoError

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.InvariantHasNonZeroArity(com.sun.tools.javac.tree.JCTree.JCMethodDecl methodDeclMarkedAsInvariant)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.InvariantIsNotBoolean(com.sun.tools.javac.tree.JCTree.JCMethodDecl methodDeclMarkedAsInvariant)
static JSickoDiagnostic.JSickoError	JSickoDiagnostic.InvariantIsStatic(com.sun.tools.javac.tree.JCTree.JCMethodDecl methodDeclMarkedAsInvariant)
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)

Uses of JSickoDiagnostic.JSickoError in ch.usi.si.codelounge.jsicko.plugin.utils

Methods in ch.usi.si.codelounge.jsicko.plugin.utils with parameters of type JSickoDiagnostic.JSickoError

Modifier and Type	Method	Description
void	JavacUtils.logError(JavaFileObject fileObject, com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition pos, JSickoDiagnostic.JSickoError jsickoError)