Annotation Type ClassInvariant


@Retention(RUNTIME) @Documented @ContractElement public @interface ClassInvariant
Indicates that annotations being marked as @ClassInvariant are to be treated as class invariant modifying annotations.