[GROOVY-5167] GDK date methods not recognized by the static type checker

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-1
• Fix Version/s: 2.0-beta-2
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Guillaume Sauthier
• Created: 05/Dec/11 09:36
• Updated: 24/Dec/11 03:08
• Resolved: 05/Dec/11 10:09

Description

I was playing with the following snippet:

import groovy.transform.TypeChecked
@TypeChecked void m() {
    def s = "1234"
    println s.toInteger()
    s = 1234
    println s * 3
    s = new Date()
    println s.year
    println s.format("yyyyMMdd")
}
m()

And the static type checker was complaining on the s.format() call.
The format() method is part of DateGroovyMethods, not directly DefaultGroovyMethods, for modularity sake, and hence it wasn't recognized.