groovy

GDK date methods not recognized by the static type checker

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: 2.0-beta-1
  • Fix Version/s: 2.0-beta-2
  • Component/s: Static Type Checker
  • Labels:
    None
  • Number of attachments :
    0

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.

Activity

Ascending order - Click to sort in descending order
Cedric Champeau made changes -
Field Original Value New Value
Fix Version/s 2.0-beta-2 [ 18072 ]
Affects Version/s 2.0-beta-1 [ 17925 ]
Cedric Champeau made changes -
Status Open [ 1 ] Resolved [ 5 ]
Resolution Fixed [ 1 ]
Paul King made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

  • Assignee:
    Cedric Champeau
    Reporter:
    Guillaume Laforge
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: