Annotation Type Precondition


@Retention(RUNTIME) @Documented @ContractElement public @interface Precondition
Indicates that annotations being marked as @Precondition are to be treated as pre-condition modifying annotations.