Package org.apache.groovy.contracts.common.impl

Class ClassInvariantAnnotationProcessor

java.lang.Object

org.apache.groovy.contracts.common.spi.AnnotationProcessor

org.apache.groovy.contracts.common.impl.ClassInvariantAnnotationProcessor

public class ClassInvariantAnnotationProcessor
extends AnnotationProcessor

Internal AnnotationProcessor implementation for class-invariants.

Constructor Summary

Constructors

Constructor	Description
ClassInvariantAnnotationProcessor()

Method Summary

Modifier and Type	Method	Description
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 org.apache.groovy.contracts.common.spi.AnnotationProcessor

process

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClassInvariantAnnotationProcessor

public ClassInvariantAnnotationProcessor()

Method Details

process

public void process(ProcessingContextInformation processingContextInformation,
 Contract contract,
 ClassNode classNode,
 BlockStatement blockStatement,
 BooleanExpression booleanExpression)

Merges the supplied class-invariant expression into the current contract model.

Overrides:

process in class AnnotationProcessor

Parameters:

processingContextInformation - the current processing context

contract - the mutable contract model

classNode - the annotated class

blockStatement - the original invariant block

booleanExpression - the normalized invariant expression