Changeset 32915 in osm for applications

Timestamp:

2016-09-03T17:11:07+02:00 (8 years ago)

Author:

donvip

Message:

fix error-prone warnings

Location:

applications/editors/josm/plugins/imagewaypoint

Files:

• .settings/org.eclipse.jdt.ui.prefs (added)
• src/org/insignificant/josm/plugins/imagewaypoint/ImageEntries.java (modified) (1 diff)
• src/org/insignificant/josm/plugins/imagewaypoint/ImageEntry.java (modified) (2 diffs)
• src/org/insignificant/josm/plugins/imagewaypoint/ImageWayPointDialog.java (modified) (5 diffs)
• src/org/insignificant/josm/plugins/imagewaypoint/ImageWayPointLayer.java (modified) (2 diffs)

applications/editors/josm/plugins/imagewaypoint/src/org/insignificant/josm/plugins/imagewaypoint/ImageEntries.java

@@ -22 +22 @@
         }
 
+        @Override
         public final void onImageReady(final ImageEntry imageEntry,
             final Image image) {

applications/editors/josm/plugins/imagewaypoint/src/org/insignificant/josm/plugins/imagewaypoint/ImageEntry.java

@@ -23 +23 @@
 public final class ImageEntry implements Comparable<ImageEntry> {
     public interface IImageReadyListener {
-    void onImageReady(ImageEntry imageEntry, Image image);
+        void onImageReady(ImageEntry imageEntry, Image image);
     }
 
     private static final class Observer implements ImageObserver {
-    private final ImageEntry imageEntry;
-
-    public Observer(final ImageEntry imageEntry) {
-        this.imageEntry = imageEntry;
-    }
-
-    /**
-     * @see java.awt.image.ImageObserver#imageUpdate(java.awt.Image, int,
-     *      int, int, int, int)
-     * @return true if this ImageObserver still wants to be updates about
-     *         image loading progress
-     */
-    public final boolean imageUpdate(final Image image,
-        final int infoflags, final int x, final int y, final int width,
-        final int height) {
-        final boolean complete = ImageObserver.ALLBITS == (infoflags | ImageObserver.ALLBITS);
-        if (complete) {
-        this.imageEntry.imageLoaded(image);
-        }
-
-        return !complete;
-    }
+        private final ImageEntry imageEntry;
+
+        public Observer(final ImageEntry imageEntry) {
+            this.imageEntry = imageEntry;
+        }
+
+        /**
+         * @see java.awt.image.ImageObserver#imageUpdate(java.awt.Image, int,
+         *      int, int, int, int)
+         * @return true if this ImageObserver still wants to be updates about
+         *         image loading progress
+         */
+        @Override
+        public final boolean imageUpdate(final Image image,
+            final int infoflags, final int x, final int y, final int width,
+            final int height) {
+            final boolean complete = ImageObserver.ALLBITS == (infoflags | ImageObserver.ALLBITS);
+            if (complete) {
+                this.imageEntry.imageLoaded(image);
+            }
+
+            return !complete;
+        }
     }
 
@@ -119 +120 @@
     }
 
+    @Override
     public final int compareTo(final ImageEntry image) {
     return this.fileName.compareTo(image.fileName);

applications/editors/josm/plugins/imagewaypoint/src/org/insignificant/josm/plugins/imagewaypoint/ImageWayPointDialog.java

@@ -22 +22 @@
 public final class ImageWayPointDialog {
     private static final class ImageComponent extends JComponent {
-    private static final long serialVersionUID = -5207198660736375133L;
-
-    private Image image;
-
-    public ImageComponent() {
-        this.image = null;
-    }
-
-    @Override
-    public final void paint(final Graphics g) {
-        if (null == this.image || 0 >= this.image.getWidth(null)
-            || 0 >= this.image.getHeight(null)) {
-        g.setColor(Color.white);
-        g.fillRect(0, 0, this.getSize().width, this.getSize().height);
-        } else {
-        final int maxWidth = this.getSize().width;
-        final int maxHeight = this.getSize().height;
-        final int imageWidth = this.image.getWidth(null);
-        final int imageHeight = this.image.getHeight(null);
-
-        final double aspect = 1.0 * imageWidth / imageHeight;
-
-        // what's the width if the height is 100%?
-        final int widthIfHeightIsMax = (int) (aspect * maxHeight);
-
-        // now find the real width and height
-        final int resizedWidth;
-        final int resizedHeight;
-        if (widthIfHeightIsMax > maxWidth) {
-            // oops - burst the width - so width should be the max, and
-            // work out the resulting height
-            resizedWidth = maxWidth;
-            resizedHeight = (int) (resizedWidth / aspect);
-        } else {
-            // that'll do...
-            resizedWidth = widthIfHeightIsMax;
-            resizedHeight = maxHeight;
-        }
-
-        g.drawImage(this.image,
-            (maxWidth - resizedWidth) / 2,
-            (maxHeight - resizedHeight) / 2,
-            resizedWidth,
-            resizedHeight,
-            Color.black,
-            null);
-        }
-    }
-
-    public final void setImage(final Image image) {
-        this.image = image;
-        this.repaint();
-    }
+        private static final long serialVersionUID = -5207198660736375133L;
+
+        private Image image;
+
+        public ImageComponent() {
+            this.image = null;
+        }
+
+        @Override
+        public final void paint(final Graphics g) {
+            if (null == this.image || 0 >= this.image.getWidth(null)
+                || 0 >= this.image.getHeight(null)) {
+            g.setColor(Color.white);
+            g.fillRect(0, 0, this.getSize().width, this.getSize().height);
+            } else {
+            final int maxWidth = this.getSize().width;
+            final int maxHeight = this.getSize().height;
+            final int imageWidth = this.image.getWidth(null);
+            final int imageHeight = this.image.getHeight(null);
+
+            final double aspect = 1.0 * imageWidth / imageHeight;
+
+            // what's the width if the height is 100%?
+            final int widthIfHeightIsMax = (int) (aspect * maxHeight);
+
+            // now find the real width and height
+            final int resizedWidth;
+            final int resizedHeight;
+            if (widthIfHeightIsMax > maxWidth) {
+                // oops - burst the width - so width should be the max, and
+                // work out the resulting height
+                resizedWidth = maxWidth;
+                resizedHeight = (int) (resizedWidth / aspect);
+            } else {
+                // that'll do...
+                resizedWidth = widthIfHeightIsMax;
+                resizedHeight = maxHeight;
+            }
+
+            g.drawImage(this.image,
+                (maxWidth - resizedWidth) / 2,
+                (maxHeight - resizedHeight) / 2,
+                resizedWidth,
+                resizedHeight,
+                Color.black,
+                null);
+            }
+        }
+
+        public final void setImage(final Image image) {
+            this.image = image;
+            this.repaint();
+        }
     }
 
     private static final class ImageChangeListener implements
         IImageChangeListener {
-    private final ImageWayPointDialog dialog;
-
-    public ImageChangeListener(final ImageWayPointDialog dialog) {
-        this.dialog = dialog;
-    }
-
-    public final void onAvailableImageEntriesChanged(
-        final ImageEntries entries) {
-        this.dialog.imageDisplay.setImage(entries.getCurrentImage());
-        this.dialog.updateUI();
-    }
-
-    public final void onSelectedImageEntryChanged(final ImageEntries entries) {
-        this.dialog.imageDisplay.setImage(entries.getCurrentImage());
-        this.dialog.updateUI();
-    }
+        private final ImageWayPointDialog dialog;
+
+        public ImageChangeListener(final ImageWayPointDialog dialog) {
+            this.dialog = dialog;
+        }
+
+        @Override
+        public final void onAvailableImageEntriesChanged(
+            final ImageEntries entries) {
+            this.dialog.imageDisplay.setImage(entries.getCurrentImage());
+            this.dialog.updateUI();
+        }
+
+        @Override
+        public final void onSelectedImageEntryChanged(final ImageEntries entries) {
+            this.dialog.imageDisplay.setImage(entries.getCurrentImage());
+            this.dialog.updateUI();
+        }
     }
 
@@ -107 +109 @@
     }
 
+    @Override
     public final void actionPerformed(final ActionEvent actionEvent) {
         if (ImageEntries.getInstance().hasPrevious()) {
@@ -120 +123 @@
     }
 
+    @Override
     public final void actionPerformed(final ActionEvent actionEvent) {
         if (ImageEntries.getInstance().hasNext()) {
@@ -137 +141 @@
     }
 
+    @Override
     public final void actionPerformed(final ActionEvent actionEvent) {
         ImageEntries.getInstance().rotateCurrentImageLeft();
@@ -152 +157 @@
     }
 
+    @Override
     public final void actionPerformed(final ActionEvent actionEvent) {
         ImageEntries.getInstance().rotateCurrentImageRight();

applications/editors/josm/plugins/imagewaypoint/src/org/insignificant/josm/plugins/imagewaypoint/ImageWayPointLayer.java

@@ -52 +52 @@
 
     private static final class ImageChangeListener implements IImageChangeListener {
+        @Override
         public final void onAvailableImageEntriesChanged(
         final ImageEntries entries) {
@@ -57 +58 @@
         }
 
+        @Override
         public final void onSelectedImageEntryChanged(final ImageEntries entries) {
             Main.map.repaint();