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
- ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation
- java.lang.AssertionError
- java.lang.Error
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)