public class ClassInvariantAnnotationProcessor extends AnnotationProcessor
Internal AnnotationProcessor implementation for class-invariants.
| Type Params | Return Type | Name and description | 
|---|---|---|
|  | public void | process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, BlockStatement blockStatement, BooleanExpression booleanExpression) | 
| Methods inherited from class | Name | 
|---|---|
| class AnnotationProcessor | process, process |