public abstract class BaseGenerator extends Object
Base class for groovy-contracts code generators.
| Modifiers | Name | Description |
|---|---|---|
static String |
INVARIANT_CLOSURE_PREFIX |
|
static String |
META_DATA_USE_INLINE_MODE |
|
protected ReaderSource |
source |
| Constructor and description |
|---|
protected BaseGenerator(ReaderSource source) |
| Type Params | Return Type | Name and description |
|---|---|---|
|
protected BooleanExpression |
addCallsToSuperMethodNodeAnnotationClosure(ClassNode type, MethodNode methodNode, Class<? extends Annotation> annotationType, BooleanExpression booleanExpression, boolean isPostcondition) |
|
protected BlockStatement |
getInlineModeBlockStatement(BlockStatement blockStatement) |
|
public static String |
getInvariantMethodName(ClassNode classNode)
|
|
public static MethodNode |
getInvariantMethodNode(ClassNode classNode)
|
|
protected BlockStatement |
wrapAssertionBooleanExpression(ClassNode type, MethodNode methodNode, BooleanExpression classInvariantExpression, String assertionType) |
classNode - the ClassNode used to look up the invariant closure field
classNode - the ClassNode used to look up the invariant closure fieldCopyright © 2003-2022 The Apache Software Foundation. All rights reserved.