Uses of Class

Packages that use Locale
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 

Uses of Locale in java.lang

Methods in java.lang with parameters of type Locale
 String String.toLowerCase(Locale locale)
 String String.toUpperCase(Locale locale)

Uses of Locale in java.util

Fields in java.util declared as Locale
static Locale Locale.ENGLISH
static Locale Locale.FRENCH
static Locale Locale.GERMAN
static Locale Locale.ITALIAN
static Locale Locale.JAPANESE
static Locale Locale.KOREAN
static Locale Locale.CHINESE
static Locale Locale.SIMPLIFIED_CHINESE
static Locale Locale.TRADITIONAL_CHINESE
static Locale Locale.FRANCE
static Locale Locale.GERMANY
static Locale Locale.ITALY
static Locale Locale.JAPAN
static Locale Locale.KOREA
static Locale Locale.CHINA
static Locale Locale.PRC
static Locale Locale.TAIWAN
static Locale Locale.UK
static Locale Locale.US
static Locale Locale.CANADA
static Locale Locale.CANADA_FRENCH

Methods in java.util that return Locale
static Locale Locale.getDefault()
static Locale[] Locale.getAvailableLocales()
static Locale[] Calendar.getAvailableLocales()
 Locale ResourceBundle.getLocale()

Methods in java.util with parameters of type Locale
static void Locale.setDefault(Locale newLocale)
 String Locale.getDisplayLanguage(Locale inLocale)
 String Locale.getDisplayCountry(Locale inLocale)
 String Locale.getDisplayVariant(Locale inLocale)
 String Locale.getDisplayName(Locale inLocale)
static Calendar Calendar.getInstance(Locale aLocale)
static Calendar Calendar.getInstance(TimeZone zone, Locale aLocale)
 String TimeZone.getDisplayName(Locale)
 String TimeZone.getDisplayName(boolean, int, Locale)
static ResourceBundle ResourceBundle.getBundle(String baseName, Locale locale)
static ResourceBundle ResourceBundle.getBundle(String baseName, Locale locale, ClassLoader loader)

Constructors in java.util with parameters of type Locale
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(Locale aLocale)
GregorianCalendar(TimeZone zone, Locale aLocale)

Uses of Locale in javax.servlet

Methods in javax.servlet that return Locale
 Locale ServletResponseWrapper.getLocale()
abstract  Locale ServletResponse.getLocale()
abstract  Locale ServletRequest.getLocale()
 Locale ServletRequestWrapper.getLocale()

Methods in javax.servlet with parameters of type Locale
 void ServletResponseWrapper.setLocale(Locale loc)
abstract  void ServletResponse.setLocale(Locale loc)


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.