Lines Matching refs:DateFormat
29 import java.text.DateFormat;
592 // java.io.ObjectOutputStream.writeObject(java.text.DateFormat)
599 objToSave = new java.text.DateFormat() {
619 if (!(obj instanceof java.text.DateFormat))
621 return save.equals(((java.text.DateFormat) obj).parse(null,
1755 // java.io.ObjectOutputStream.writeObject(java.text.DateFormat.Field)
1757 DateFormat.Field[] objToSave = null;
1758 DateFormat.Field[] objLoaded = null;
1761 objToSave = new DateFormat.Field[] { DateFormat.Field.AM_PM,
1762 DateFormat.Field.DAY_OF_MONTH, DateFormat.Field.ERA,
1763 DateFormat.Field.HOUR0, DateFormat.Field.HOUR1,
1764 DateFormat.Field.HOUR_OF_DAY0,
1765 DateFormat.Field.HOUR_OF_DAY1, DateFormat.Field.TIME_ZONE,
1766 DateFormat.Field.YEAR,
1767 DateFormat.Field.DAY_OF_WEEK_IN_MONTH };
1771 objLoaded = (DateFormat.Field[]) dumpAndReload(objToSave);