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.