[GROOVY-6325] Type checking complains when calling getter of delegated-to object with property syntax

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.2.0-beta-1
• Fix Version/s: 2.2.0
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Peter Niederwieser
• Created: 27/Aug/13 21:35
• Updated: 14/Oct/13 16:53
• Resolved: 10/Sep/13 11:42

Description

import groovy.transform.TypeChecked

@TypeChecked
class MyCar {
    private String _brand
    private String _model

    String getBrand() {
        return _brand
    }

    void setBrand(String brand) {
        _brand = brand
    }

    String getModel() {
        return _model
    }

    void setModel(String model) {
        _model = model
    }
}

@TypeChecked
class MyCarMain {
    static void main(String[] args) {
        def main = new MyCarMain()
        def car = main.configureCar {
            brand = "BMW"
            model = brand
        }
        println car.model
    }

    MyCar configureCar(@DelegatesTo(value = MyCar, strategy = Closure.DELEGATE_FIRST) Closure closure) {
        def car = new MyCar()
        closure.delegate = car
        closure.resolveStrategy = Closure.DELEGATE_FIRST
        closure()
        car
    }
}

Groovyc: [Static type checking] - The variable [brand] is undeclared.

model = getBrand() solves the problem. Problem doesn't occur when declaring MyCar as:

class MyCar {
  String brand
  String model
}