Package groovy.contracts


package groovy.contracts
  • Annotation Types
    Class
    Description
    Package-level and class-level annotation indicating that the package is enabled for class-invariants, pre- and post-conditions.
    Represents a method postcondition.
    Represents multiple postconditions.
    Represents a class-invariant.
    Represents multiple invariants
    Represents a method precondition.
    Represents multiple preconditions.