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) |
|