JSickoDiagnostic.JSickoNote (jSicko 1.0.0-M5 API)

java.lang.Object
- ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
- - ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoNote

Enclosing class:

JSickoDiagnostic
```
public static class JSickoDiagnostic.JSickoNote
extends JSickoDiagnostic
```
A JSicko note. Used to emit code of instrumented methods, classes, and in general logs of what happens during JSicko execution. It holds a standard javac diagnostic note 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
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  com.sun.tools.javac.util.JCDiagnostic.Note jcNote()
  - 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

jcNote

public com.sun.tools.javac.util.JCDiagnostic.Note jcNote()