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

Class JSickoDiagnostic.JSickoError

java.lang.Object

ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic

ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoError

Enclosing class:

JSickoDiagnostic

public static class JSickoDiagnostic.JSickoError
extends JSickoDiagnostic

A JSicko error. It holds a standard javac diagnostic error that can be emitted / logged during compilation.

Nested Class Summary

Nested classes/interfaces inherited from class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic

JSickoDiagnostic.JSickoError, JSickoDiagnostic.JSickoNote, JSickoDiagnostic.JSickoWarning

Method Summary

Modifier and Type	Method	Description
com.sun.tools.javac.util.JCDiagnostic.Error	jcError()

Methods inherited from class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic

ClauseIsNotBoolean, ConditionCheckNote, ContractInterfacesNote, IncompatibleClause, InstrumentedClassNote, InstrumentedMethodNote, InvariantHasNonZeroArity, InvariantIsNotBoolean, InvariantIsStatic, MissingClause, MissingParamName, OverriddenOldMethodNote, RaisesOnPrecondition, ReturnsOnPrecondition, ReturnsOnVoidMethod, WrongParamType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

jcError

public com.sun.tools.javac.util.JCDiagnostic.Error jcError()