/[classpath]/classpath/java/util/PropertyResourceBundle.java
ViewVC logotype

Diff of /classpath/java/util/PropertyResourceBundle.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.14.2.1 by gnu_andrew, Tue Aug 2 20:12:30 2005 UTC revision 1.14.2.2 by tromey, Thu Oct 6 13:41:51 2005 UTC
# Line 126  public class PropertyResourceBundle exte Line 126  public class PropertyResourceBundle exte
126     *     *
127     * @return an enumeration of the keys     * @return an enumeration of the keys
128     */     */
129    public Enumeration getKeys()    public Enumeration<String> getKeys()
130    {    {
131      if (parent == null)      if (parent == null)
132        return properties.propertyNames();        // FIXME: bogus cast.
133          return (Enumeration<String>) properties.propertyNames();
134      // We make a new Set that holds all the keys, then return an enumeration      // We make a new Set that holds all the keys, then return an enumeration
135      // for that. This prevents modifications from ruining the enumeration,      // for that. This prevents modifications from ruining the enumeration,
136      // as well as ignoring duplicates.      // as well as ignoring duplicates.
137      Set s = new HashSet();      Set<String> s = new HashSet<String>();
138      Enumeration e = properties.propertyNames();      // FIXME: bogus cast.
139        Enumeration<String> e = (Enumeration<String>) properties.propertyNames();
140      while (e.hasMoreElements())      while (e.hasMoreElements())
141        s.add(e.nextElement());        s.add(e.nextElement());
142      ResourceBundle bundle = parent;      ResourceBundle bundle = parent;

Legend:
Removed from v.1.14.2.1  
changed lines
  Added in v.1.14.2.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26