Ticket #2302: timestamp.patch

File timestamp.patch, 16.5 KB (added by jttt, 16 years ago)

Patch to replace timestamp and parsedTimestap with setter/getter

  • src/org/openstreetmap/josm/actions/search/SearchCompiler.java

     
    1616import org.openstreetmap.josm.data.osm.Relation;
    1717import org.openstreetmap.josm.data.osm.User;
    1818import org.openstreetmap.josm.data.osm.Way;
     19import org.openstreetmap.josm.tools.DateUtils;
    1920
    2021/**
    2122 * Implements a google-like search.
    … …  
    145146                String value = null;
    146147
    147148                if (key.equals("timestamp"))
    148                     value = osm.getTimeStr();
     149                    value = DateUtils.fromDate(osm.getTimestamp());
    149150                else
    150151                    value = osm.get(key);
    151152

  • src/org/openstreetmap/josm/tools/DateUtils.java

     
     1/*
     2 *  JOSMng - a Java Open Street Map editor, the next generation.
     3 *
     4 *  Copyright (C) 2008 Petr Nejedly <P.Nejedly@sh.cvut.cz>
     5 *
     6 *  This program is free software; you can redistribute it and/or modify
     7 *  it under the terms of the GNU General Public License as published by
     8 *  the Free Software Foundation; either version 2 of the License, or
     9 *  (at your option) any later version.
     10 *
     11 *  This program is distributed in the hope that it will be useful,
     12 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
     13 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     14 *  GNU General Public License for more details.
     15
     16 *  You should have received a copy of the GNU General Public License along
     17 *  with this program; if not, write to the Free Software Foundation, Inc.,
     18 *  51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
     19 */
     20
     21package org.openstreetmap.josm.tools;
     22
     23import java.util.Calendar;
     24import java.util.Date;
     25import java.util.GregorianCalendar;
     26import java.util.TimeZone;
     27
     28import javax.xml.datatype.DatatypeConfigurationException;
     29import javax.xml.datatype.DatatypeFactory;
     30import javax.xml.datatype.XMLGregorianCalendar;
     31
     32
     33/**
     34 * A static utility class dealing with parsing XML date quickly and formatting
     35 * a date to the XML UTC format regardless of current locale.
     36 *
     37 * @author nenik
     38 */
     39public final class DateUtils {
     40    private DateUtils() {}
     41    /**
     42     * A shared instance used for conversion between individual date fields
     43     * and long millis time. It is guarded against conflict by the class lock.
     44     * The shared instance is used because the construction, together
     45     * with the timezone lookup, is very expensive.
     46     */
     47    private static GregorianCalendar calendar = new GregorianCalendar(TimeZone.getTimeZone("UTC"));
     48    private static final DatatypeFactory XML_DATE;
     49
     50    static {
     51        calendar.setTimeInMillis(0);
     52       
     53        DatatypeFactory fact = null;
     54        try {
     55            fact = DatatypeFactory.newInstance();
     56        } catch(DatatypeConfigurationException ce) {
     57            ce.printStackTrace();
     58        }
     59        XML_DATE = fact;
     60    }
     61
     62    public static synchronized Date fromString(String str) {
     63        // "2007-07-25T09:26:24{Z|{+|-}01:00}"
     64        if (checkLayout(str, "xxxx-xx-xxTxx:xx:xxZ") ||
     65                checkLayout(str, "xxxx-xx-xxTxx:xx:xx+xx:00") ||
     66                checkLayout(str, "xxxx-xx-xxTxx:xx:xx-xx:00")) {
     67            calendar.set(
     68                parsePart(str, 0, 4),
     69                parsePart(str, 5, 2)-1,
     70                parsePart(str, 8, 2),
     71                parsePart(str, 11, 2),
     72                parsePart(str, 14,2),
     73                parsePart(str, 17, 2));
     74
     75            if (str.length() == 25) {
     76                int plusHr = parsePart(str, 20, 2);
     77                int mul = str.charAt(19) == '+' ? -3600000 : 3600000;
     78                calendar.setTimeInMillis(calendar.getTimeInMillis()+plusHr*mul);
     79            }
     80
     81            return calendar.getTime();
     82        }
     83
     84        try {
     85            return XML_DATE.newXMLGregorianCalendar(str).toGregorianCalendar().getTime();
     86        } catch (Exception ex) {
     87            return new Date();
     88        }
     89    }
     90   
     91    public static synchronized String fromDate(Date date) {
     92        calendar.setTime(date);
     93        XMLGregorianCalendar xgc = XML_DATE.newXMLGregorianCalendar(calendar);
     94        if (calendar.get(Calendar.MILLISECOND) == 0) xgc.setFractionalSecond(null);
     95        return xgc.toXMLFormat();
     96    }
     97       
     98    private static boolean checkLayout(String text, String pattern) {
     99        if (text.length() != pattern.length()) return false;
     100        for (int i=0; i<pattern.length(); i++) {
     101            if (pattern.charAt(i) == 'x') continue;
     102            if (pattern.charAt(i) != text.charAt(i)) return false;
     103        }
     104        return true;
     105    }
     106
     107    private static int parsePart(String str, int off, int len) {
     108        return Integer.valueOf(str.substring(off, off+len));
     109    }
     110
     111}

  • src/org/openstreetmap/josm/gui/layer/OsmDataLayer.java

     
    6060import org.openstreetmap.josm.gui.dialogs.ConflictDialog;
    6161import org.openstreetmap.josm.gui.dialogs.LayerListDialog;
    6262import org.openstreetmap.josm.gui.dialogs.LayerListPopup;
     63import org.openstreetmap.josm.tools.DateUtils;
    6364import org.openstreetmap.josm.tools.GBC;
    6465import org.openstreetmap.josm.tools.ImageProvider;
    6566
    … …  
    404405                if (!n.tagged) {
    405406                    doneNodes.add(n);
    406407                }
    407                 WayPoint wpt = new WayPoint(n.coor);
    408                 if (n.timestamp != null)
     408                WayPoint wpt = new WayPoint(n.coor);               
     409                if (!n.isTimestampEmpty())
    409410                {
    410                     wpt.attr.put("time", n.timestamp);
     411                    wpt.attr.put("time", DateUtils.fromDate(n.getTimestamp()));
    411412                    wpt.setTime();
    412413                }
    413414                trkseg.add(wpt);
    … …  
    419420        for (Node n : data.nodes) {
    420421            if (n.incomplete || n.deleted || doneNodes.contains(n)) continue;
    421422            WayPoint wpt = new WayPoint(n.coor);
    422             if (n.timestamp != null) {
    423                 wpt.attr.put("time", n.timestamp);
     423            if (!n.isTimestampEmpty()) {
     424                wpt.attr.put("time", DateUtils.fromDate(n.getTimestamp()));
    424425                wpt.setTime();
    425426            }
    426427            if (n.keys != null && n.keys.containsKey("name")) {

  • src/org/openstreetmap/josm/gui/layer/GpxLayer.java

     
    6767import org.openstreetmap.josm.gui.dialogs.LayerListPopup;
    6868import org.openstreetmap.josm.gui.layer.markerlayer.AudioMarker;
    6969import org.openstreetmap.josm.gui.layer.markerlayer.MarkerLayer;
     70import org.openstreetmap.josm.tools.DateUtils;
    7071import org.openstreetmap.josm.tools.DontShowAgainInfo;
    7172import org.openstreetmap.josm.tools.GBC;
    7273import org.openstreetmap.josm.tools.ImageProvider;
    … …  
    659660                        String timestr = p.getString("time");
    660661                        if(timestr != null)
    661662                        {
    662                             timestr = timestr.replace("Z","+00:00");
    663                             n.timestamp = timestr;
     663                            n.setTimestamp(DateUtils.fromString(timestr));
    664664                        }
    665665                        ds.nodes.add(n);
    666666                        w.nodes.add(n);

  • src/org/openstreetmap/josm/gui/dialogs/HistoryDialog.java

     
    3535import org.openstreetmap.josm.data.osm.DataSet;
    3636import org.openstreetmap.josm.data.osm.OsmPrimitive;
    3737import org.openstreetmap.josm.gui.SideButton;
     38import org.openstreetmap.josm.tools.DateUtils;
    3839import org.openstreetmap.josm.tools.GBC;
    3940import org.openstreetmap.josm.tools.ImageProvider;
    4041import org.openstreetmap.josm.tools.Shortcut;
    … …  
    170171                orderedHistory.addAll(cache.get(osm));
    171172            data.setRowCount(0);
    172173            for (HistoryItem i : orderedHistory)
    173                 data.addRow(new Object[]{i.osm, i.osm.timestamp, i.visible});
     174                data.addRow(new Object[]{i.osm, DateUtils.fromDate(i.osm.getTimestamp()), i.visible});
    174175            historyPane.setVisible(true);
    175176            notLoaded.setVisible(false);
    176177        }

  • src/org/openstreetmap/josm/io/OsmReader.java

     
    3232import org.openstreetmap.josm.data.osm.visitor.AddVisitor;
    3333import org.openstreetmap.josm.data.osm.visitor.Visitor;
    3434import org.openstreetmap.josm.gui.PleaseWaitDialog;
     35import org.openstreetmap.josm.tools.DateUtils;
    3536import org.xml.sax.Attributes;
    3637import org.xml.sax.InputSource;
    3738import org.xml.sax.SAXException;
    … …  
    100101               osm.modified = modified;
    101102               osm.selected = selected;
    102103               osm.deleted = deleted;
    103                osm.timestamp = timestamp;
     104               osm.setTimestamp(getTimestamp());
    104105               osm.user = user;
    105106               osm.visible = visible;
    106107               osm.version = version;
    … …  
    296297
    297298          String time = atts.getValue("timestamp");
    298299          if (time != null && time.length() != 0) {
    299                /* Do not parse the date here since it wastes a HUGE amount of time.
    300                 * Moved into OsmPrimitive.
    301                try {
    302                     current.timestamp = DateParser.parse(time);
    303                } catch (ParseException e) {
    304                     e.printStackTrace();
    305                     throw new SAXException(tr("Couldn''t read time format \"{0}\".",time));
    306                }
    307                */
    308                current.timestamp = time;
     300               current.setTimestamp(DateUtils.fromString(time));
    309301          }
    310302
    311303          // user attribute added in 0.4 API

  • src/org/openstreetmap/josm/io/OsmWriter.java

     
    1515import org.openstreetmap.josm.data.osm.Changeset;
    1616import org.openstreetmap.josm.data.osm.Way;
    1717import org.openstreetmap.josm.data.osm.visitor.Visitor;
     18import org.openstreetmap.josm.tools.DateUtils;
    1819
    1920/**
    2021 * Save the dataset into a stream as osm intern xml format. This is not using any
    … …  
    200201            if (action != null)
    201202                out.print(" action='"+action+"'");
    202203        }
    203         if (osm.timestamp != null) {
    204             out.print(" timestamp='"+osm.timestamp+"'");
     204        if (!osm.isTimestampEmpty()) {
     205            out.print(" timestamp='"+DateUtils.fromDate(osm.getTimestamp())+"'");
    205206        }
    206207        // user and visible added with 0.4 API
    207208        if (osm.user != null) {

  • src/org/openstreetmap/josm/data/osm/visitor/MergeVisitor.java

     
    234234                return true; // no merge needed.
    235235            }
    236236            if (my.realEqual(other, true)) {
    237                 Date myd = my.timestamp == null ? new Date(0) : my.getTimestamp();
    238                 Date otherd = other.timestamp == null ? new Date(0) : other.getTimestamp();
     237                Date myd = my.getTimestamp();
     238                Date otherd = other.getTimestamp();
    239239
    240240                // they differ in modified/timestamp combination only. Auto-resolve it.
    241241                merged.put(other, my);
    242242                if (myd.before(otherd)) {
    243243                    my.modified = other.modified;
    244                     my.timestamp = other.timestamp;
     244                    my.setTimestamp(other.getTimestamp());
    245245                }
    246246                return true; // merge done.
    247247            }
    248248            if (my.id == other.id && my.id != 0) {
    249                 Date myd = my.timestamp == null ? new Date(0) : my.getTimestamp();
    250                 Date otherd = other.timestamp == null ? new Date(0) : other.getTimestamp();
     249                Date myd = my.getTimestamp();
     250                Date otherd = other.getTimestamp();
    251251
    252252                if (my.incomplete || other.incomplete) {
    253253                    if (my.incomplete) {

  • src/org/openstreetmap/josm/data/osm/OsmPrimitive.java

     
    33
    44import static org.openstreetmap.josm.tools.I18n.tr;
    55
    6 import java.text.ParseException;
    7 import java.text.SimpleDateFormat;
    8 import java.util.Arrays;
    96import java.util.ArrayList;
     7import java.util.Arrays;
    108import java.util.Collection;
    119import java.util.Collections;
    1210import java.util.Date;
    1311import java.util.HashMap;
    14 import java.util.HashSet;
    1512import java.util.Map;
    1613import java.util.Map.Entry;
    1714
    18 import org.openstreetmap.josm.data.osm.visitor.Visitor;
    19 import org.openstreetmap.josm.tools.DateParser;
    2015import org.openstreetmap.josm.Main;
     16import org.openstreetmap.josm.data.osm.visitor.Visitor;
    2117import org.openstreetmap.josm.gui.mappaint.ElemStyle;
    2218
    2319
    … …  
    129125     */
    130126    public volatile boolean highlighted = false;
    131127
     128    private int timestamp;
     129   
     130    public void setTimestamp(Date timestamp) {
     131        this.timestamp = (int)(timestamp.getTime() / 1000);
     132    }
     133   
    132134    /**
    133135     * Time of last modification to this object. This is not set by JOSM but
    134136     * read from the server and delivered back to the server unmodified. It is
    135137     * used to check against edit conflicts.
    136      */
    137     public String timestamp = null;
     138     *
     139     */   
     140    public Date getTimestamp() {
     141        return new Date(timestamp * 1000l);
     142    }
     143   
     144    public boolean isTimestampEmpty() {
     145        return timestamp == 0;
     146    }
    138147
    139148    /**
    140      * The timestamp is only parsed when this is really necessary, and this
    141      * is the cache for the result.
    142      */
    143     public Date parsedTimestamp = null;
    144 
    145     /**
    146149     * If set to true, this object is incomplete, which means only the id
    147150     * and type is known (type is the objects instance class)
    148151     */
    … …  
    182185    }
    183186
    184187    /**
    185      * Returns the timestamp for this object, or the current time if none is set.
    186      * Internally, parses the timestamp from XML into a Date object and caches it
    187      * for possible repeated calls.
    188      */
    189     public Date getTimestamp() {
    190         if (parsedTimestamp == null) {
    191             try {
    192                 parsedTimestamp = DateParser.parse(timestamp);
    193             } catch (ParseException ex) {
    194                 parsedTimestamp = new Date();
    195             }
    196         }
    197         return parsedTimestamp;
    198     }
    199 
    200     /**
    201188     * Equal, if the id (and class) is equal.
    202189     *
    203190     * An primitive is equal to its incomplete counter part.
    … …  
    308295            incomplete == osm.incomplete &&
    309296            (semanticOnly || (modified == osm.modified)) &&
    310297            deleted == osm.deleted &&
    311             (semanticOnly || (timestamp == null ? osm.timestamp==null : timestamp.equals(osm.timestamp))) &&
     298            (semanticOnly || timestamp == osm.timestamp) &&
    312299            (semanticOnly || (version==osm.version)) &&
    313300            (semanticOnly || (user == null ? osm.user==null : user==osm.user)) &&
    314301            (semanticOnly || (visible == osm.visible)) &&
    315302            (keys == null ? osm.keys==null : keys.equals(osm.keys));
    316303    }
    317304
    318     public String getTimeStr() {
    319         return timestamp == null ? null : new SimpleDateFormat("yyyy-MM-dd HH:mm:ss").format(timestamp);
    320     }
    321 
    322305    /**
    323306     * Updates the "tagged" flag. "keys" property should probably be made private
    324307     * to make sure this gets called when keys are set.