groovy
  1. groovy
  2. GROOVY-5167

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

        CÚdric Champeau made changes -
        Field Original Value New Value
        Fix Version/s 2.0-beta-2 [ 18072 ]
        Affects Version/s 2.0-beta-1 [ 17925 ]
        CÚdric Champeau made changes -
        Status Open [ 1 ] Resolved [ 5 ]
        Resolution Fixed [ 1 ]
        Paul King made changes -
        Status Resolved [ 5 ] Closed [ 6 ]

          People

          • Assignee:
            CÚdric Champeau
            Reporter:
            Guillaume Laforge
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved: