public @interface ContractElement
Indicates that annotations being marked as @ContractElement are to be used
by some contract element being either a class-invariant, pre- or post-condition.
wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll
Copyright © 2003-2022 The Apache Software Foundation. All rights reserved.