Bugzilla – Full Text Bug Listing
| Summary: | [search] False reference matches | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Brian Miller <Brian.Miller> |
| Component: | Core | Assignee: | JDT-Core-Inbox <jdt-core-inbox> |
| Status: | CLOSED WONTFIX | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | frederic_fusier, martinae, Olivier_Thomann |
| Version: | 3.3.1 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | stalebug | ||
Looks like a impreciseness in the search engine: - search for all references of 'make' in line 37 - results in two matches: - inside Capture(): correct - inside save(): wrong, not connected I verified that both matches are reported ac 'A_ACCURATE' This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. As such, we're closing this bug. If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie. |
Build ID: M20071023-1652 Steps To Reproduce: The call hierarchy for make() defined on LINE 39 wrongly includes an invocation from Bug.save(). Bug.save() calls Newby.make(), which is *not* an override of Capture.make(). But LINE 39's declaration *is* an override of Capture.make(). ------------------- Bug.java ---------------------- class Bug<Type extends Number>{ abstract class Newby<Typing extends Number>{ abstract Typing make(); } abstract class Row{} final class Picker extends Row{} Newby[]newbies; final void save(){ for(Newby<Type>newby:newbies) newby.make(); } void createControl(){ abstract class Capture<Typed extends Number>{ Capture(){make();} void make(){} abstract Newby<Typed>scrape(); } class Finger extends Capture<Short>{ @Override Newby<Short>scrape(){ return new Newby<Short>(){ @Override Short make(){ return null; }}; } } new Finger(){ void make(){}}; //// LINE 39 /////////// }}