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.