Bug 110433 - JavaModelManager#getElementsOutOfSynchWithBuffers() should use a HashSet
Summary: JavaModelManager#getElementsOutOfSynchWithBuffers() should use a HashSet
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.1   Edit
Hardware: PC Windows XP
: P3 normal (vote)
Target Milestone: 3.2 M3   Edit
Assignee: Jerome Lanneluc CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-09-23 09:29 EDT by Jerome Lanneluc CLA
Modified: 2005-10-28 11:29 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 Jerome Lanneluc CLA 2005-09-23 09:29:42 EDT 
I20050922

JavaModelManager#getElementsOutOfSynchWithBuffers() and its senders should use a
HashSet instead of a Map where the key and the value are the same.
Comment 1 Jerome Lanneluc CLA 2005-09-29 09:25:15 EDT 
Fixed
Comment 2 Olivier Thomann CLA 2005-10-28 11:29:45 EDT 
Verified for 3.2 M3 using build I20051025-0800+JDT/Core v_618a