Changeset 5684 in josm for trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java

Timestamp:

2013-01-28T14:06:52+01:00 (11 years ago)

Author:

bastiK

Message:

add session support for marker layers (see #4029)

The data is exported to a separate GPX file that contains one waypoint for each marker.
This is not very elegant, because most of the time, all the info is already contained in the original GPX File.
However, when dealing with audio markers, they can be synchronized, or additional markers are added
at certain playback positions. This info must be retained.
Another complication is, that two or more MarkerLayers can be merged to one.

All these problems are avoided by explicitly exporting the markers to a separate file (as done in this commit).

File:

• trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java (modified) (11 diffs)

trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java

@@ -8 +8 @@
 import java.net.MalformedURLException;
 import java.net.URL;
+import java.text.DateFormat;
+import java.text.SimpleDateFormat;
 import java.util.ArrayList;
 import java.util.Collection;
+import java.util.Date;
 import java.util.HashMap;
 import java.util.LinkedList;
 import java.util.List;
 import java.util.Map;
+import java.util.TimeZone;
 
 import javax.swing.Icon;
@@ -23 +27 @@
 import org.openstreetmap.josm.data.coor.EastNorth;
 import org.openstreetmap.josm.data.coor.LatLon;
+import org.openstreetmap.josm.data.gpx.Extensions;
 import org.openstreetmap.josm.data.gpx.GpxConstants;
 import org.openstreetmap.josm.data.gpx.GpxLink;
@@ -181 +186 @@
         Marker.markerProducers.add(new MarkerProducers() {
             @SuppressWarnings("unchecked")
+            @Override
             public Marker createMarker(WayPoint wpt, File relativePath, MarkerLayer parentLayer, double time, double offset) {
                 String uri = null;
@@ -217 +223 @@
                 }
                 else if (url.toString().endsWith(".wav")) {
-                    return new AudioMarker(wpt.getCoor(), wpt, url, parentLayer, time, offset);
+                    AudioMarker audioMarker = new AudioMarker(wpt.getCoor(), wpt, url, parentLayer, time, offset);
+                    Extensions exts = (Extensions) wpt.get(GpxConstants.META_EXTENSIONS);
+                    if (exts != null && exts.containsKey("offset")) {
+                        try {
+                            double syncOffset = Double.parseDouble(exts.get("sync-offset"));
+                            audioMarker.syncOffset = syncOffset;
+                        } catch (NumberFormatException nfe) {}
+                    }
+                    return audioMarker;
                 } else if (url.toString().endsWith(".png") || url.toString().endsWith(".jpg") || url.toString().endsWith(".jpeg") || url.toString().endsWith(".gif")) {
                     return new ImageMarker(wpt.getCoor(), url, parentLayer, time, offset);
@@ -234 +248 @@
      * @param relativePath An path to use for constructing relative URLs or
      *        <code>null</code> for no relative URLs
+     * @param parentLayer the <code>MarkerLayer</code> that will contain the created <code>Marker</code>
+     * @param time time of the marker in seconds since epoch
      * @param offset double in seconds as the time offset of this marker from
      *        the GPX file from which it was derived (if any).
@@ -247 +263 @@
     }
 
+    private static final DateFormat timeFormatter = new SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss.SSS'Z'");
+    static {
+         TimeZone tz = TimeZone.getTimeZone("UTC");
+         timeFormatter.setTimeZone(tz);
+    }
+
     public static final String MARKER_OFFSET = "waypointOffset";
     public static final String MARKER_FORMATTED_OFFSET = "formattedWaypointOffset";
@@ -254 +276 @@
     public static final String LABEL_PATTERN_DESC = "{desc}";
 
-
     private final TemplateEngineDataProvider dataProvider;
     private final String text;
@@ -260 +281 @@
     public final Icon symbol;
     public final MarkerLayer parentLayer;
-    public double time; /* absolute time of marker since epoch */
+    public double time; /* absolute time of marker in seconds since epoch */
     public double offset; /* time offset in seconds from the gpx point from which it was derived,
                              may be adjusted later to sync with other data, so not final */
@@ -296 +317 @@
     }
 
+    /**
+     * Convert Marker to WayPoint so it can be exported to a GPX file.
+     *
+     * Override in subclasses to add all necessary attributes.
+     * 
+     * @return the corresponding WayPoint with all relevant attributes
+     */
+    public WayPoint convertToWayPoint() {
+        WayPoint wpt = new WayPoint(getCoor());
+        wpt.put("time", timeFormatter.format(new Date(Math.round(time * 1000))));
+        if (text != null) {
+            wpt.addExtension("text", text);
+        } else if (dataProvider != null) {
+            for (String key : dataProvider.getTemplateKeys()) {
+                Object value = dataProvider.getTemplateValue(key, false);
+                if (value != null && GpxConstants.WPT_KEYS.contains(key)) {
+                    wpt.put(key, value);
+                }
+            }
+        }
+        return wpt;
+    }
+
     public final void setCoor(LatLon coor) {
         if(this.coor == null) {
@@ -343 +387 @@
      * @param mv map view
      * @param mousePressed true if the left mouse button is pressed
+     * @param showTextOrIcon true if text and icon shall be drawn
      */
     public void paint(Graphics g, MapView mv, boolean mousePressed, boolean showTextOrIcon) {
@@ -398 +443 @@
     }
 
-    private String formatOffset () {
+    private String formatOffset() {
         int wholeSeconds = (int)(offset + 0.5);
         if (wholeSeconds < 60)