[Java] Annotation Type Postcondition

@Retention(RetentionPolicy.RUNTIME)
@Documented
@ContractElement
public @interface Postcondition

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

Inherited Methods Summary

Inherited Methods
Methods inherited from class	Name
`class Object`	`wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll`