Uses of Class
java.util.TimeZone

Packages that use TimeZone

java.util

JML Specifications for the corresponding types in the Java Developement Kit (JDK).

Uses of TimeZone in java.util

Fields in java.util declared as TimeZone

private TimeZone	Calendar.zone
private static TimeZone	TimeZone.defaultZone

Methods in java.util that return TimeZone

TimeZone	Calendar.getTimeZone()
static TimeZone	TimeZone.getDefault()
(package private) static TimeZone	TimeZone.getDefaultRef()
static TimeZone	TimeZone.getTimeZone(String)
private static TimeZone	TimeZone.parseCustomTimeZone(String)
private static TimeZone	TimeZone.getTimeZone(String, boolean)

Methods in java.util with parameters of type TimeZone

static Calendar	Calendar.getInstance(TimeZone zone)
static Calendar	Calendar.getInstance(TimeZone zone, Locale aLocale)
void	Calendar.setTimeZone(TimeZone value)
static void	TimeZone.setDefault(TimeZone)
boolean	TimeZone.hasSameRules(TimeZone)

Constructors in java.util with parameters of type TimeZone

Calendar(TimeZone zone, Locale aLocale)
firstDayOfWeek and minimalDaysInFirstWeek are both set in private void setWeekCountData(Locale desiredLocale), which I did not write specifications for since it is private.

GregorianCalendar(TimeZone zone)

GregorianCalendar(TimeZone zone, Locale aLocale)