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

Class EnsuresAnnotationProcessor

java.lang.Object

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

org.apache.groovy.contracts.common.impl.EnsuresAnnotationProcessor

public class EnsuresAnnotationProcessor
extends AnnotationProcessor

Internal AnnotationProcessor implementation for post-conditions.

Constructor Summary

Constructors

Constructor	Description
EnsuresAnnotationProcessor()

Method Summary

Modifier and Type	Method	Description
void	process(ProcessingContextInformation processingContextInformation, Contract contract, ClassNode classNode, MethodNode methodNode, BlockStatement blockStatement, BooleanExpression booleanExpression)	Adds the supplied postcondition to the contract model for the given method or constructor.

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

EnsuresAnnotationProcessor

public EnsuresAnnotationProcessor()

Method Details

process

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

Adds the supplied postcondition to the contract model for the given method or constructor.

Overrides:

process in class AnnotationProcessor

Parameters:

processingContextInformation - the current processing context

contract - the mutable contract model

classNode - the declaring class

methodNode - the annotated method or constructor

blockStatement - the original postcondition block

booleanExpression - the normalized postcondition expression