# Package groovy.contracts

package groovy.contracts

- Annotation Types
  Class
  Description
  Contracted
  Package-level and class-level annotation indicating that the package is enabled for class-invariants, pre- and post-conditions.
  Ensures
  Represents a method postcondition.
  EnsuresConditions
  Represents multiple postconditions.
  Invariant
  Represents a class-invariant.
  Invariants
  Represents multiple invariants
  Requires
  Represents a method precondition.
  RequiresConditions
  Represents multiple preconditions.