#1000594
  • Created on
    2011-09-02 13:55
  • Reported by
    MattRussell
  • Status
    Fixed
  • Priority
    High (2)
  • Assigned to
    Mirco Dotta
  • Milestone
    2.0
  • Plan Level
    -
  • Permission type
    None
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

Spurious error in Java editor extending a Scala class

A.scala:
trait A {

  def method(n: Int) = 42

}

abstract class B extends A


B.java:
class C extends B {

}


There are no errors in the "Problems" view, but there is red underline error in the editor B.java: "The type C must implement the inherited abstract method A.method(int)". If I remove the "abstract" modifier from B, the error goes away. (This could be a JDT bug, of course.)
User picture
  on 2011-09-07 16:45 *
By Mirco Dotta
Milestone set to 2.0
Priority changed from Normal (3) to High (2)
User picture
  on 2011-09-07 17:11 *
By Mirco Dotta
Assigned to changed from login to Mirco Dotta
User picture
  on 2011-09-15 21:55 *
By Mirco Dotta
Status changed from New to Fixed
(In revision:94464173ed9004c0d4bb74dd281ee823b14e4133) Fixed #1000594. Non-deferred methods of a trait should not produce errors in Java classes that inherit the non-deferred trait members from a Scala abstract class.

Branch:wip_experiment
User picture
  on 2011-09-15 21:55 *
By Mirco Dotta
(In revision:d34fdfc0892325c6aa8bb45a85af248cba9f7fd9) Fixed #1000594. No longer report incorrect missing implementation method error on Java classes that inherit non-deferred traits' members by subclassing a Scala abstract class

Branch:wip_experiment
User picture
  on 2011-11-01 19:53 *
By Mirco Dotta
(In revision:94464173ed9004c0d4bb74dd281ee823b14e4133) Fixed #1000594. Non-deferred methods of a trait should not produce errors in Java classes that inherit the non-deferred trait members from a Scala abstract class.

Branch: issue/implicit-highlighting-1000628
User picture
  on 2011-11-01 19:53 *
By Mirco Dotta
(In revision:d34fdfc0892325c6aa8bb45a85af248cba9f7fd9) Fixed #1000594. No longer report incorrect missing implementation method error on Java classes that inherit non-deferred traits' members by subclassing a Scala abstract class

Branch: issue/implicit-highlighting-1000628