Package org.apache.groovy.contracts.domain
package org.apache.groovy.contracts.domain
-
ClassesClassDescriptionBase class for all assertion types.AssertionMap<T extends Assertion<T>>A class-invariant assertion.Represents a contract between a supplier and a customer of a class.A loop-invariant assertion that must hold at the start of each iteration.A post-condition assertion.A pre-condition assertion.