JML

Uses of Class
java.util.Locale

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). 
javax.servlet   
 

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

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.