[GROOVY-4121] Compiler fails to do assignment-to-final-fields checks on fields made final by @Immutable (was: @Immutable does not make fields immutable)

• Type: Bug
• Status: Closed
• Priority: Critical
• Resolution: Fixed
• Affects Version/s: 1.7.1
• Fix Version/s: 1.7.2, 1.8-beta-1
• Environment: osx, groovyConsole
• Assignee: Roshan Dawrani
• Reporter: Johannes Link
• Created: 22/Mar/10 05:55
• Updated: 07/Apr/10 23:45
• Resolved: 23/Mar/10 03:49

Description

@Immutable annotation does not prevent changing fields:

@Immutable
class Account {
    BigDecimal balance
    String customer
    
    Account deposit(amount) {
        balance = balance + amount
        this
    }
    
    String toString() {
        "Account[balance: $balance, customer: $customer]"   
    }
}

def acc = new Account(0.0, "Test")
acc.deposit(3.1) //should raise exception, shouldn't it?
assert 3.1 == acc.balance 

Maybe I got the description in http://groovy.codehaus.org/api/groovy/lang/Immutable.html wrong:
"Properties automatically have private, final backing fields with getters. Attempts to update the property will result in a ReadOnlyPropertyException." ?