gcc/libjava/java/text/DateFormat.java
Jeroen Frijters a734981608 StackTraceElement.java: Made final.
2004-11-18  Jeroen Frijters  <address@bogus.example.com>

	* java/lang/StackTraceElement.java: Made final.
	* java/nio/channels/Channels.java: Added private constructor.
	* java/rmi/Naming.java: Added private constructor.
	* java/rmi/registry/LocateRegistry.java: Added private constructor.
	* java/rmi/server/RMIClassLoader.java: Added private constructor.
	* java/security/KeyPairGeneratorSpi.java
	(clone): Made protected and simplified implementation.
	* java/text/DateFormat.java
	(allFields): Made package accessible.
	* java/text/DecimalFormat.java
	(formatInternal): Made private.
	* java/text/Format.java
	(formatInternal): Made private.
	* java/util/logging/Handler.java: Made constructor protected.
	* java/util/regex/Matcher.java: Made final.
	* java/util/regex/Pattern.java: Made final.
	* javax/crypto/CipherInputStream.java
	(mark): Corrected mark parameter type (from long to int).
	* javax/crypto/ExemptionMechanism.java
	(finalize): Added.
	* javax/crypto/Mac.java
	(getMacLength): Made final.
	(clone): Made final.
	* javax/imageio/ImageIO.java: Added private constructor.
	* javax/imageio/stream/ImageInputStreamImpl.java
	(checkClosed): Made final.
	* javax/net/ssl/SSLPermission.java: Made final.
	* javax/print/DocFlavor.java
	(hostEncoding): Added work-around to prevent the field from being
	a compile time constant.
	* javax/print/attribute/AttributeSetUtilities.java: Added private
	constructor.
	(UnmodifiableDocAttributeSet): Made private.
	(UnmodifiablePrintJobAttributeSet): Made private.
	(UnmodifiablePrintRequestAttributeSet): Made private.
	(UnmodifiablePrintServiceAttributeSet): Made private.
	(SynchronizedAttributeSet): Made private.
	(SynchronizedDocAttributeSet): Made private.
	(SynchronizedPrintJobAttributeSet): Made private.
	(SynchronizedPrintRequestAttributeSet): Made private.
	(SynchronizedPrintServiceAttributeSet): Made private.
	* javax/security/auth/PrivateCredentialPermission.java: Made final.

From-SVN: r90866
2004-11-18 15:26:45 +00:00

690 lines
20 KiB
Java

/* DateFormat.java -- Class for formatting/parsing date/times
Copyright (C) 1998, 1999, 2000, 2001, 2003, 2004
Free Software Foundation, Inc.
This file is part of GNU Classpath.
GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING. If not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA.
Linking this library statically or dynamically with other modules is
making a combined work based on this library. Thus, the terms and
conditions of the GNU General Public License cover the whole
combination.
As a special exception, the copyright holders of this library give you
permission to link this library with independent modules to produce an
executable, regardless of the license terms of these independent
modules, and to copy and distribute the resulting executable under
terms of your choice, provided that you also meet, for each linked
independent module, the terms and conditions of the license of that
module. An independent module is a module which is not derived from
or based on this library. If you modify this library, you may extend
this exception to your version of the library, but you are not
obligated to do so. If you do not wish to do so, delete this
exception statement from your version. */
package java.text;
import java.io.InvalidObjectException;
import java.util.Calendar;
import java.util.Date;
import java.util.Locale;
import java.util.MissingResourceException;
import java.util.ResourceBundle;
import java.util.TimeZone;
/**
* @author Per Bothner <bothner@cygnus.com>
* @date October 25, 1998.
*/
/* Written using "Java Class Libraries", 2nd edition, plus online
* API docs for JDK 1.2 beta from http://www.javasoft.com.
* Status: Mostly complete; search for FIXME to see omissions.
*/
public abstract class DateFormat extends Format implements Cloneable
{
protected Calendar calendar;
protected NumberFormat numberFormat;
// (Values determined using a test program.)
public static final int FULL = 0;
public static final int LONG = 1;
public static final int MEDIUM = 2;
public static final int SHORT = 3;
public static final int DEFAULT = MEDIUM;
/* These constants need to have these exact values. They
* correspond to index positions within the localPatternChars
* string for a given locale. For example, the US locale uses
* the string "GyMdkHmsSEDFwWahKz", where 'G' is the character
* for era, 'y' for year, and so on down to 'z' for time zone.
*/
public static final int ERA_FIELD = 0;
public static final int YEAR_FIELD = 1;
public static final int MONTH_FIELD = 2;
public static final int DATE_FIELD = 3;
public static final int HOUR_OF_DAY1_FIELD = 4;
public static final int HOUR_OF_DAY0_FIELD = 5;
public static final int MINUTE_FIELD = 6;
public static final int SECOND_FIELD = 7;
public static final int MILLISECOND_FIELD = 8;
public static final int DAY_OF_WEEK_FIELD = 9;
public static final int DAY_OF_YEAR_FIELD = 10;
public static final int DAY_OF_WEEK_IN_MONTH_FIELD = 11;
public static final int WEEK_OF_YEAR_FIELD = 12;
public static final int WEEK_OF_MONTH_FIELD = 13;
public static final int AM_PM_FIELD = 14;
public static final int HOUR1_FIELD = 15;
public static final int HOUR0_FIELD = 16;
public static final int TIMEZONE_FIELD = 17;
public static class Field extends Format.Field
{
static final long serialVersionUID = 7441350119349544720L;
private int calendarField;
public static final DateFormat.Field ERA
= new Field("era", Calendar.ERA);
public static final DateFormat.Field YEAR
= new Field("year", Calendar.YEAR);
public static final DateFormat.Field MONTH
= new Field("month", Calendar.MONTH);
public static final DateFormat.Field DAY_OF_MONTH
= new Field("day of month", Calendar.DAY_OF_MONTH);
public static final DateFormat.Field HOUR_OF_DAY1
= new Field("hour of day 1", Calendar.HOUR_OF_DAY);
public static final DateFormat.Field HOUR_OF_DAY0
= new Field("hour of day 0", Calendar.HOUR_OF_DAY);
public static final DateFormat.Field MINUTE
= new Field("minute", Calendar.MINUTE);
public static final DateFormat.Field SECOND
= new Field("second", Calendar.SECOND);
public static final DateFormat.Field MILLISECOND
= new Field("millisecond", Calendar.MILLISECOND);
public static final DateFormat.Field DAY_OF_WEEK
= new Field("day of week", Calendar.DAY_OF_WEEK);
public static final DateFormat.Field DAY_OF_YEAR
= new Field("day of year", Calendar.DAY_OF_YEAR);
public static final DateFormat.Field DAY_OF_WEEK_IN_MONTH
= new Field("day of week in month", Calendar.DAY_OF_WEEK_IN_MONTH);
public static final DateFormat.Field WEEK_OF_YEAR
= new Field("week of year", Calendar.WEEK_OF_YEAR);
public static final DateFormat.Field WEEK_OF_MONTH
= new Field("week of month", Calendar.WEEK_OF_MONTH);
public static final DateFormat.Field AM_PM
= new Field("am/pm", Calendar.AM_PM);
public static final DateFormat.Field HOUR1
= new Field("hour1", Calendar.HOUR);
public static final DateFormat.Field HOUR0
= new Field("hour0", Calendar.HOUR);
public static final DateFormat.Field TIME_ZONE
= new Field("timezone", Calendar.ZONE_OFFSET);
static final DateFormat.Field[] allFields =
{
ERA, YEAR, MONTH, DAY_OF_MONTH, HOUR_OF_DAY1,
HOUR_OF_DAY0, MINUTE, SECOND, MILLISECOND,
DAY_OF_WEEK, DAY_OF_YEAR, DAY_OF_WEEK_IN_MONTH,
WEEK_OF_YEAR, WEEK_OF_MONTH, AM_PM, HOUR1, HOUR0,
TIME_ZONE
};
// For deserialization
private Field()
{
super("");
}
protected Field(String name, int calendarField)
{
super(name);
this.calendarField = calendarField;
}
public int getCalendarField()
{
return calendarField;
}
public static Field ofCalendarField(int calendarField)
{
if (calendarField >= allFields.length || calendarField < 0)
throw new IllegalArgumentException("no such calendar field ("
+ calendarField + ")");
return allFields[calendarField];
}
protected Object readResolve() throws InvalidObjectException
{
String s = getName();
for (int i=0;i<allFields.length;i++)
if (s.equals(allFields[i].getName()))
return allFields[i];
throw new InvalidObjectException("no such DateFormat field called " + s);
}
}
/**
* This method initializes a new instance of <code>DateFormat</code>.
*/
protected DateFormat ()
{
}
/**
* This method tests this object for equality against the specified object.
* The two objects will be considered equal if an only if the specified
* object:
* <P>
* <ul>
* <li>Is not <code>null</code>.</li>
* <li>Is an instance of <code>DateFormat</code>.</li>
* <li>Has the same numberFormat field value as this object.</li>
* </ul>
*
* @param obj The object to test for equality against.
*
* @return <code>true</code> if the specified object is equal to this object,
* <code>false</code> otherwise.
*/
public boolean equals (Object obj)
{
if (!(obj instanceof DateFormat))
return false;
DateFormat d = (DateFormat) obj;
return numberFormat.equals(d.numberFormat);
}
/**
* This method returns a copy of this object.
*
* @return A copy of this object.
*/
public Object clone ()
{
// We know the superclass just call's Object's generic cloner.
return super.clone ();
}
/**
* This method formats the specified <code>Object</code> into a date string
* and appends it to the specified <code>StringBuffer</code>.
* The specified object must be an instance of <code>Number</code> or
* <code>Date</code> or an <code>IllegalArgumentException</code> will be
* thrown.
*
* @param obj The <code>Object</code> to format.
* @param toAppendTo The <code>StringBuffer</code> to append the resultant
* <code>String</code> to.
* @param fieldPosition Is updated to the start and end index of the
* specified field.
*
* @return The <code>StringBuffer</code> supplied on input, with the
* formatted date/time appended.
*/
public final StringBuffer format (Object obj,
StringBuffer buf, FieldPosition pos)
{
if (obj instanceof Number)
obj = new Date(((Number) obj).longValue());
else if (! (obj instanceof Date))
throw new IllegalArgumentException
("Cannot format given Object as a Date");
return format ((Date) obj, buf, pos);
}
/**
* Formats the date argument according to the pattern specified.
*
* @param date The formatted date.
*/
public final String format (Date date)
{
StringBuffer sb = new StringBuffer ();
format (date, sb, new FieldPosition (MONTH_FIELD));
return sb.toString();
}
/**
* This method formats a <code>Date</code> into a string and appends it
* to the specified <code>StringBuffer</code>.
*
* @param date The <code>Date</code> value to format.
* @param toAppendTo The <code>StringBuffer</code> to append the resultant
* <code>String</code> to.
* @param fieldPosition Is updated to the start and end index of the
* specified field.
*
* @return The <code>StringBuffer</code> supplied on input, with the
* formatted date/time appended.
*/
public abstract StringBuffer format (Date date,
StringBuffer buf, FieldPosition pos);
/**
* This method returns a list of available locales supported by this
* class.
*/
public static Locale[] getAvailableLocales ()
{
// FIXME
Locale[] l = new Locale[1];
l[0] = Locale.US;
return l;
}
/**
* This method returns the <code>Calendar</code> object being used by
* this object to parse/format datetimes.
*
* @return The <code>Calendar</code> being used by this object.
*
* @see java.util.Calendar
*/
public Calendar getCalendar ()
{
return calendar;
}
private static DateFormat computeInstance (int style, Locale loc,
boolean use_date, boolean use_time)
{
return computeInstance (style, style, loc, use_date, use_time);
}
private static DateFormat computeInstance (int dateStyle, int timeStyle,
Locale loc, boolean use_date,
boolean use_time)
{
ResourceBundle res;
try
{
res = ResourceBundle.getBundle("gnu.java.locale.LocaleInformation",
loc, ClassLoader.getSystemClassLoader());
}
catch (MissingResourceException x)
{
res = null;
}
String pattern = null;
if (use_date)
{
String name, def;
switch (dateStyle)
{
case FULL:
name = "fullDateFormat";
def = "EEEE MMMM d, yyyy G";
break;
case LONG:
name = "longDateFormat";
def = "MMMM d, yyyy";
break;
case MEDIUM:
name = "mediumDateFormat";
def = "d-MMM-yy";
break;
case SHORT:
name = "shortDateFormat";
def = "M/d/yy";
break;
default:
throw new IllegalArgumentException ();
}
try
{
pattern = res == null ? def : res.getString(name);
}
catch (MissingResourceException x)
{
pattern = def;
}
}
if (use_time)
{
if (pattern == null)
pattern = "";
else
pattern += " ";
String name, def;
switch (timeStyle)
{
case FULL:
name = "fullTimeFormat";
def = "h:mm:ss;S 'o''clock' a z";
break;
case LONG:
name = "longTimeFormat";
def = "h:mm:ss a z";
break;
case MEDIUM:
name = "mediumTimeFormat";
def = "h:mm:ss a";
break;
case SHORT:
name = "shortTimeFormat";
def = "h:mm a";
break;
default:
throw new IllegalArgumentException ();
}
String s;
try
{
s = res == null ? def : res.getString(name);
}
catch (MissingResourceException x)
{
s = def;
}
pattern += s;
}
return new SimpleDateFormat (pattern, loc);
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the default formatting style for dates.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getDateInstance ()
{
return getDateInstance (DEFAULT, Locale.getDefault());
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the specified formatting style for dates.
*
* @param style The type of formatting to perform.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getDateInstance (int style)
{
return getDateInstance (style, Locale.getDefault());
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the specified formatting style for dates. The specified
* localed will be used in place of the default.
*
* @param style The type of formatting to perform.
* @param aLocale The desired locale.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getDateInstance (int style, Locale loc)
{
return computeInstance (style, loc, true, false);
}
/**
* This method returns a new instance of <code>DateFormat</code> that
* formats both dates and times using the <code>SHORT</code> style.
*
* @return A new <code>DateFormat</code>instance.
*/
public static final DateFormat getDateTimeInstance ()
{
return getDateTimeInstance (DEFAULT, DEFAULT, Locale.getDefault());
}
/**
* This method returns a new instance of <code>DateFormat</code> that
* formats both dates and times using the <code>DEFAULT</code> style.
*
* @return A new <code>DateFormat</code>instance.
*/
public static final DateFormat getDateTimeInstance (int dateStyle,
int timeStyle)
{
return getDateTimeInstance (dateStyle, timeStyle, Locale.getDefault());
}
/**
* This method returns a new instance of <code>DateFormat</code> that
* formats both dates and times using the specified styles.
*
* @param dateStyle The desired style for date formatting.
* @param timeStyle The desired style for time formatting
*
* @return A new <code>DateFormat</code>instance.
*/
public static final DateFormat getDateTimeInstance (int dateStyle,
int timeStyle,
Locale loc)
{
return computeInstance (dateStyle, timeStyle, loc, true, true);
}
/**
* This method returns a new instance of <code>DateFormat</code> that
* formats both dates and times using the <code>SHORT</code> style.
*
* @return A new <code>DateFormat</code>instance.
*/
public static final DateFormat getInstance ()
{
// JCL book says SHORT.
return getDateTimeInstance (SHORT, SHORT, Locale.getDefault());
}
/**
* This method returns the <code>NumberFormat</code> object being used
* by this object to parse/format time values.
*
* @return The <code>NumberFormat</code> in use by this object.
*/
public NumberFormat getNumberFormat ()
{
return numberFormat;
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the default formatting style for times.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getTimeInstance ()
{
return getTimeInstance (DEFAULT, Locale.getDefault());
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the specified formatting style for times.
*
* @param style The type of formatting to perform.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getTimeInstance (int style)
{
return getTimeInstance (style, Locale.getDefault());
}
/**
* This method returns an instance of <code>DateFormat</code> that will
* format using the specified formatting style for times. The specified
* localed will be used in place of the default.
*
* @param style The type of formatting to perform.
* @param aLocale The desired locale.
*
* @return A new <code>DateFormat</code> instance.
*/
public static final DateFormat getTimeInstance (int style, Locale loc)
{
return computeInstance (style, loc, false, true);
}
/**
* This method returns the <code>TimeZone</code> object being used by
* this instance.
*
* @return The time zone in use.
*/
public TimeZone getTimeZone ()
{
return calendar.getTimeZone();
}
/**
* This method returns a hash value for this object.
*
* @return A hash value for this object.
*/
public int hashCode ()
{
if (numberFormat != null)
return numberFormat.hashCode();
else
return 0;
}
/**
* This method indicates whether or not the parsing of date and time
* values should be done in a lenient value.
*
* @return <code>true</code> if date/time parsing is lenient,
* <code>false</code> otherwise.
*/
public boolean isLenient ()
{
return calendar.isLenient();
}
/**
* This method parses the specified date/time string.
*
* @param source The string to parse.
* @return The resultant date.
*
* @exception ParseException If the specified string cannot be parsed.
*/
public Date parse (String source) throws ParseException
{
ParsePosition pos = new ParsePosition(0);
Date result = parse (source, pos);
if (result == null)
{
int index = pos.getErrorIndex();
if (index < 0)
index = pos.getIndex();
throw new ParseException("invalid Date syntax in \""
+ source + '\"', index);
}
return result;
}
/**
* This method parses the specified <code>String</code> into a
* <code>Date</code>. The <code>pos</code> argument contains the
* starting parse position on method entry and the ending parse
* position on method exit.
*
* @param text The string to parse.
* @param pos The starting parse position in entry, the ending parse
* position on exit.
*
* @return The parsed date, or <code>null</code> if the string cannot
* be parsed.
*/
public abstract Date parse (String source, ParsePosition pos);
/**
* This method is identical to <code>parse(String, ParsePosition)</code>,
* but returns its result as an <code>Object</code> instead of a
* <code>Date</code>.
*
* @param source The string to parse.
* @param pos The starting parse position in entry, the ending parse
* position on exit.
*
* @return The parsed date, or <code>null</code> if the string cannot
* be parsed.
*/
public Object parseObject (String source, ParsePosition pos)
{
return parse(source, pos);
}
/**
* This method specified the <code>Calendar</code> that should be used
* by this object to parse/format datetimes.
*
* @param The new <code>Calendar</code> for this object.
*
* @see java.util.Calendar
*/
public void setCalendar (Calendar calendar)
{
this.calendar = calendar;
}
/**
* This method specifies whether or not this object should be lenient in
* the syntax it accepts while parsing date/time values.
*
* @param lenient <code>true</code> if parsing should be lenient,
* <code>false</code> otherwise.
*/
public void setLenient (boolean lenient)
{
calendar.setLenient(lenient);
}
/**
* This method specifies the <code>NumberFormat</code> object that should
* be used by this object to parse/format times.
*
* @param The <code>NumberFormat</code> in use by this object.
*/
public void setNumberFormat (NumberFormat numberFormat)
{
this.numberFormat = numberFormat;
}
/**
* This method sets the time zone that should be used by this object.
*
* @param The new time zone.
*/
public void setTimeZone (TimeZone timeZone)
{
calendar.setTimeZone(timeZone);
}
}