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

Packages that use JSickoDiagnostic.JSickoNote

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

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

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

Modifier and Type	Method	Description
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.ConditionCheckNote(com.sun.tools.javac.code.Symbol.MethodSymbol sym, ContractConditionEnum conditionType, com.sun.tools.javac.util.List<com.sun.tools.javac.util.List<ConditionClause>> groupedClauses)
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.ContractInterfacesNote(com.sun.tools.javac.code.Symbol.ClassSymbol sym, com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> contracts)
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.InstrumentedClassNote(com.sun.tools.javac.tree.JCTree.JCClassDecl jcClassDecl)
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.InstrumentedMethodNote(com.sun.tools.javac.tree.JCTree.JCMethodDecl jcMethodDecl)
static JSickoDiagnostic.JSickoNote	JSickoDiagnostic.OverriddenOldMethodNote(com.sun.tools.javac.tree.JCTree.JCMethodDecl overriddenOldMethod)

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

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

Modifier and Type	Method	Description
void	JavacUtils.logNote(JavaFileObject fileObject, com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition pos, JSickoDiagnostic.JSickoNote note)