Summary: | [search] Rename of public method to toString() failed with internal error | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Jörg Thönnes <jtk499> |
Component: | Core | Assignee: | Frederic Fusier <frederic_fusier> |
Status: | VERIFIED WORKSFORME | QA Contact: | |
Severity: | major | ||
Priority: | P3 | CC: | Olivier_Thomann |
Version: | 3.3.2 | Keywords: | needinfo |
Target Milestone: | 3.5 | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Jörg Thönnes
2009-03-12 05:01:25 EDT
Further details: The method @asReorderString@ was already used in one other place. I wanted to rename the method to "@toString()@", but this failed. Looking at the method were the method was used, I saw the @toString()@ was already used here. The special case here is that the target name is a method present in every class which has to be overridden. Is your workspace well synchronized? Could you try to make a refresh of all projects contained in it and see if you can reproduce the problem again? (In reply to comment #2) > Is your workspace well synchronized? Could you try to make a refresh of all > projects contained in it and see if you can reproduce the problem again? If I remember correctly, my workspace was synchronized. But in the meantime, a lot of things changed of course. I will try to reproduce as soon as my time allows (end of week). Closing as I cannot reproduce this since I switched to Eclipse 3.5 a while ago. Verified by reporter |