Annotation Type Postcondition
Indicates that annotations being marked as
@Postcondition are to be treated
as post-condition modifying annotations.@Postcondition are to be treated
as post-condition modifying annotations.