# Package org.apache.groovy.contracts

## Package org.apache.groovy.contracts Description

Provides Design by Contract (DbC) support for Groovy classes and methods. This framework allows developers to define preconditions, postconditions, and class invariants using annotations, enabling automatic runtime validation of contract constraints.

- Class Summary
  Class | Description
  --- | ---
  ViolationTracker |

- Exception Summary
  Exception | Description
  --- | ---
  CircularAssertionCallException |

- Error Summary
  Error | Description
  --- | ---
  AssertionViolation |
  ClassInvariantViolation |
  LoopInvariantViolation |
  LoopVariantViolation | Thrown whenever a loop variant (decreases/increases) violation occurs.
  PostconditionViolation |
  PreconditionViolation |