/** An UX part displaying a map. */
public interface MapPart {
- enum Format {
- GEOJSON, GPX;
- }
+ void setCenter(double lng, double lat);
- void addPoint(Double lng, Double lat);
+ /** Event when a feature has been single-clicked. */
+ record FeatureSingleClickEvent(String path) {
+ };
- void addUrlLayer(String layer, Format format);
+ /** Event when a feature has been selected. */
+ record FeatureSelectedEvent(String path) {
+ };
- void setZoom(int zoom);
-
- void setCenter(Double lng, Double lat);
+ /** Event when a feature popup is requested. */
+ record FeaturePopupEvent(String path) {
+ };
}