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.
Invariant	Represents a class-invariant.
Requires	Represents a method precondition.