Annotation Types

• Contracted
• Ensures
• EnsuresConditions
• Invariant
• Invariants
• Requires
• RequiresConditions