ContractElement (Groovy 4.0.23)

Summary:

| Detail:

org.apache.groovy.contracts.annotations.meta.ContractElement

```
@Documented
@Retention(RetentionPolicy.RUNTIME)
public @interface ContractElement
```
Indicates that annotations being marked as @ContractElement are to be used by some contract element being either a class-invariant, pre- or post-condition.

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.