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

Class JSickoDiagnostic.JSickoWarning

java.lang.Object

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

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

Enclosing class:

JSickoDiagnostic

public static class JSickoDiagnostic.JSickoWarning
extends JSickoDiagnostic

A JSicko warning. It holds a standard javac diagnostic warning 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.Warning	jcWarning()

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

jcWarning

public com.sun.tools.javac.util.JCDiagnostic.Warning jcWarning()