# Package org.apache.groovy.contracts.domain

package org.apache.groovy.contracts.domain

- Related Packages
  Package
  Description
  org.apache.groovy.contracts
  org.apache.groovy.contracts.ast
  org.apache.groovy.contracts.generation
  org.apache.groovy.contracts.util
- Classes
  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.