Changeset 9658 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2016-01-27T22:27:54+01:00 (9 years ago)

Author:

stoecker

Message:

see #12313 - support mirror URLs in editor compare and JOSM imagery loader

File:

• trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java

@@ -145 +145 @@
         }
     }
-
 
     /** original name of the imagery entry in case of translation call, for multiple languages English when possible */
@@ -186 +185 @@
     /** country code of the imagery (for country specific imagery) */
     private String countryCode = "";
+    /** mirrors of different type for this entry */
+    private List<ImageryInfo> mirrors = null;
     /** icon used in menu */
     private String icon;
@@ -1029 +1030 @@
     }
 
+    /**
+     * Adds a mirror entry. Mirror entries are completed with the data from the master entry
+     * and only describe another method to access identical data.
+     *
+     * @param entry the mirror to be added
+     * @since 9658
+     */
+    public void addMirror(ImageryInfo entry) {
+       if (mirrors == null) {
+           mirrors = new ArrayList<>();
+       }
+       mirrors.add(entry);
+    }
+
+    /**
+     * Returns the mirror entries. Entries are completed with master entry data.
+     *
+     * @return the list of mirrors
+     * @since 9658
+     */
+    public List<ImageryInfo> getMirrors() {
+       List<ImageryInfo> l = new ArrayList<>();
+       if (mirrors != null) {
+           for (ImageryInfo i : mirrors) {
+               ImageryInfo n = new ImageryInfo(this);
+               if (i.defaultMaxZoom != 0) {
+                   n.defaultMaxZoom = i.defaultMaxZoom;
+               }
+               if (i.defaultMinZoom != 0) {
+                   n.defaultMinZoom = i.defaultMinZoom;
+               }
+               if (i.serverProjections != null) {
+                   n.serverProjections = i.serverProjections;
+               }
+               n.url = i.url;
+               n.imageryType = i.imageryType;
+               if (i.getTileSize() != 0) {
+                   n.setTileSize(i.getTileSize());
+               }
+               l.add(n);
+           }
+       }
+       return l;
+    }
 }