Package org.apache.groovy.contracts.domain

Class Summary

Class	Description
Assertion<T extends Assertion>	Base class for all assertion types.
AssertionMap<T extends Assertion<T>>
ClassInvariant	A class-invariant assertion.
Contract	Represents a contract between a supplier and a customer of a class.
Postcondition	A post-condition assertion.
Precondition	A pre-condition assertion.