altoslib: Allow map preloading to be aborted
[fw/altos] / altoslib / AltosMapLoader.java
1 /*
2  * Copyright © 2015 Keith Packard <keithp@keithp.com>
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; version 2 of the License.
7  *
8  * This program is distributed in the hope that it will be useful, but
9  * WITHOUT ANY WARRANTY; without even the implied warranty of
10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11  * General Public License for more details.
12  *
13  * You should have received a copy of the GNU General Public License along
14  * with this program; if not, write to the Free Software Foundation, Inc.,
15  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
16  */
17
18 package org.altusmetrum.altoslib_10;
19
20 import java.io.*;
21 import java.util.*;
22 import java.util.concurrent.*;
23 import java.text.*;
24 import java.lang.Math;
25 import java.net.URL;
26 import java.net.URLConnection;
27
28 public class AltosMapLoader extends Thread implements AltosMapTileListener {
29         AltosMapLoaderListener  listener;
30
31         double  latitude, longitude;
32         int     min_z;
33         int     max_z;
34         int     cur_z;
35         int     all_types;
36         int     cur_type;
37         double  radius;
38
39         int     tiles_loaded_layer;
40         int     tiles_loaded_total;
41         int     tiles_this_layer;
42         int     tiles_total;
43         int     layers_total;
44         int     layers_loaded;
45
46         private static final int        MAX_LOADING = 200;
47
48         private Semaphore       loading = new Semaphore(MAX_LOADING);
49
50         boolean abort;
51
52         AltosMap        map;
53
54         int tile_radius(int zoom) {
55                 double  delta_lon = AltosMapTransform.lon_from_distance(latitude, radius);
56
57                 AltosMapTransform t = new AltosMapTransform(256, 256, zoom + AltosMap.default_zoom, new AltosLatLon(latitude, longitude));
58
59                 AltosPointDouble        center = t.point(new AltosLatLon(latitude, longitude));
60                 AltosPointDouble        edge = t.point(new AltosLatLon(latitude, longitude + delta_lon));
61
62                 int tile_radius = (int) Math.ceil(Math.abs(center.x - edge.x) / AltosMap.px_size);
63
64                 return tile_radius;
65         }
66
67         int tiles_per_layer(int zoom) {
68                 int     tile_radius = tile_radius(zoom);
69                 return (tile_radius * 2 + 1) * (tile_radius * 2 + 1);
70         }
71
72         private boolean do_load() {
73                 tiles_this_layer = tiles_per_layer(cur_z);
74                 tiles_loaded_layer = 0;
75                 listener.debug("tiles_this_layer %d (zoom %d)\n", tiles_this_layer, cur_z);
76
77                 int load_radius = tile_radius(cur_z);
78                 int zoom = cur_z + AltosMap.default_zoom;
79                 int maptype = cur_type;
80                 AltosLatLon load_centre = new AltosLatLon(latitude, longitude);
81                 AltosMapTransform transform = new AltosMapTransform(256, 256, zoom, load_centre);
82
83                 map.centre(load_centre);
84
85                 AltosPointInt   upper_left;
86                 AltosPointInt   lower_right;
87
88                 AltosPointInt centre = AltosMap.floor(transform.point(load_centre));
89
90                 upper_left = new AltosPointInt(centre.x - load_radius * AltosMap.px_size,
91                                                centre.y - load_radius * AltosMap.px_size);
92                 lower_right = new AltosPointInt(centre.x + load_radius * AltosMap.px_size,
93                                                 centre.y + load_radius * AltosMap.px_size);
94
95
96                 for (int y = (int) upper_left.y; y <= lower_right.y; y += AltosMap.px_size) {
97                         for (int x = (int) upper_left.x; x <= lower_right.x; x += AltosMap.px_size) {
98                                 try {
99                                         loading.acquire();
100                                 } catch (InterruptedException ie) {
101                                         return false;
102                                 }
103                                 AltosPointInt   point = new AltosPointInt(x, y);
104                                 AltosLatLon     ul = transform.lat_lon(point);
105                                 AltosLatLon     center = transform.lat_lon(new AltosPointDouble(x + AltosMap.px_size/2, y + AltosMap.px_size/2));
106                                 AltosMapTile    tile = new AltosMapTile(null, ul, center, zoom, maptype, AltosMap.px_size);
107                                 tile.add_listener(this);
108                                 if (abort)
109                                         return false;
110                         }
111                 }
112                 return true;
113         }
114
115         private int next_type(int start) {
116                 int next_type;
117                 for (next_type = start;
118                      next_type <= AltosMap.maptype_terrain && (all_types & (1 << next_type)) == 0;
119                      next_type++)
120                         ;
121                 return next_type;
122         }
123
124         private boolean next_load() {
125                 int next_type = next_type(cur_type + 1);
126
127                 if (next_type > AltosMap.maptype_terrain) {
128                         if (cur_z == max_z) {
129                                 return false;
130                         } else {
131                                 cur_z++;
132                         }
133                         next_type = next_type(0);
134                 }
135                 cur_type = next_type;
136                 return true;
137         }
138
139         public void run() {
140
141                 cur_z = min_z;
142                 int ntype = 0;
143
144                 for (int t = AltosMap.maptype_hybrid; t <= AltosMap.maptype_terrain; t++)
145                         if ((all_types & (1 << t)) != 0)
146                                 ntype++;
147                 if (ntype == 0) {
148                         all_types = (1 << AltosMap.maptype_hybrid);
149                         ntype = 1;
150                 }
151
152                 cur_type = next_type(0);
153
154                 tiles_total = 0;
155                 for (int z = min_z; z <= max_z; z++)
156                         tiles_total += tiles_per_layer(z) * ntype;
157
158                 layers_total = (max_z - min_z + 1) * ntype;
159                 layers_loaded = 0;
160                 tiles_loaded_total = 0;
161
162                 listener.debug("total tiles %d layers %d\n", tiles_total, layers_total);
163
164                 listener.loader_start(tiles_total);
165                 do {
166                         if (!do_load())
167                                 break;
168                 } while (next_load());
169                 if (abort)
170                         listener.loader_done(tiles_total);
171         }
172
173         public synchronized void notify_tile(AltosMapTile tile, int status) {
174                 boolean do_next = false;
175                 if (status == AltosMapTile.fetching)
176                         return;
177
178                 loading.release();
179
180                 tile.remove_listener(this);
181
182                 if (layers_loaded >= layers_total)
183                         return;
184
185                 ++tiles_loaded_total;
186                 ++tiles_loaded_layer;
187
188                 listener.debug("AltosMapLoader.notify_tile status %d total %d of %d layer %d of %d\n",
189                                status, tiles_loaded_total, tiles_total, tiles_loaded_layer, tiles_this_layer);
190
191                 if (tiles_loaded_layer == tiles_this_layer) {
192                         ++layers_loaded;
193                         listener.debug("%d layers loaded\n", layers_loaded);
194                         do_next = true;
195                 }
196
197                 if (tiles_loaded_total == tiles_total)
198                         listener.loader_done(tiles_total);
199                 else
200                         listener.loader_notify(tiles_loaded_total,
201                                                tiles_total, tile.store.file.toString());
202         }
203
204         public void abort() {
205                 this.abort = true;
206         }
207
208         public AltosMapLoader(AltosMap map, AltosMapLoaderListener listener,
209                               double latitude, double longitude, int min_z, int max_z, double radius, int all_types) {
210                 listener.debug("lat %f lon %f min_z %d max_z %d radius %f all_types %d\n",
211                                latitude, longitude, min_z, max_z, radius, all_types);
212                 this.map = map;
213                 this.listener = listener;
214                 this.latitude = latitude;
215                 this.longitude = longitude;
216                 this.min_z = min_z;
217                 this.max_z = max_z;
218                 this.radius = radius;
219                 this.all_types = all_types;
220                 this.abort = false;
221                 start();
222         }
223 }