# Package org.apache.groovy.contracts.domain

## Package org.apache.groovy.contracts.domain Description

Domain model classes representing contract elements such as preconditions, postconditions, and class invariants.

- Class Summary
  Class | Description
  --- | ---
  Assertion |
  AssertionMap | Maps methods to their accumulated contract assertions.
  ClassInvariant |
  Contract |
  LoopInvariant |
  Postcondition |
  Precondition |