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