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