| Class | Description | 
|---|---|
| ClassInvariantAnnotationProcessor | Internal AnnotationProcessor implementation for class-invariants. | 
| EnsuresAnnotationProcessor | Internal AnnotationProcessor implementation for post-conditions. | 
| RequiresAnnotationProcessor | Internal AnnotationProcessor implementation for pre-conditions. |