groovy.contracts (Groovy 5.0.0-SNAPSHOT)

Annotation Type Summary
Annotation Type	Description
Contracted
Ensures
EnsuresConditions	Represents multiple postconditions.
Invariant
Invariants	Represents multiple invariants
Requires
RequiresConditions	Represents multiple preconditions.

Package groovy.contracts