2 * Copyright (C) 2001, 2002 The Mir-coders group
4 * This file is part of Mir.
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.
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.
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
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.
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;
39 public class DateTimeFunctions {
41 * private parameter-less constructor to prevent construction
43 // private static LoggerWrapper logger = new LoggerWrapper("Utility.DatTimeFunctions");
46 private DateTimeFunctions() {
50 * Function to parse a <a href="http://www.w3.org/TR/NOTE-datetime">W3CDTF</a> formatted string.
53 * YYYY[-MM[-DD[Thh:mm[:ss[.s*]]TZD]]]
58 private final static String SPACE = "[\t\n\r ]*";
59 private final static String NUMBER = "[0-9]*";
60 private final static String TWODIGITNUMBER = "[0-9][0-9]";
61 private final static String FOURDIGITNUMBER = "[0-9][0-9][0-9][0-9]";
62 private final static String FRACTION = "(\\.[0-9]*)|)";
63 private final static String SIGN = "[-+]";
64 private final static String TZD = "(Z|(+|-)([0-9][0-9]:[0-9][0-9]|[0-9][0-9][0-9][0-9]))";
66 public static Date parseW3CDTFString(String aString) throws UtilExc, UtilFailure {
77 boolean negativeOffset = false;
80 SimpleParser parser = new SimpleParser(aString.trim());
81 String part = parser.parse(NUMBER);
82 year=Integer.parseInt(part);
83 if (parser.parses("-")) {
85 part = parser.parse(NUMBER);
86 month = Integer.parseInt(part);
87 if (parser.parses("-")) {
89 part = parser.parse(NUMBER);
90 day = Integer.parseInt(part);
91 if (parser.parses("T")) {
93 part = parser.parse(NUMBER);
94 hour = Integer.parseInt(part);
96 part = parser.parse(NUMBER);
97 minute = Integer.parseInt(part);
98 if (parser.parses(":")) {
100 part = parser.parse(NUMBER);
101 second = Integer.parseInt(part);
102 if (parser.parses("\\.")) {
104 part = parser.parse(NUMBER).substring(0,3);
105 while (part.length()<3)
107 millisecond = Integer.parseInt(part);
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);
117 if (parser.parses(":"))
119 if (parser.parses(TWODIGITNUMBER)) {
120 part = parser.parse(TWODIGITNUMBER);
121 minuteoffset = Integer.parseInt(part);
124 if (sign.equals("-")) {
135 String timeZoneID = "GMT";
137 timeZoneID = timeZoneID+"-";
138 timeZoneID = timeZoneID + StringRoutines.padStringLeft(Integer.toString(houroffset), 2, '0') +
139 StringRoutines.padStringLeft(Integer.toString(minuteoffset), 2, '0');
142 TimeZone zone = TimeZone.getTimeZone(timeZoneID);
144 Calendar calendar = new GregorianCalendar(zone);
145 calendar.set(year, month-1, day, hour, minute, second);
146 calendar.set(Calendar.MILLISECOND, millisecond);
148 return calendar.getTime();
150 catch (Throwable t) {
151 // logger.error("DateTimeFunctions.parseW3CDTFString: error parsing " + aString + ": " + t.toString());
153 throw new UtilFailure(t);
157 public static String advancedDateFormat(String aFormat, Date aDate, String aTimeZone) {
158 return advancedDateFormat(aFormat, aDate, TimeZone.getTimeZone(aTimeZone));
161 public static String advancedDateFormat(String aFormat, Date aDate, TimeZone aTimeZone) {
162 SimpleDateFormat simpleFormat = new SimpleDateFormat(aFormat);
164 simpleFormat.setTimeZone(aTimeZone);
165 return simpleFormat.format(aDate);
168 public static String dateToSortableString(Date aDate) {
169 return advancedDateFormat("yyyyMMddHHmmss", aDate, "GMT");