@Retention(RetentionPolicy.RUNTIME) @Documented @ContractElement public @interface ClassInvariant
Indicates that annotations being marked as @ClassInvariant are to be treated as class invariant modifying annotations.
@ClassInvariant
class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Copyright © 2003-2025 The Apache Software Foundation. All rights reserved.