git.gag.com Git - fw/altos/blob - altosui/AltosSiteMap.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; 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 altosui;
  19
  20 import java.awt.*;
  21 import java.awt.image.*;
  22 import java.awt.event.*;
  23 import javax.swing.*;
  24 import javax.swing.event.MouseInputAdapter;
  25 import javax.imageio.ImageIO;
  26 import javax.swing.table.*;
  27 import java.io.*;
  28 import java.util.*;
  29 import java.text.*;
  30 import java.util.prefs.*;
  31 import java.lang.Math;
  32 import java.awt.geom.Point2D;
  33 import java.awt.geom.Line2D;
  34 import java.util.concurrent.*;
  35
  36 public class AltosSiteMap extends JScrollPane implements AltosFlightDisplay {
  37         // preferred vertical step in a tile in naut. miles
  38         // will actually choose a step size between x and 2x, where this
  39         // is 1.5x
  40         static final double tile_size_nmi = 0.75;
  41
  42         static final int px_size = 512;
  43
  44         static final int MAX_TILE_DELTA = 100;
  45
  46         private static Point2D.Double translatePoint(Point2D.Double p,
  47                         Point2D.Double d)
  48         {
  49                 return new Point2D.Double(p.x + d.x, p.y + d.y);
  50         }
  51
  52         static class LatLng {
  53                 public double lat, lng;
  54                 public LatLng(double lat, double lng) {
  55                         this.lat = lat;
  56                         this.lng = lng;
  57                 }
  58         }
  59
  60         // based on google js
  61         //  http://maps.gstatic.com/intl/en_us/mapfiles/api-3/2/10/main.js
  62         // search for fromLatLngToPoint and fromPointToLatLng
  63         private static Point2D.Double pt(LatLng latlng, int zoom) {
  64                 double scale_x = 256/360.0 * Math.pow(2, zoom);
  65                 double scale_y = 256/(2.0*Math.PI) * Math.pow(2, zoom);
  66                 return pt(latlng, scale_x, scale_y);
  67         }
  68
  69         private static Point2D.Double pt(LatLng latlng,
  70                                          double scale_x, double scale_y)
  71         {
  72                 Point2D.Double res = new Point2D.Double();
  73                 double e;
  74
  75                 res.x = latlng.lng * scale_x;
  76
  77                 e = Math.sin(Math.toRadians(latlng.lat));
  78                 e = Math.max(e,-(1-1.0E-15));
  79                 e = Math.min(e,  1-1.0E-15 );
  80
  81                 res.y = 0.5*Math.log((1+e)/(1-e))*-scale_y;
  82                 return res;
  83         }
  84
  85         static private LatLng latlng(Point2D.Double pt,
  86                                      double scale_x, double scale_y)
  87         {
  88                 double lat, lng;
  89                 double rads;
  90
  91                 lng = pt.x/scale_x;
  92                 rads = 2 * Math.atan(Math.exp(-pt.y/scale_y));
  93                 lat = Math.toDegrees(rads - Math.PI/2);
  94
  95                 return new LatLng(lat,lng);
  96         }
  97
  98         int zoom;
  99         double scale_x, scale_y;
 100
 101         int radius;     /* half width/height of tiles to load */
 102
 103         private Point2D.Double pt(double lat, double lng) {
 104                 return pt(new LatLng(lat, lng), scale_x, scale_y);
 105         }
 106
 107         private LatLng latlng(double x, double y) {
 108                 return latlng(new Point2D.Double(x,y), scale_x, scale_y);
 109         }
 110         private LatLng latlng(Point2D.Double pt) {
 111                 return latlng(pt, scale_x, scale_y);
 112         }
 113
 114         ConcurrentHashMap<Point,AltosSiteMapTile> mapTiles = new ConcurrentHashMap<Point,AltosSiteMapTile>();
 115         Point2D.Double centre;
 116
 117         private Point2D.Double tileCoordOffset(Point p) {
 118                 return new Point2D.Double(centre.x - p.x*px_size,
 119                                           centre.y - p.y * px_size);
 120         }
 121
 122         private Point tileOffset(Point2D.Double p) {
 123                 return new Point((int)Math.floor((centre.x+p.x)/px_size),
 124                                  (int)Math.floor((centre.y+p.y)/px_size));
 125         }
 126
 127         private Point2D.Double getBaseLocation(double lat, double lng) {
 128                 Point2D.Double locn, north_step;
 129
 130                 zoom = 2;
 131                 // stupid loop structure to please Java's control flow analysis
 132                 do {
 133                         zoom++;
 134                         scale_x = 256/360.0 * Math.pow(2, zoom);
 135                         scale_y = 256/(2.0*Math.PI) * Math.pow(2, zoom);
 136                         locn = pt(lat, lng);
 137                         north_step = pt(lat+tile_size_nmi*4/3/60.0, lng);
 138                         if (locn.y - north_step.y > px_size)
 139                                 break;
 140                 } while (zoom < 22);
 141                 locn.x = -px_size * Math.floor(locn.x/px_size);
 142                 locn.y = -px_size * Math.floor(locn.y/px_size);
 143                 return locn;
 144         }
 145
 146         public void reset() {
 147                 // nothing
 148         }
 149
 150         public void set_font() {
 151                 // nothing
 152         }
 153
 154         private void loadMap(final AltosSiteMapTile tile,
 155                              File pngfile, String pngurl)
 156         {
 157                 final ImageIcon res = AltosSiteMapCache.fetchAndLoadMap(pngfile, pngurl);
 158                 if (res != null) {
 159                         SwingUtilities.invokeLater(new Runnable() {
 160                                         public void run() {
 161                                                 tile.loadMap(res);
 162                                         }
 163                                 });
 164                 } else {
 165                         System.out.printf("# Failed to fetch file %s\n", pngfile);
 166                         System.out.printf(" wget -O '%s' '%s'\n", pngfile, pngurl);
 167                 }
 168         }
 169
 170         File pngfile;
 171         String pngurl;
 172
 173         public int prefetchMap(int x, int y) {
 174                 LatLng map_latlng = latlng(
 175                         -centre.x + x*px_size + px_size/2,
 176                         -centre.y + y*px_size + px_size/2);
 177                 pngfile = MapFile(map_latlng.lat, map_latlng.lng, zoom);
 178                 pngurl = MapURL(map_latlng.lat, map_latlng.lng, zoom);
 179                 if (pngfile.exists()) {
 180                         return 1;
 181                 } else if (AltosSiteMapCache.fetchMap(pngfile, pngurl)) {
 182                         return 0;
 183                 } else {
 184                         return -1;
 185                 }
 186         }
 187
 188         public static void prefetchMaps(double lat, double lng, int w, int h) {
 189                 AltosSiteMap asm = new AltosSiteMap(true);
 190                 asm.centre = asm.getBaseLocation(lat, lng);
 191
 192                 Point2D.Double p = new Point2D.Double();
 193                 Point2D.Double p2;
 194                 int dx = -w/2, dy = -h/2;
 195                 for (int y = dy; y < h+dy; y++) {
 196                         for (int x = dx; x < w+dx; x++) {
 197                                 int r = asm.prefetchMap(x, y);
 198                                 switch (r) {
 199                                 case 1:
 200                                         System.out.printf("Already have %s\n", asm.pngfile);
 201                                         break;
 202                                 case 0:
 203                                         System.out.printf("Fetched map %s\n", asm.pngfile);
 204                                         break;
 205                                 case -1:
 206                                         System.out.printf("# Failed to fetch file %s\n", asm.pngfile);
 207                                         System.out.printf(" wget -O '%s' ''\n", asm.pngfile, asm.pngurl);
 208                                         break;
 209                                 }
 210                         }
 211                 }
 212         }
 213
 214         public String initMap(Point offset) {
 215                 AltosSiteMapTile tile = mapTiles.get(offset);
 216                 Point2D.Double coord = tileCoordOffset(offset);
 217
 218                 LatLng map_latlng = latlng(px_size/2-coord.x, px_size/2-coord.y);
 219
 220                 File pngfile = MapFile(map_latlng.lat, map_latlng.lng, zoom);
 221                 String pngurl = MapURL(map_latlng.lat, map_latlng.lng, zoom);
 222                 loadMap(tile, pngfile, pngurl);
 223                 return pngfile.toString();
 224         }
 225
 226         public void setBaseLocation(double lat, double lng) {
 227                 for (Point k : mapTiles.keySet()) {
 228                         AltosSiteMapTile tile = mapTiles.get(k);
 229                         tile.clearMap();
 230                 }
 231
 232                 centre = getBaseLocation(lat, lng);
 233                 scrollRocketToVisible(pt(lat,lng));
 234         }
 235
 236         private void initMaps(double lat, double lng) {
 237                 setBaseLocation(lat, lng);
 238
 239                 Thread thread = new Thread() {
 240                                 public void run() {
 241                                         for (Point k : mapTiles.keySet())
 242                                                 initMap(k);
 243                                 }
 244                         };
 245                 thread.start();
 246         }
 247
 248         private static File MapFile(double lat, double lng, int zoom) {
 249                 char chlat = lat < 0 ? 'S' : 'N';
 250                 char chlng = lng < 0 ? 'W' : 'E';
 251                 if (lat < 0) lat = -lat;
 252                 if (lng < 0) lng = -lng;
 253                 return new File(AltosUIPreferences.mapdir(),
 254                                 String.format("map-%c%.6f,%c%.6f-%d.png",
 255                                               chlat, lat, chlng, lng, zoom));
 256         }
 257
 258         private static String MapURL(double lat, double lng, int zoom) {
 259                 return String.format("http://maps.google.com/maps/api/staticmap?center=%.6f,%.6f&zoom=%d&size=%dx%d&sensor=false&maptype=hybrid&format=png32", lat, lng, zoom, px_size, px_size);
 260         }
 261
 262         boolean initialised = false;
 263         Point2D.Double last_pt = null;
 264         int last_state = -1;
 265
 266         public void show(double lat, double lon) {
 267                 initMaps(lat, lon);
 268                 scrollRocketToVisible(pt(lat, lon));
 269         }
 270         public void show(final AltosState state, final int crc_errors) {
 271                 // if insufficient gps data, nothing to update
 272                 if (!state.gps.locked && state.gps.nsat < 4)
 273                         return;
 274
 275                 if (!initialised) {
 276                         if (state.pad_lat != 0 || state.pad_lon != 0) {
 277                                 initMaps(state.pad_lat, state.pad_lon);
 278                                 initialised = true;
 279                         } else if (state.gps.lat != 0 || state.gps.lon != 0) {
 280                                 initMaps(state.gps.lat, state.gps.lon);
 281                                 initialised = true;
 282                         } else {
 283                                 return;
 284                         }
 285                 }
 286
 287                 final Point2D.Double pt = pt(state.gps.lat, state.gps.lon);
 288                 if (last_pt == pt && last_state == state.state)
 289                         return;
 290
 291                 if (last_pt == null) {
 292                         last_pt = pt;
 293                 }
 294                 boolean in_any = false;
 295                 for (Point offset : mapTiles.keySet()) {
 296                         AltosSiteMapTile tile = mapTiles.get(offset);
 297                         Point2D.Double ref, lref;
 298                         ref = translatePoint(pt, tileCoordOffset(offset));
 299                         lref = translatePoint(last_pt, tileCoordOffset(offset));
 300                         tile.show(state, crc_errors, lref, ref);
 301                         if (0 <= ref.x && ref.x < px_size)
 302                                 if (0 <= ref.y && ref.y < px_size)
 303                                         in_any = true;
 304                 }
 305
 306                 Point offset = tileOffset(pt);
 307                 if (!in_any) {
 308                         Point2D.Double ref, lref;
 309                         ref = translatePoint(pt, tileCoordOffset(offset));
 310                         lref = translatePoint(last_pt, tileCoordOffset(offset));
 311
 312                         AltosSiteMapTile tile = createTile(offset);
 313                         tile.show(state, crc_errors, lref, ref);
 314                         initMap(offset);
 315                         finishTileLater(tile, offset);
 316                 }
 317
 318                 scrollRocketToVisible(pt);
 319
 320                 if (offset != tileOffset(last_pt)) {
 321                         ensureTilesAround(offset);
 322                 }
 323
 324                 last_pt = pt;
 325                 last_state = state.state;
 326         }
 327
 328         public void draw_circle(double lat, double lon) {
 329                 final Point2D.Double pt = pt(lat, lon);
 330
 331                 for (Point offset : mapTiles.keySet()) {
 332                         AltosSiteMapTile tile = mapTiles.get(offset);
 333                         Point2D.Double ref = translatePoint(pt, tileCoordOffset(offset));
 334                         tile.draw_circle(ref);
 335                 }
 336         }
 337
 338         private AltosSiteMapTile createTile(Point offset) {
 339                 AltosSiteMapTile tile = new AltosSiteMapTile(px_size);
 340                 mapTiles.put(offset, tile);
 341                 return tile;
 342         }
 343         private void finishTileLater(final AltosSiteMapTile tile,
 344                                      final Point offset)
 345         {
 346                 SwingUtilities.invokeLater( new Runnable() {
 347                         public void run() {
 348                                 addTileAt(tile, offset);
 349                         }
 350                 } );
 351         }
 352
 353         private void ensureTilesAround(Point base_offset) {
 354                 for (int x = -radius; x <= radius; x++) {
 355                         for (int y = -radius; y <= radius; y++) {
 356                                 Point offset = new Point(base_offset.x + x, base_offset.y + y);
 357                                 if (mapTiles.containsKey(offset))
 358                                         continue;
 359                                 AltosSiteMapTile tile = createTile(offset);
 360                                 initMap(offset);
 361                                 finishTileLater(tile, offset);
 362                         }
 363                 }
 364         }
 365
 366         private Point topleft = new Point(0,0);
 367         private void scrollRocketToVisible(Point2D.Double pt) {
 368                 Rectangle r = comp.getVisibleRect();
 369                 Point2D.Double copt = translatePoint(pt, tileCoordOffset(topleft));
 370                 int dx = (int)copt.x - r.width/2 - r.x;
 371                 int dy = (int)copt.y - r.height/2 - r.y;
 372                 if (Math.abs(dx) > r.width/4 || Math.abs(dy) > r.height/4) {
 373                         r.x += dx;
 374                         r.y += dy;
 375                         comp.scrollRectToVisible(r);
 376                 }
 377         }
 378
 379         private void addTileAt(AltosSiteMapTile tile, Point offset) {
 380                 if (Math.abs(offset.x) >= MAX_TILE_DELTA ||
 381                                 Math.abs(offset.y) >= MAX_TILE_DELTA)
 382                 {
 383                         System.out.printf("Rocket too far away from pad (tile %d,%d)\n",
 384                                           offset.x, offset.y);
 385                         return;
 386                 }
 387
 388                 boolean review = false;
 389                 Rectangle r = comp.getVisibleRect();
 390                 if (offset.x < topleft.x) {
 391                         r.x += (topleft.x - offset.x) * px_size;
 392                         topleft.x = offset.x;
 393                         review = true;
 394                 }
 395                 if (offset.y < topleft.y) {
 396                         r.y += (topleft.y - offset.y) * px_size;
 397                         topleft.y = offset.y;
 398                         review = true;
 399                 }
 400                 GridBagConstraints c = new GridBagConstraints();
 401                 c.anchor = GridBagConstraints.CENTER;
 402                 c.fill = GridBagConstraints.BOTH;
 403                 // put some space between the map tiles, debugging only
 404                 // c.insets = new Insets(5, 5, 5, 5);
 405
 406                 c.gridx = offset.x + MAX_TILE_DELTA;
 407                 c.gridy = offset.y + MAX_TILE_DELTA;
 408                 layout.setConstraints(tile, c);
 409
 410                 comp.add(tile);
 411                 if (review) {
 412                         comp.scrollRectToVisible(r);
 413                 }
 414         }
 415
 416         private AltosSiteMap(boolean knowWhatYouAreDoing) {
 417                 if (!knowWhatYouAreDoing) {
 418                         throw new RuntimeException("Arggh.");
 419                 }
 420         }
 421
 422         JComponent comp = new JComponent() { };
 423         private GridBagLayout layout = new GridBagLayout();
 424
 425         public AltosSiteMap(int in_radius) {
 426                 radius = in_radius;
 427
 428                 GrabNDrag scroller = new GrabNDrag(comp);
 429
 430                 comp.setLayout(layout);
 431
 432                 for (int x = -radius; x <= radius; x++) {
 433                         for (int y = -radius; y <= radius; y++) {
 434                                 Point offset = new Point(x, y);
 435                                 AltosSiteMapTile t = createTile(offset);
 436                                 addTileAt(t, offset);
 437                         }
 438                 }
 439                 setViewportView(comp);
 440                 setPreferredSize(new Dimension(500,500));
 441         }
 442
 443         public AltosSiteMap() {
 444                 this(1);
 445         }
 446 }