[Java] Class BaseGenerator

public abstract class BaseGenerator
extends Object

Base class for groovy-contracts code generators.

Field Summary

Constructors
Constructor and description
`protected BaseGenerator(ReaderSource source)`

Methods
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)` Parameters: `classNode` - the ClassNode used to look up the invariant closure field
	`public static MethodNode`	`getInvariantMethodNode(ClassNode classNode)` Parameters: `classNode` - the ClassNode used to look up the invariant closure field
	`protected BlockStatement`	`wrapAssertionBooleanExpression(ClassNode type, MethodNode methodNode, BooleanExpression classInvariantExpression, String assertionType)`

Inherited Methods
Methods inherited from class	Name
`class Object`	`wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll`

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

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

Returns:: the MethodNode which contains the invariant of the given classNode