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-2025 The Apache Software Foundation. All rights reserved.