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.