Package ch.usi.si.codelounge.jsicko

Interface Summary

Interface	Description
Contract

Class Summary

Class	Description
ContractUtils	Utils to simplify the formulation of properties in contracts.

Error Summary

Error	Description
Contract.ContractConditionViolation	Abstract class representing generic contract condition violations.
Contract.InvariantViolation
Contract.PostconditionViolation
Contract.PreconditionViolation

Annotation Types Summary

Annotation Type	Description
Contract.Ensures	Declares the postconditions of a method.
Contract.Invariant	Declares the method as specifying a class invariant.
Contract.Pure	Declares the method as pure, so that it can be used as a clause in contract annotations.
Contract.Requires	Declares the preconditions of a method.