Annotation Types

• Contracted
• Ensures
• Invariant
• Requires