diff options
| author | Tom Tromey <tromey@redhat.com> | 2001-05-16 15:34:46 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2001-05-16 15:34:46 +0000 |
| commit | 26ec4f47ba9c2d8f178bdd0b920d70708021ce29 (patch) | |
| tree | e90df73370796662a1701f3a31c3381056d62f0e /libjava/java | |
| parent | df002c7d8fdf477dc49a6960394dd9eb6c9d8c9c (diff) | |
| download | gcc-26ec4f47ba9c2d8f178bdd0b920d70708021ce29.zip gcc-26ec4f47ba9c2d8f178bdd0b920d70708021ce29.tar.gz gcc-26ec4f47ba9c2d8f178bdd0b920d70708021ce29.tar.bz2 | |
SimpleDateFormat.java (parse): Handle non-dst time zones.
* java/text/SimpleDateFormat.java (parse): Handle non-dst time
zones.
From-SVN: r42156
Diffstat (limited to 'libjava/java')
| -rw-r--r-- | libjava/java/text/SimpleDateFormat.java | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/libjava/java/text/SimpleDateFormat.java b/libjava/java/text/SimpleDateFormat.java index 5b36638..80ab6ea 100644 --- a/libjava/java/text/SimpleDateFormat.java +++ b/libjava/java/text/SimpleDateFormat.java @@ -518,6 +518,7 @@ public class SimpleDateFormat extends DateFormat // then this.equals() will no longer have the desired result. Calendar theCalendar = (Calendar) calendar.clone (); theCalendar.clear(); + boolean saw_timezone = false; int quote_start = -1; for (; fmt_index < fmt_max; ++fmt_index) { @@ -635,7 +636,6 @@ public class SimpleDateFormat extends DateFormat // We need a special case for the timezone, because it // uses a different data structure than the other cases. is_numeric = false; - // We don't actually use this; see below. calendar_field = Calendar.DST_OFFSET; String[][] zoneStrings = formatData.getZoneStrings(); int zoneCount = zoneStrings.length; @@ -653,8 +653,16 @@ public class SimpleDateFormat extends DateFormat if (k != strings.length) { found_zone = true; + saw_timezone = true; TimeZone tz = TimeZone.getTimeZone (strings[0]); theCalendar.setTimeZone (tz); + theCalendar.set (Calendar.ZONE_OFFSET, tz.getRawOffset ()); + offset = 0; + if (k > 2 && tz instanceof SimpleTimeZone) + { + SimpleTimeZone stz = (SimpleTimeZone) tz; + offset = stz.getDSTSavings (); + } pos.setIndex(index + strings[k].length()); break; } @@ -698,19 +706,21 @@ public class SimpleDateFormat extends DateFormat value = i; } else - value = 0; + value = offset; // Assign the value and move on. - if (calendar_field != Calendar.DST_OFFSET) - theCalendar.set(calendar_field, value); + theCalendar.set(calendar_field, value); } try { - // Clear calendar fields here to force getTime() to correctly - // respect DST in the timezone. - theCalendar.clear (Calendar.DST_OFFSET); - theCalendar.clear (Calendar.ZONE_OFFSET); + if (! saw_timezone) + { + // Use the real rules to determine whether or not this + // particular time is in daylight savings. + theCalendar.clear (Calendar.DST_OFFSET); + theCalendar.clear (Calendar.ZONE_OFFSET); + } return theCalendar.getTime(); } catch (IllegalArgumentException x) |