Invariants (Groovy 6.0.0-alpha-2)

Summary:
Required

| Detail:
Element

groovy.contracts.Invariants

```
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE)
public @interface Invariants
```
Container annotation for multiple Invariant declarations on the same type. Synthesized by the compiler from stacked @Invariant annotations via Repeatable; not normally written by hand.
Since:
5.0.0
See Also:
Invariant

Element Summary

Required Element Summary
Type	Name and Description
`Invariant[]`	`value` Returns the repeated invariant annotations declared on the annotated type.

Inherited Methods Summary

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

- Element Detail
  - public Invariant[] value
    
    Returns the repeated invariant annotations declared on the annotated type.
    Returns:
    the contained Invariant annotations

Summary:
Required

| Detail:
Element

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