Field Detail

• public static final String INVARIANT_CLOSURE_PREFIX

• public static final String META_DATA_USE_INLINE_MODE

• protected final ReaderSource source

Constructor Detail

• protected BaseGenerator(ReaderSource source)

Method Detail

• 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

  Returns:

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

• public static MethodNode getInvariantMethodNode(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

• protected BlockStatement wrapAssertionBooleanExpression(ClassNode type, MethodNode methodNode, BooleanExpression classInvariantExpression, String assertionType)