Changeset 23190 in osm for applications/editors/josm/plugins/wms-turbo-challenge2/src/wmsturbochallenge/FakeMapView.java

Timestamp:

2010-09-15T18:54:18+02:00 (15 years ago)

Author:

stoecker

Message:

remove tabs

File:

• applications/editors/josm/plugins/wms-turbo-challenge2/src/wmsturbochallenge/FakeMapView.java (modified) (1 diff)

applications/editors/josm/plugins/wms-turbo-challenge2/src/wmsturbochallenge/FakeMapView.java

@@ -26 +26 @@
 
 class fake_map_view extends MapView {
-        public ProjectionBounds view_bounds;
-        public MapView parent;
+    public ProjectionBounds view_bounds;
+    public MapView parent;
 
-        public Graphics2D graphics;
-        public BufferedImage ground_image;
-        public int ground_width = -1;
-        public int ground_height = -1;
-        public double scale;
-        public double max_east_west;
+    public Graphics2D graphics;
+    public BufferedImage ground_image;
+    public int ground_width = -1;
+    public int ground_height = -1;
+    public double scale;
+    public double max_east_west;
 
-        public fake_map_view(MapView parent, double scale) {
-                super(null); //TODO MapView constructor contains registering listeners and other code, that probably shouldn't be called in fake map view
-                this.parent = parent;
-                this.scale = scale;
+    public fake_map_view(MapView parent, double scale) {
+        super(null); //TODO MapView constructor contains registering listeners and other code, that probably shouldn't be called in fake map view
+        this.parent = parent;
+        this.scale = scale;
 
-                ProjectionBounds parent_bounds = parent.getProjectionBounds();
-                max_east_west =
-                        parent_bounds.max.east() - parent_bounds.min.east();
-        }
+        ProjectionBounds parent_bounds = parent.getProjectionBounds();
+        max_east_west =
+            parent_bounds.max.east() - parent_bounds.min.east();
+    }
 
-        public void setProjectionBounds(ProjectionBounds bounds) {
-                view_bounds = bounds;
+    public void setProjectionBounds(ProjectionBounds bounds) {
+        view_bounds = bounds;
 
-                if (bounds.max.east() - bounds.min.east() > max_east_west) {
-                        max_east_west = bounds.max.east() - bounds.min.east();
+        if (bounds.max.east() - bounds.min.east() > max_east_west) {
+            max_east_west = bounds.max.east() - bounds.min.east();
 
-                        /* We need to set the parent MapView's bounds (i.e.
-                         * zoom level) to the same as ours max possible
-                         * bounds to avoid WMSLayer thinking we're zoomed
-                         * out more than we are or it'll pop up an annoying
-                         * "requested area is too large" popup.
-                         */
-                        EastNorth parent_center = parent.getCenter();
-                        parent.zoomTo(new ProjectionBounds(
-                                        new EastNorth(
-                                                parent_center.east() -
-                                                max_east_west / 2,
-                                                parent_center.north()),
-                                        new EastNorth(
-                                                parent_center.east() +
-                                                max_east_west / 2,
-                                                parent_center.north())));
+            /* We need to set the parent MapView's bounds (i.e.
+             * zoom level) to the same as ours max possible
+             * bounds to avoid WMSLayer thinking we're zoomed
+             * out more than we are or it'll pop up an annoying
+             * "requested area is too large" popup.
+             */
+            EastNorth parent_center = parent.getCenter();
+            parent.zoomTo(new ProjectionBounds(
+                    new EastNorth(
+                        parent_center.east() -
+                        max_east_west / 2,
+                        parent_center.north()),
+                    new EastNorth(
+                        parent_center.east() +
+                        max_east_west / 2,
+                        parent_center.north())));
 
-                        /* Request again because NavigatableContent adds
-                         * a border just to be sure.
-                         */
-                        ProjectionBounds new_bounds =
-                                parent.getProjectionBounds();
-                        max_east_west =
-                                new_bounds.max.east() - new_bounds.min.east();
-                }
+            /* Request again because NavigatableContent adds
+             * a border just to be sure.
+             */
+            ProjectionBounds new_bounds =
+                parent.getProjectionBounds();
+            max_east_west =
+                new_bounds.max.east() - new_bounds.min.east();
+        }
 
-                Point vmin = getPoint(bounds.min);
-                Point vmax = getPoint(bounds.max);
-                int w = vmax.x + 1;
-                int h = vmin.y + 1;
+        Point vmin = getPoint(bounds.min);
+        Point vmax = getPoint(bounds.max);
+        int w = vmax.x + 1;
+        int h = vmin.y + 1;
 
-                if (w <= ground_width && h <= ground_height) {
-                        graphics.setClip(0, 0, w, h);
-                        return;
-                }
+        if (w <= ground_width && h <= ground_height) {
+            graphics.setClip(0, 0, w, h);
+            return;
+        }
 
-                if (w > ground_width)
-                        ground_width = w;
-                if (h > ground_height)
-                        ground_height = h;
+        if (w > ground_width)
+            ground_width = w;
+        if (h > ground_height)
+            ground_height = h;
 
-                ground_image = new BufferedImage(ground_width,
-                                ground_height,
-                                BufferedImage.TYPE_INT_RGB);
-                graphics = ground_image.createGraphics();
-                graphics.setClip(0, 0, w, h);
-        }
+        ground_image = new BufferedImage(ground_width,
+                ground_height,
+                BufferedImage.TYPE_INT_RGB);
+        graphics = ground_image.createGraphics();
+        graphics.setClip(0, 0, w, h);
+    }
 
-        public ProjectionBounds getProjectionBounds() {
-                return view_bounds;
-        }
+    public ProjectionBounds getProjectionBounds() {
+        return view_bounds;
+    }
 
-        public Point getPoint(EastNorth p) {
-                double x = p.east() - view_bounds.min.east();
-                double y = view_bounds.max.north() - p.north();
-                x /= this.scale;
-                y /= this.scale;
+    public Point getPoint(EastNorth p) {
+        double x = p.east() - view_bounds.min.east();
+        double y = view_bounds.max.north() - p.north();
+        x /= this.scale;
+        y /= this.scale;
 
-                return new Point((int) x, (int) y);
-        }
+        return new Point((int) x, (int) y);
+    }
 
-        public EastNorth getEastNorth(int x, int y) {
-                return new EastNorth(
-                        view_bounds.min.east() + x * this.scale,
-                        view_bounds.min.north() - y * this.scale);
-        }
+    public EastNorth getEastNorth(int x, int y) {
+        return new EastNorth(
+            view_bounds.min.east() + x * this.scale,
+            view_bounds.min.north() - y * this.scale);
+    }
 
-        public boolean isVisible(int x, int y) {
-                return true;
-        }
+    public boolean isVisible(int x, int y) {
+        return true;
+    }
 
-        public Graphics getGraphics() {
-                return graphics;
-        }
+    public Graphics getGraphics() {
+        return graphics;
+    }
 
-        public void repaint() {
-        }
+    public void repaint() {
+    }
 }