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 |