Package org.apache.groovy.contracts.generation

Class PostconditionGenerator

java.lang.Object

org.apache.groovy.contracts.generation.BaseGenerator

org.apache.groovy.contracts.generation.PostconditionGenerator

public class PostconditionGenerator
extends BaseGenerator

Code generator for postconditions.

Field Summary

Fields inherited from class org.apache.groovy.contracts.generation.BaseGenerator

INVARIANT_CLOSURE_PREFIX, META_DATA_USE_INLINE_MODE, source

Constructor Summary

Constructors

Constructor	Description
PostconditionGenerator(org.codehaus.groovy.control.io.ReaderSource source)

Method Summary

Modifier and Type	Method	Description
void	addOldVariablesMethod(org.codehaus.groovy.ast.ClassNode classNode)	Adds a synthetic method to the given classNode which can be used to create a map of most instance variables found in this class.
void	generateDefaultPostconditionStatement(org.codehaus.groovy.ast.ClassNode type, org.codehaus.groovy.ast.MethodNode method)	Adds a default postcondition if a postcondition has already been defined for this MethodNode in a super-class.
void	generatePostconditionAssertionStatement(org.codehaus.groovy.ast.MethodNode method, Postcondition postcondition)	Injects a postcondition assertion statement in the given method, based on the booleanExpression.

Methods inherited from class org.apache.groovy.contracts.generation.BaseGenerator

addCallsToSuperMethodNodeAnnotationClosure, getInlineModeBlockStatement, getInvariantMethodName, getInvariantMethodNode, wrapAssertionBooleanExpression

Methods inherited from class java.lang.Object

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

Constructor Details

PostconditionGenerator

public PostconditionGenerator(org.codehaus.groovy.control.io.ReaderSource source)

Method Details

addOldVariablesMethod

public void addOldVariablesMethod(org.codehaus.groovy.ast.ClassNode classNode)

Adds a synthetic method to the given classNode which can be used to create a map of most instance variables found in this class. Used for the old variable mechanism.

Parameters:

classNode - the ClassNode to add the synthetic method to

generatePostconditionAssertionStatement

public void generatePostconditionAssertionStatement(org.codehaus.groovy.ast.MethodNode method,
 Postcondition postcondition)

Injects a postcondition assertion statement in the given method, based on the booleanExpression.

Parameters:

method - the MethodNode for assertion injection

postcondition - the Postcondition the assertion statement should be generated from

generateDefaultPostconditionStatement

public void generateDefaultPostconditionStatement(org.codehaus.groovy.ast.ClassNode type,
 org.codehaus.groovy.ast.MethodNode method)

Adds a default postcondition if a postcondition has already been defined for this MethodNode in a super-class.

Parameters:

type - the current ClassNode of the given methodNode

method - the MethodNode to create the default postcondition for