source/mir/util/DateTimeFunctions.java

   1 /*
   2  * Copyright (C) 2001, 2002 The Mir-coders group
   3  *
   4  * This file is part of Mir.
   5  *
   6  * Mir 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  * Mir 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
  17  * along with Mir; if not, write to the Free Software
  18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  19  *
  20  * In addition, as a special exception, The Mir-coders gives permission to link
  21  * the code of this program with  any library licensed under the Apache Software License,
  22  * The Sun (tm) Java Advanced Imaging library (JAI), The Sun JIMI library
  23  * (or with modified versions of the above that use the same license as the above),
  24  * and distribute linked combinations including the two.  You must obey the
  25  * GNU General Public License in all respects for all of the code used other than
  26  * the above mentioned libraries.  If you modify this file, you may extend this
  27  * exception to your version of the file, but you are not obligated to do so.
  28  * If you do not wish to do so, delete this exception statement from your version.
  29  */
  30 package mir.util;
  31
  32 import java.text.SimpleDateFormat;
  33 import java.util.Calendar;
  34 import java.util.Date;
  35 import java.util.GregorianCalendar;
  36 import java.util.SimpleTimeZone;
  37 import java.util.TimeZone;
  38
  39 import mir.log.*;
  40
  41 public class DateTimeFunctions {
  42   /**
  43    * private parameter-less constructor to prevent construction
  44    */
  45   private static LoggerWrapper logger = new LoggerWrapper("Utility.DatTimeFunctions");
  46
  47
  48   private DateTimeFunctions() {
  49   }
  50
  51   /**
  52    * Function to parse a <a href="http://www.w3.org/TR/NOTE-datetime">W3CDTF</a> formatted string.
  53    *
  54    *
  55    * YYYY[-MM[-DD[Thh:mm[:ss[.s*]]TZD]]]
  56    *
  57    * @param aString
  58    * @return
  59    */
  60   private final static String SPACE = "[\t\n\r ]*";
  61   private final static String NUMBER = "[0-9]*";
  62   private final static String TWODIGITNUMBER = "[0-9][0-9]";
  63   private final static String FOURDIGITNUMBER = "[0-9][0-9][0-9][0-9]";
  64   private final static String FRACTION = "(\\.[0-9]*)|)";
  65   private final static String SIGN = "[-+]";
  66   private final static String TZD = "(Z|(+|-)([0-9][0-9]:[0-9][0-9]|[0-9][0-9][0-9][0-9]))";
  67
  68   public static Date parseW3CDTFString(String aString) throws UtilExc, UtilFailure {
  69     try {
  70       int year = 1;
  71       int month = 1;
  72       int day = 1;
  73       int hour = 0;
  74       int minute = 0;
  75       int second = 0;
  76       int millisecond = 0;
  77       int houroffset = 0;
  78       int minuteoffset = 0;
  79
  80       SimpleParser parser = new SimpleParser(aString.trim());
  81       String part = parser.parse(NUMBER);
  82       year=Integer.parseInt(part);
  83       if (parser.parses("-")) {
  84         parser.skip("-");
  85         part = parser.parse(NUMBER);
  86         month = Integer.parseInt(part);
  87         if (parser.parses("-")) {
  88           parser.skip("-");
  89           part = parser.parse(NUMBER);
  90           day = Integer.parseInt(part);
  91           if (parser.parses("T")) {
  92             parser.skip("T");
  93             part = parser.parse(NUMBER);
  94             hour = Integer.parseInt(part);
  95             parser.skip(":");
  96             part = parser.parse(NUMBER);
  97             minute = Integer.parseInt(part);
  98             if (parser.parses(":")) {
  99               parser.skip(":");
 100               part = parser.parse(NUMBER);
 101               second = Integer.parseInt(part);
 102               if (parser.parses("\\.")) {
 103                 parser.skip("\\.");
 104                 part = parser.parse(NUMBER).substring(0,3);
 105                 while (part.length()<3)
 106                   part = "0" + part;
 107                 millisecond = Integer.parseInt(part);
 108               }
 109             }
 110             if (parser.parses("Z|\\+|-")) {
 111               String sign = parser.parse("Z|\\+|-");
 112               if (sign.equals("+") || sign.equals("-")) {
 113                 if (parser.parses(TWODIGITNUMBER)) {
 114                   part = parser.parse(TWODIGITNUMBER);
 115                   houroffset = Integer.parseInt(part);
 116                 }
 117                 if (parser.parses(":"))
 118                   parser.skip(":");
 119                 if (parser.parses(TWODIGITNUMBER)) {
 120                   part = parser.parse(TWODIGITNUMBER);
 121                   minuteoffset = Integer.parseInt(part);
 122                 }
 123
 124                 if (sign.equals("-")) {
 125                   houroffset = -houroffset;
 126                   minuteoffset = - minuteoffset;
 127                 }
 128               }
 129             }
 130
 131
 132           }
 133         }
 134       }
 135
 136
 137       String[] ids = TimeZone.getAvailableIDs((houroffset * 60 + minuteoffset) * 60 * 1000);
 138       String timeZoneID = "custom";
 139       if (ids.length != 0)
 140         timeZoneID = ids[0];
 141       SimpleTimeZone pdt = new SimpleTimeZone((houroffset * 60 + minuteoffset) * 60 * 1000, timeZoneID);
 142
 143       Calendar calendar = new GregorianCalendar(pdt);
 144       calendar.set(year, month-1, day, hour, minute, second);
 145       calendar.set(Calendar.MILLISECOND, millisecond);
 146
 147       return calendar.getTime();
 148     }
 149     catch (Throwable t) {
 150       logger.error("DateTimeFunctions.parseW3CDTFString: error parsing " + aString + ": " + t.toString());
 151
 152       throw new UtilFailure(t);
 153     }
 154   }
 155 }