Hierarchy For Package ch.usi.si.codelounge.jsicko

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • ch.usi.si.codelounge.jsicko.ContractUtils
  • 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)