Hierarchy For All Packages

Package Hierarchies:

• ch.usi.si.codelounge.jsicko,
• ch.usi.si.codelounge.jsicko.plugin,
• ch.usi.si.codelounge.jsicko.plugin.diagnostics,
• ch.usi.si.codelounge.jsicko.plugin.utils

Class Hierarchy

• java.lang.Object
  • ch.usi.si.codelounge.jsicko.plugin.utils.CloneUtils
  • ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
  • ch.usi.si.codelounge.jsicko.plugin.ConditionClause
  • ch.usi.si.codelounge.jsicko.plugin.Constants
  • ch.usi.si.codelounge.jsicko.plugin.ContractCompilerTaskListener (implements com.sun.source.util.TaskListener)
  • ch.usi.si.codelounge.jsicko.ContractUtils
  • ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
  • ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler (implements com.sun.source.util.Plugin)
  • ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
    • ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoError
    • ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoNote
    • ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoWarning
  • ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • java.lang.AssertionError
        • ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation
          • ch.usi.si.codelounge.jsicko.Contract.InvariantViolation
          • ch.usi.si.codelounge.jsicko.Contract.PostconditionViolation
          • ch.usi.si.codelounge.jsicko.Contract.PreconditionViolation

Interface Hierarchy

• ch.usi.si.codelounge.jsicko.Contract

Annotation Type Hierarchy

• ch.usi.si.codelounge.jsicko.Contract.Ensures (implements java.lang.annotation.Annotation)
• ch.usi.si.codelounge.jsicko.Contract.Invariant (implements java.lang.annotation.Annotation)
• ch.usi.si.codelounge.jsicko.Contract.Pure (implements java.lang.annotation.Annotation)
• ch.usi.si.codelounge.jsicko.Contract.Requires (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum