Package groovy.contracts
-
Annotation Types Summary Annotation Type 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.