Package: org.apache.groovy.contracts.annotations.meta

## [Java] Annotation Type Postcondition

- org.apache.groovy.contracts.annotations.meta.Postcondition

-     @Retention(RetentionPolicy.RUNTIME)
      @Documented
      @ContractElement
      public @interface Postcondition

  Indicates that annotations being marked as `@Postcondition` are to be treated as post-condition modifying annotations.

- - ### Inherited Methods Summary

    Inherited Methods
    Methods inherited from class | Name
    --- | ---
    `class Object` | `wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll`