Bug 39475 - Extra error diagnosis in editor from siblings
Summary: Extra error diagnosis in editor from siblings
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.0   Edit
Hardware: PC Windows 2000
: P3 normal (vote)
Target Milestone: 3.0 M2   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-06-30 08:55 EDT by Philipe Mulet CLA
Modified: 2003-07-16 06:10 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Philipe Mulet CLA 2003-06-30 08:55:47 EDT 
Build 3.0m1

I was editing a subclass, for which its supertype had an abstract method 
signature using unbound type. 
This error got reported against the subtype, but it shouldn't have been so.

e.g.
X.java
public abstract class X {
  public abstract void foo(Zork z);
}


Y.java
public class Y extends X { //--> shouldn't complain about Zork here
}


Note: this only occurs while editor is reconciling.
Comment 1 Philipe Mulet CLA 2003-06-30 09:03:59 EDT 
Actually, testcase is slightly more subtle:

// p/X.java
package p;
public abstract class X {
	public abstract void bar();
	public abstract Zork foo(Zork z);
}
------------------------------------
// q/X.java
package q;
public class X extends p.X {
	public void bar() {
	}
}

Problem is likely located inside problem reporter which hides problem outside 
the unit by using the simply filename where it should use the qualified name.
Comment 2 Philipe Mulet CLA 2003-07-01 09:34:27 EDT 
Regression test added. Fixed (also fixed DOM AST resolver).
Comment 3 Philipe Mulet CLA 2003-07-01 11:01:32 EDT 
Fixed
Comment 4 David Audel CLA 2003-07-16 06:10:34 EDT 
Verified.