Postcondition (Groovy 5.0.0-SNAPSHOT)

Summary:

| Detail:

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`	`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Summary:

| Detail:

Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.