# Package org.apache.groovy.contracts

package org.apache.groovy.contracts

- Related Packages
  Package
  Description
  org.apache.groovy.contracts.ast
  org.apache.groovy.contracts.domain
  org.apache.groovy.contracts.generation
  org.apache.groovy.contracts.util
- Class
  Description
  AssertionViolation
  Abstract base class for all assertion violations.
  CircularAssertionCallException
  Thrown whenever pre- or post-conditions are called in a cyclic way.
  ClassInvariantViolation
  Thrown whenever a class invariant violation occurs.
  PostconditionViolation
  Thrown whenever a postcondition violation occurs.
  PreconditionViolation
  Thrown whenever a precondition violation occurs.
  ViolationTracker
  A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order.