1 |
/* java.util.TimeZone |
/* java.util.TimeZone |
2 |
Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
760 |
} |
} |
761 |
String tzid = System.getProperty("user.timezone"); |
String tzid = System.getProperty("user.timezone"); |
762 |
|
|
|
// XXX: Remove call to getDefaultTimeZoneId after java.lang.System |
|
|
// is merged with libgcj. |
|
763 |
if (tzid == null) |
if (tzid == null) |
764 |
tzid = getDefaultTimeZoneId(); |
tzid = getDefaultTimeZoneId(); |
765 |
|
|
778 |
(which does not have Daylight Savings Time) the string would |
(which does not have Daylight Savings Time) the string would |
779 |
be EST5 |
be EST5 |
780 |
*/ |
*/ |
|
// XXX: Remove getDefaultTimeZoneId after java.lang.System |
|
|
// is merged with libgcj. |
|
781 |
private static native String getDefaultTimeZoneId(); |
private static native String getDefaultTimeZoneId(); |
782 |
|
|
783 |
/** |
/** |
966 |
* @return The time zone for the identifier or GMT, if no such time |
* @return The time zone for the identifier or GMT, if no such time |
967 |
* zone exists. |
* zone exists. |
968 |
*/ |
*/ |
969 |
|
// FIXME: XXX: JCL indicates this and other methods are synchronized. |
970 |
public static TimeZone getTimeZone(String ID) |
public static TimeZone getTimeZone(String ID) |
971 |
{ |
{ |
972 |
// First check timezones hash |
// First check timezones hash |