[Java] Annotation Type ClassInvariant

@Retention(RetentionPolicy.RUNTIME)
@Documented
@ContractElement
public @interface ClassInvariant

Indicates that annotations being marked as @ClassInvariant are to be treated as class invariant modifying annotations.

Inherited Methods Summary

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