Annotation Types

• Contracted
• Decreases
• Ensures
• EnsuresConditions
• Invariant
• Invariants
• Modifies
• ModifiesConditions
• Requires
• RequiresConditions