Annotation Type Postcondition
-
@Retention(RUNTIME) @Documented @ContractElement public @interface Postcondition
Indicates that annotations being marked as@Postcondition
are to be treated as post-condition modifying annotations.
@Retention(RUNTIME) @Documented @ContractElement public @interface Postcondition
@Postcondition
are to be treated
as post-condition modifying annotations.