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