Modify ↓

Opened 15 years ago

Closed 15 years ago

#3817 closed defect (fixed)

[PATCH] fix DataSet cast warning

Reported by: hansendc Owned by: team
Priority: normal Milestone:
Component: Core Version:
Keywords: Cc:

Description

[javac] src/org/openstreetmap/josm/data/osm/DataSet.java:634: warning: [unchecked] unchecked cast
[javac] found : java.util.Collection<capture#506 of ? extends org.openstreetmap.josm.data.osm.OsmPrimitive>
[javac] required: java.util.Set<? extends org.openstreetmap.josm.data.osm.OsmPrimitive>
[javac] referred = (Set<? extends OsmPrimitive>)primitives;
[javac]

The following patch uses two copies of getReferringRelations(). One takes a raw collection and the other an actual set. This avoids the casting, but still preserves the optimization that was there.

Attachments (1)

fix-DataSet-cast-warning.patch​ (1.1 KB ) - added by hansendc 15 years ago.

Download all attachments as: .zip

Change History (2)

by hansendc, 15 years ago

Attachment: fix-DataSet-cast-warning.patch​ added

comment:1 by Gubaer, 15 years ago

Resolution: → fixed
Status: new → closed

(In [2352]) applied #3817: applied patch by hansendc: fix DataSet cast warning

Modify Ticket

Change Properties
Set your email in Preferences
Action
as closed The owner will remain team.
as The resolution will be set.
The resolution will be deleted. Next status will be 'reopened'.

Add Comment
E-mail address and name can be saved in the Preferences .
Attachments ↑ Description ↑
 
Note: See TracTickets for help on using tickets.