org.argeo.app.geo/src/org/argeo/app/geo/ux/MapPart.java

   1 package org.argeo.app.geo.ux;
   2
   3 /** An UX part displaying a map. */
   4 public interface MapPart {
   5         /** A supported geographical data format. */
   6         enum GeoFormat {
   7                 GEOJSON, GPX;
   8         }
   9
  10         void addPoint(double lng, double lat, String style);
  11
  12         void addUrlLayer(String url, GeoFormat format, String style);
  13
  14         void setZoom(int zoom);
  15
  16         void setCenter(double lng, double lat);
  17
  18         /** Event when a feature has been single-clicked. */
  19         record FeatureSingleClickEvent(String path) {
  20         };
  21
  22         /** Event when a feature has been selected. */
  23         record FeatureSelectedEvent(String path) {
  24         };
  25
  26         /** Event when a feature popup is requested. */
  27         record FeaturePopupEvent(String path) {
  28         };
  29 }