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.
@Retention(RUNTIME) @Documented @ContractElement public @interface ClassInvariant
@ClassInvariant
are to be treated
as class invariant modifying annotations.