Uploaded image for project: 'Groovy'
  1. Groovy
  2. GROOVY-5238

Methods belonging to a different source unit get visited and report errors at the wrong place

    Details

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

      Description

      If a method call expression references a method from another class, the method called gets visited (if it is statically checked) even if the class doesn't belong to the same source unit. This triggers incorrect error reporting (errors in the wrong file).

      Fixing completely this requires a large amount of work, so return type inference will only work for methods in the same source unit at first.

      See TODO in StaticTypeCheckingVisitor.

        Attachments

          Activity

            People

            • Assignee:
              melix Cédric Champeau
              Reporter:
              melix Cédric Champeau
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: