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.
@Retention(RUNTIME) @Documented @ContractElement public @interface Precondition
@Precondition
are to be treated
as pre-condition modifying annotations.