[GROOVY-9237] GContracts and Groovy3

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 3.0.0-rc-1
• Assignee: Eric Milles
• Reporter: Paul King
• Created: 29/Aug/19 09:40
• Updated: 24/Nov/19 02:44
• Resolved: 11/Oct/19 13:56

Description

The following runs fine in 2.5.8 (needs gcontracts and asm jars on classpath):

import org.gcontracts.annotations.Invariant
import groovy.transform.*

@Invariant({ month >= 1 && month <= 12 && day >= 1 && day <= lastDay[month-1] })
@MapConstructor
@ToString(includeNames=true)
class Calendar {
    private static final int[] lastDay = [31,29,31,30,31,30,31,31,30,31,30,31]
    int month
    int day
    
    def mutateByOneMonth() {
        month++
    }
}

new Calendar(month: 2, day: 2).mutateByOneMonth() // Okay
new Calendar(month: 12, day: 2).mutateByOneMonth() // ClassInvariantViolation
new Calendar(month: 1, day: 31).mutateByOneMonth() // ClassInvariantViolation

but with 3.0.0-beta-3 I get:

java.lang.IllegalAccessError: tried to access method org.codehaus.groovy.ast.stmt.EmptyStatement.<init>()V from class org.gcontracts.generation.TryCatchBlockGenerator

We should check whether we have made an unneeded breaking change or whether a gcontracts upgrade might be needed.

Issue Links

• links to: GitHub Pull Request #1017