Bump java lib versions in preparation for 1.9.2
[fw/altos] / altoslib / AltosMap.java
1 /*
2  * Copyright © 2010 Anthony Towns <aj@erisian.com.au>
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License as published by
6  * the Free Software Foundation; either version 2 of the License, or
7  * (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful, but
10  * WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License along
15  * with this program; if not, write to the Free Software Foundation, Inc.,
16  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
17  */
18
19 package org.altusmetrum.altoslib_14;
20
21 import java.io.*;
22 import java.lang.*;
23 import java.util.*;
24 import java.util.concurrent.*;
25
26 public class AltosMap implements AltosMapTileListener, AltosMapStoreListener {
27
28         public static final int px_size = 512;
29
30         public static final int maptype_hybrid = 0;
31         public static final int maptype_roadmap = 1;
32         public static final int maptype_satellite = 2;
33         public static final int maptype_terrain = 3;
34         public static final int maptype_default = maptype_hybrid;
35
36         public static final int default_zoom = 15;
37         public static final int min_zoom = 3;
38         public static final int max_zoom = 21;
39
40         public static final String[] maptype_names = {
41                 "hybrid",
42                 "roadmap",
43                 "satellite",
44                 "terrain"
45         };
46
47         public static final String[] maptype_labels = {
48                 "Hybrid",
49                 "Roadmap",
50                 "Satellite",
51                 "Terrain"
52         };
53
54         AltosMapInterface       map_interface;
55         int                     scale;
56
57         AltosMapCache           cache;
58
59         public AltosMapCache cache() { return cache; }
60
61         LinkedList<AltosMapMark> marks = new LinkedList<AltosMapMark>();
62
63         AltosMapPath            path;
64         AltosMapLine            line;
65         public AltosLatLon      last_position;
66
67         boolean         have_boost = false;
68         boolean         have_landed = false;
69
70         ConcurrentHashMap<AltosPointInt,AltosMapTile> tiles = new ConcurrentHashMap<AltosPointInt,AltosMapTile>();
71         int             load_radius;
72         AltosLatLon     load_centre = null;
73         AltosMapTileListener    load_listener;
74
75         int             zoom = AltosMap.default_zoom;
76         int             maptype = AltosMap.maptype_default;
77
78         long            user_input_time;
79
80         /* Milliseconds to wait after user action before auto-scrolling
81          */
82         static final long auto_scroll_delay = 20 * 1000;
83
84         public AltosMapTransform        transform;
85         AltosLatLon             centre;
86
87         public void reset() {
88                 // nothing
89         }
90
91         /* MapInterface wrapping functions */
92
93         public void repaint(int x, int y, int w, int h) {
94                 map_interface.repaint(new AltosRectangle(x, y, w, h));
95         }
96
97         public void repaint(AltosMapRectangle damage, int pad) {
98                 AltosRectangle r = transform.screen(damage);
99                 repaint(r.x - pad, r.y - pad, r.width + pad * 2, r.height + pad * 2);
100         }
101
102         public void repaint() {
103                 map_interface.repaint();
104         }
105
106         public int width() {
107                 return map_interface.width();
108         }
109
110         public int height() {
111                 return map_interface.height();
112         }
113
114         public void debug(String format, Object ... arguments) {
115                 map_interface.debug(format, arguments);
116         }
117
118         static public AltosPointInt floor(AltosPointDouble point) {
119                 return new AltosPointInt ((int) Math.floor(point.x / AltosMap.px_size) * AltosMap.px_size,
120                                               (int) Math.floor(point.y / AltosMap.px_size) * AltosMap.px_size);
121         }
122
123         static public AltosPointInt ceil(AltosPointDouble point) {
124                 return new AltosPointInt ((int) Math.ceil(point.x / AltosMap.px_size) * AltosMap.px_size,
125                                               (int) Math.ceil(point.y / AltosMap.px_size) * AltosMap.px_size);
126         }
127
128         public void notice_user_input() {
129                 user_input_time = System.currentTimeMillis();
130         }
131
132         public boolean recent_user_input() {
133                 return (System.currentTimeMillis() - user_input_time) < auto_scroll_delay;
134         }
135
136         public boolean has_centre() {
137                 return centre != null;
138         }
139
140         public boolean far_from_centre(AltosLatLon lat_lon) {
141
142                 if (centre == null || transform == null)
143                         return true;
144
145                 AltosPointDouble        screen = transform.screen(lat_lon);
146
147                 int             width = width();
148                 int             dx = Math.abs ((int) (double) screen.x - width/2);
149
150                 if (dx > width / 4)
151                         return true;
152
153                 int             height = height();
154                 int             dy = Math.abs ((int) (double) screen.y - height/2);
155
156                 if (dy > height / 4)
157                         return true;
158
159                 return false;
160         }
161
162         public void set_transform() {
163                 if (centre != null) {
164                         transform = new AltosMapTransform(width(), height(), zoom, centre);
165                         repaint();
166                 }
167         }
168
169         private void set_zoom_label() {
170                 map_interface.set_zoom_label(String.format("Zoom %d", get_zoom() - default_zoom));
171         }
172
173
174         public boolean set_zoom(int zoom) {
175                 notice_user_input();
176                 if (AltosMap.min_zoom <= zoom && zoom <= AltosMap.max_zoom && zoom != this.zoom) {
177                         this.zoom = zoom;
178                         tiles.clear();
179                         set_transform();
180                         set_zoom_label();
181                         return true;
182                 }
183                 return false;
184         }
185
186         public boolean set_zoom_centre(int zoom, AltosPointInt centre) {
187                 AltosLatLon     mouse_lat_lon = null;
188                 boolean         ret;
189
190                 if (transform != null)
191                         mouse_lat_lon = transform.screen_lat_lon(centre);
192
193                 ret = set_zoom(zoom);
194
195                 if (ret && mouse_lat_lon != null) {
196                         AltosPointDouble        new_mouse = transform.screen(mouse_lat_lon);
197
198                         double  dx = width()/2.0 - centre.x;
199                         double  dy = height()/2.0 - centre.y;
200
201                         AltosLatLon     new_centre = transform.screen_lat_lon(new AltosPointDouble(new_mouse.x + dx, new_mouse.y + dy));
202
203                         centre(new_centre);
204                 }
205
206                 return ret;
207         }
208
209         public int get_zoom() {
210                 return zoom;
211         }
212
213         public boolean set_maptype(int maptype) {
214 /*
215                 if (maptype != this.maptype) {
216                         this.maptype = maptype;
217                         tiles.clear();
218                         repaint();
219                         return true;
220                 }
221 */
222                 return false;
223         }
224
225         public void show(AltosGPS gps, double time, int state, double gps_height) {
226                 /*
227                  * If insufficient gps data, nothing to update
228                  */
229
230                 if (gps == null)
231                         return;
232
233                 if (!gps.locked && gps.nsat < 4)
234                         return;
235
236                 switch (state) {
237                 case AltosLib.ao_flight_boost:
238                         if (!have_boost) {
239                                 add_mark(gps.lat, gps.lon, state);
240                                 have_boost = true;
241                         }
242                         break;
243                 case AltosLib.ao_flight_landed:
244                         if (!have_landed) {
245                                 add_mark(gps.lat, gps.lon, state);
246                                 have_landed = true;
247                         }
248                         break;
249                 }
250
251                 if (path != null) {
252                         AltosMapRectangle       damage = path.add(gps, time, state, gps_height);
253
254                         if (damage != null)
255                                 repaint(damage, AltosMapPath.stroke_width);
256                 }
257
258                 last_position = new AltosLatLon(gps.lat, gps.lon);
259
260                 maybe_centre(gps.lat, gps.lon);
261         }
262
263         public void show(AltosState state, AltosListenerState listener_state) {
264                 show(state.gps, state.time, state.state(), state.gps_height());
265         }
266
267         public void centre(AltosLatLon lat_lon) {
268                 centre = lat_lon;
269                 set_transform();
270         }
271
272         public void centre(double lat, double lon) {
273                 centre(new AltosLatLon(lat, lon));
274         }
275
276         public void centre(AltosGPS gps) {
277                 if (!gps.locked && gps.nsat < 4)
278                         return;
279                 centre(gps.lat, gps.lon);
280         }
281
282         public void centre(AltosState state) {
283                 centre(state.gps);
284         }
285
286         public void maybe_centre(double lat, double lon) {
287                 AltosLatLon     lat_lon = new AltosLatLon(lat, lon);
288                 if (centre == null || (!recent_user_input() && far_from_centre(lat_lon)))
289                         centre(lat_lon);
290         }
291
292         public AltosMapMark add_mark(double lat, double lon, int state) {
293                 AltosMapMark mark;
294                 synchronized(marks) {
295                         mark = map_interface.new_mark(lat, lon, state);
296                         if (mark != null)
297                                 marks.add(mark);
298                 }
299                 repaint();
300                 return mark;
301         }
302
303         public void del_mark(AltosMapMark mark) {
304                 marks.remove(mark);
305         }
306
307         public void clear_marks() {
308                 synchronized(marks) {
309                         marks.clear();
310                 }
311         }
312
313         private void make_tiles() {
314                 AltosPointInt   upper_left;
315                 AltosPointInt   lower_right;
316
317                 if (load_centre != null) {
318                         AltosPointInt centre = floor(transform.point(load_centre));
319
320                         upper_left = new AltosPointInt(centre.x - load_radius * AltosMap.px_size,
321                                                                centre.y - load_radius * AltosMap.px_size);
322                         lower_right = new AltosPointInt(centre.x + load_radius * AltosMap.px_size,
323                                                                 centre.y + load_radius * AltosMap.px_size);
324                 } else {
325                         upper_left = floor(transform.screen_point(new AltosPointInt(0, 0)));
326                         lower_right = floor(transform.screen_point(new AltosPointInt(width(), height())));
327                 }
328
329                 Enumeration<AltosPointInt> keyEnumeration = tiles.keys();
330
331                 while (keyEnumeration.hasMoreElements()) {
332                         AltosPointInt point = keyEnumeration.nextElement();
333                         if (point.x < upper_left.x || lower_right.x < point.x ||
334                             point.y < upper_left.y || lower_right.y < point.y) {
335                                 tiles.remove(point);
336                         }
337                 }
338
339                 cache.set_cache_size((width() / AltosMap.px_size + 2) * (height() / AltosMap.px_size + 2));
340
341                 for (int y = (int) upper_left.y; y <= lower_right.y; y += AltosMap.px_size) {
342                         for (int x = (int) upper_left.x; x <= lower_right.x; x += AltosMap.px_size) {
343                                 AltosPointInt   point = new AltosPointInt(x, y);
344
345                                 if (!tiles.containsKey(point)) {
346                                         AltosLatLon     ul = transform.lat_lon(point);
347                                         AltosLatLon     center = transform.lat_lon(new AltosPointDouble(x + AltosMap.px_size/2, y + AltosMap.px_size/2));
348                                         AltosMapTile tile = map_interface.new_tile(cache, ul, center, zoom, maptype, px_size, scale);
349                                         int status = tile.store.status();
350                                         if (status == AltosMapTile.fetching)
351                                                 debug("Fetching %.6f %.6f %d\n", center.lat, center.lon, zoom);
352                                         tile.add_listener(this);
353                                         tiles.put(point, tile);
354                                 }
355                         }
356                 }
357         }
358
359         public void set_load_params(int new_zoom, int new_type, double lat, double lon, int radius, AltosMapTileListener listener) {
360                 if (AltosMap.min_zoom <= new_zoom && new_zoom <= AltosMap.max_zoom)
361                         zoom = new_zoom;
362 /*              maptype = new_type; */
363                 load_centre = new AltosLatLon(lat, lon);
364                 load_radius = radius;
365                 load_listener = listener;
366                 centre(lat, lon);
367                 tiles.clear();
368                 make_tiles();
369                 repaint();
370         }
371
372         public String getName() {
373                 return "Map";
374         }
375
376         public void paint() {
377                 if (centre != null)
378                         make_tiles();
379
380                 if (transform == null)
381                         return;
382
383                 for (AltosMapTile tile : tiles.values())
384                         tile.paint(transform);
385
386                 synchronized(marks) {
387                         for (AltosMapMark mark : marks)
388                                 mark.paint(transform);
389                 }
390
391                 if (path != null)
392                         path.paint(transform);
393
394                 if (line != null)
395                         line.paint(transform);
396         }
397
398         /* AltosMapTileListener methods */
399         public synchronized void notify_tile(AltosMapTile tile, int status) {
400                 Enumeration<AltosPointInt> keyEnumeration = tiles.keys();
401
402                 while (keyEnumeration.hasMoreElements()) {
403                         AltosPointInt point = keyEnumeration.nextElement();
404                         if (tile == tiles.get(point)) {
405                                 AltosPointInt   screen = transform.screen(point);
406                                 repaint(screen.x, screen.y, AltosMap.px_size, AltosMap.px_size);
407                         }
408                 }
409         }
410
411         /* AltosMapStoreListener methods */
412         public synchronized void notify_store(AltosMapStore store, int status) {
413                 if (load_listener != null) {
414                         for (AltosMapTile tile : tiles.values())
415                                 if (store.equals(tile.store))
416                                         load_listener.notify_tile(tile, status);
417                 }
418         }
419
420         /* UI elements */
421
422         AltosPointInt   drag_start;
423
424         boolean         dragged;
425
426         static final double drag_far = 20;
427
428         private void drag(int x, int y) {
429                 if (drag_start == null)
430                         return;
431
432                 int dx = x - drag_start.x;
433                 int dy = y - drag_start.y;
434
435                 double distance = Math.hypot(dx, dy);
436
437                 if (distance > drag_far)
438                         dragged = true;
439
440                 if (transform == null)
441                         return;
442
443                 AltosLatLon new_centre = transform.screen_lat_lon(new AltosPointInt(width() / 2 - dx, height() / 2 - dy));
444                 centre(new_centre);
445                 drag_start = new AltosPointInt(x, y);
446         }
447
448         private void drag_start(int x, int y) {
449                 drag_start = new AltosPointInt(x, y);
450                 dragged = false;
451         }
452
453         private void drag_stop(int x, int y) {
454                 if (!dragged) {
455                         if (transform == null) {
456                                 return;
457                         }
458                         map_interface.select_object (transform.screen_lat_lon(new AltosPointInt(x,y)));
459                 }
460         }
461
462         private void line_start(int x, int y) {
463                 if (line != null && transform != null) {
464                         line.pressed(new AltosPointInt(x, y), transform);
465                         repaint();
466                 }
467         }
468
469         private void line(int x, int y) {
470                 if (line != null && transform != null) {
471                         line.dragged(new AltosPointInt(x, y), transform);
472                         repaint();
473                 }
474         }
475
476         public void touch_start(int x, int y, boolean is_drag) {
477                 notice_user_input();
478                 if (is_drag)
479                         drag_start(x, y);
480                 else
481                         line_start(x, y);
482         }
483
484         public void touch_continue(int x, int y, boolean is_drag) {
485                 notice_user_input();
486                 if (is_drag)
487                         drag(x, y);
488                 else
489                         line(x, y);
490         }
491
492         public void touch_stop(int x, int y, boolean is_drag) {
493                 notice_user_input();
494                 if (is_drag)
495                         drag_stop(x, y);
496         }
497
498         public AltosMapPathPoint nearest(int x, int y) {
499                 notice_user_input();
500                 if (path == null)
501                         return null;
502                 if (transform == null)
503                         return null;
504                 AltosLatLon     at = transform.screen_lat_lon(new  AltosPointInt(x, y));
505                 return path.nearest(at);
506         }
507
508         public AltosMap(AltosMapInterface map_interface, int scale) {
509                 this.map_interface = map_interface;
510                 this.scale = scale;
511                 cache = new AltosMapCache(map_interface);
512                 line = map_interface.new_line();
513                 path = map_interface.new_path();
514                 set_zoom_label();
515         }
516
517         public AltosMap(AltosMapInterface map_interface) {
518                 this(map_interface, 1);
519         }
520 }