public class ClassInvariantAnnotationProcessor
extends AnnotationProcessorInternal 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)Merges the supplied class-invariant expression into the current contract model. |
| Methods inherited from class | Name |
|---|---|
class AnnotationProcessor |
process, process |
Merges the supplied class-invariant expression into the current contract model.
processingContextInformation - the current processing contextcontract - the mutable contract modelclassNode - the annotated classblockStatement - the original invariant blockbooleanExpression - the normalized invariant expression