Precondition (Groovy 4.0.23)

Summary:

| Detail:

org.apache.groovy.contracts.annotations.meta.Precondition

```
@Retention(RetentionPolicy.RUNTIME)
@Documented
@ContractElement
public @interface Precondition
```
Indicates that annotations being marked as @Precondition are to be treated as pre-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.