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