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.