Package org.apache.groovy.contracts.generation

Class BaseGenerator

java.lang.Object

org.apache.groovy.contracts.generation.BaseGenerator

Direct Known Subclasses:

ClassInvariantGenerator, PostconditionGenerator, PreconditionGenerator

public abstract class BaseGenerator
extends Object

Base class for groovy-contracts code generators.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	INVARIANT_CLOSURE_PREFIX
static final String	META_DATA_USE_INLINE_MODE
protected final org.codehaus.groovy.control.io.ReaderSource	source

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BaseGenerator(org.codehaus.groovy.control.io.ReaderSource source)

Method Summary

Modifier and Type	Method	Description
protected org.codehaus.groovy.ast.expr.BooleanExpression	addCallsToSuperMethodNodeAnnotationClosure(org.codehaus.groovy.ast.ClassNode type, org.codehaus.groovy.ast.MethodNode methodNode, Class<? extends Annotation> annotationType, org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression, boolean isPostcondition)
protected org.codehaus.groovy.ast.stmt.BlockStatement	getInlineModeBlockStatement(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement)
static String	getInvariantMethodName(org.codehaus.groovy.ast.ClassNode classNode)
static org.codehaus.groovy.ast.MethodNode	getInvariantMethodNode(org.codehaus.groovy.ast.ClassNode classNode)
protected org.codehaus.groovy.ast.stmt.BlockStatement	wrapAssertionBooleanExpression(org.codehaus.groovy.ast.ClassNode type, org.codehaus.groovy.ast.MethodNode methodNode, org.codehaus.groovy.ast.expr.BooleanExpression classInvariantExpression, String assertionType)

Methods inherited from class java.lang.Object

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

Field Details

INVARIANT_CLOSURE_PREFIX

public static final String INVARIANT_CLOSURE_PREFIX

See Also:

• Constant Field Values

META_DATA_USE_INLINE_MODE

public static final String META_DATA_USE_INLINE_MODE

See Also:

• Constant Field Values

source

protected final org.codehaus.groovy.control.io.ReaderSource source

Constructor Details

BaseGenerator

protected BaseGenerator(org.codehaus.groovy.control.io.ReaderSource source)

Method Details

getInvariantMethodName

public static String getInvariantMethodName(org.codehaus.groovy.ast.ClassNode classNode)

Parameters:

classNode - the ClassNode used to look up the invariant closure field

Returns:

the field name of the invariant closure field of the given classNode

getInvariantMethodNode

public static org.codehaus.groovy.ast.MethodNode getInvariantMethodNode(org.codehaus.groovy.ast.ClassNode classNode)

Parameters:

classNode - the ClassNode used to look up the invariant closure field

Returns:

the MethodNode which contains the invariant of the given classNode

getInlineModeBlockStatement

protected org.codehaus.groovy.ast.stmt.BlockStatement getInlineModeBlockStatement(org.codehaus.groovy.ast.stmt.BlockStatement blockStatement)

wrapAssertionBooleanExpression

protected org.codehaus.groovy.ast.stmt.BlockStatement wrapAssertionBooleanExpression(org.codehaus.groovy.ast.ClassNode type,
 org.codehaus.groovy.ast.MethodNode methodNode,
 org.codehaus.groovy.ast.expr.BooleanExpression classInvariantExpression,
 String assertionType)

addCallsToSuperMethodNodeAnnotationClosure

protected org.codehaus.groovy.ast.expr.BooleanExpression addCallsToSuperMethodNodeAnnotationClosure(org.codehaus.groovy.ast.ClassNode type,
 org.codehaus.groovy.ast.MethodNode methodNode,
 Class<? extends Annotation> annotationType,
 org.codehaus.groovy.ast.expr.BooleanExpression booleanExpression,
 boolean isPostcondition)