Postcondition (Groovy 4.0.23)

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

Summary:

| Detail:

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