Changeset 18930 in josm

Timestamp:

2023-12-31T20:54:02+01:00 (12 months ago)

Author:

stoecker

Message:

checkstyle

Location:

trunk/src/org/openstreetmap/josm/gui/animation

Files:

• DropImage.java (modified) (4 diffs)
• IAnimObject.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/animation/DropImage.java

@@ -20 +20 @@
 /**
  * A random image displayed when {@link ChristmasExtension} is active.
- * @since xxx
+ * @since 18929
  */
 class DropImage implements IAnimObject {
@@ -74 +74 @@
                 ArrayList<File> dirs = new ArrayList<File>();
                 dirs.add(new File(url.toURI()));
-                do
-                {
-                    for(File f : dirs.remove(0).listFiles()) {
-                        if(f.isFile()) {
+                do {
+                    for (File f : dirs.remove(0).listFiles()) {
+                        if (f.isFile()) {
                             result.add(f.getPath());
                         } else {
@@ -83 +82 @@
                         }
                     }
-                } while(dirs.size() > 0);
+                } while (dirs.size() > 0);
                 name = result.get(seed.nextInt(result.size()));
             } else if (url != null && url.getProtocol().equals("jar")) {
@@ -89 +88 @@
                 JarFile jar = new JarFile(URLDecoder.decode(jarPath, "UTF-8"));
                 Enumeration<JarEntry> entries = jar.entries();
-                while(entries.hasMoreElements()) {
+                while (entries.hasMoreElements()) {
                     String fileName = entries.nextElement().getName();
-                    if(fileName.startsWith(path) && !fileName.endsWith("/")) {
+                    if (fileName.startsWith(path) && !fileName.endsWith("/")) {
                         result.add(fileName.substring(7));
                     }

trunk/src/org/openstreetmap/josm/gui/animation/IAnimObject.java

@@ -6 +6 @@
 /**
  * An animated object
- * @since xxx
+ * @since 18929
  */
 public interface IAnimObject {
 
-    public void paint(Graphics g);
+    /** Paint the object
+    * @param g the graphics object to paint to
+    */
+    void paint(Graphics g);
 
-    public void setExtend(int w, int h);
+    /** Set the extend when window size changed
+    * @param w window width
+    * @param h window height
+    */
+    void setExtend(int w, int h);
 
-    public void animate();
+    /** Animate the object - Cause next step of animation
+    */
+    void animate();
 }