Package org.apache.groovy.contracts.domain

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