Package org.apache.groovy.contracts.generation

Class ClassInvariantGenerator

java.lang.Object

org.apache.groovy.contracts.generation.BaseGenerator

org.apache.groovy.contracts.generation.ClassInvariantGenerator

public class ClassInvariantGenerator
extends BaseGenerator

Code generator for class invariants.

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
ClassInvariantGenerator(org.codehaus.groovy.control.io.ReaderSource source)

Method Summary

Modifier and Type	Method	Description
void	addInvariantAssertionStatement(org.codehaus.groovy.ast.ClassNode type, org.codehaus.groovy.ast.MethodNode method)	Adds the current class-invariant to the given method.
void	generateInvariantAssertionStatement(org.codehaus.groovy.ast.ClassNode type, ClassInvariant classInvariant)	Reads the Invariant boolean expression and generates a synthetic method holding this class invariant.

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

ClassInvariantGenerator

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

Method Details

generateInvariantAssertionStatement

public void generateInvariantAssertionStatement(org.codehaus.groovy.ast.ClassNode type,
 ClassInvariant classInvariant)

Reads the Invariant boolean expression and generates a synthetic method holding this class invariant. This is used for heir calls to find out about inherited class invariants.

Parameters:

type - the current ClassNode

classInvariant - the ClassInvariant the assertion statement should be generated from

addInvariantAssertionStatement

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

Adds the current class-invariant to the given method.

Parameters:

type - the ClassNode which declared the given MethodNode

method - the current MethodNode