Changeset 7019 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2014-04-28T16:41:29+02:00 (10 years ago)

Author:

Don-vip

Message:

see #8465 - fix @SafeVarargs warning, see ​http://docs.oracle.com/javase/7/docs/api/java/lang/SafeVarargs.html

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/dialogs/ToggleDialog.java (modified) (2 diffs)
• tools/Utils.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

@@ -179 +179 @@
         }
     });
-    
+
     /**
      * The linked preferences class (optional). If set, accessible from the title bar with a dedicated button
@@ -862 +862 @@
     }
 
-    protected Component createLayout(Component data, boolean scroll, Collection<SideButton> firstButtons, Collection<SideButton>... nextButtons) {
+    @SafeVarargs
+    protected final Component createLayout(Component data, boolean scroll, Collection<SideButton> firstButtons, Collection<SideButton>... nextButtons) {
         if (scroll) {
             data = new JScrollPane(data);

trunk/src/org/openstreetmap/josm/tools/Utils.java

@@ -126 +126 @@
     /**
      * Returns the first element from {@code items} which is non-null, or null if all elements are null.
-     */
+     * @param items the items to look for
+     * @return first non-null item if there is one
+     */
+    @SafeVarargs
     public static <T> T firstNonNull(T... items) {
         for (T i : items) {
@@ -972 +975 @@
         }
     }
-    
-    /**
-     * Fixes URL with illegal characters in the query (and fragment) part by 
+
+    /**
+     * Fixes URL with illegal characters in the query (and fragment) part by
      * percent encoding those characters.
-     * 
+     *
      * special characters like &amp; and # are not encoded
-     * 
+     *
      * @param url the URL that should be fixed
      * @return the repaired URL
      */
     public static String fixURLQuery(String url) {
-        if (url.indexOf('?') == -1) 
+        if (url.indexOf('?') == -1)
             return url;
-        
+
         String query = url.substring(url.indexOf('?') + 1);
-        
+
         StringBuilder sb = new StringBuilder(url.substring(0, url.indexOf('?') + 1));
-        
+
         for (int i=0; i<query.length(); i++) {
             String c = query.substring(i, i+1);
@@ -1004 +1007 @@
         return sb.toString();
     }
-    
+
 }