146 * java.util.SimpleTimeZone#SimpleTimeZone(int, String, int, int,
147 * int , int , int , int , int , int , int, int, int) the
148 * 13-argument SimpleTimeZone constructor} parameters.
149 * @serial
150 */
151 private int[] simpleTimeZoneParams;
152
153 /**
154 * True if the raw GMT offset value would change after the time
155 * zone data has been generated; false, otherwise. The default
156 * value is false.
157 * @serial
158 */
159 private boolean willGMTOffsetChange = false;
160
161 /**
162 * True if the object has been modified after its instantiation.
163 */
164 private transient boolean dirty = false;
165
166 private static final long serialVersionUID = 2653134537216586139L;
167
168 /**
169 * A constructor.
170 */
171 public ZoneInfo() {
172 }
173
174 /**
175 * A Constructor for CustomID.
176 */
177 public ZoneInfo(String ID, int rawOffset) {
178 this(ID, rawOffset, 0, 0, null, null, null, false);
179 }
180
181 /**
182 * Constructs a ZoneInfo instance.
183 *
184 * @param ID time zone name
185 * @param rawOffset GMT offset in milliseconds
709 return false;
710 }
711 if (getLastRawOffset() != ((ZoneInfo)other).getLastRawOffset()) {
712 return false;
713 }
714 return (checksum == ((ZoneInfo)other).checksum);
715 }
716
717 /**
718 * Returns a Map from alias time zone IDs to their standard
719 * time zone IDs.
720 *
721 * @return the Map that holds the mappings from alias time zone IDs
722 * to their standard time zone IDs, or null if
723 * <code>ZoneInfoMappings</code> file is not available.
724 */
725 public static Map<String, String> getAliasTable() {
726 return ZoneInfoFile.getAliasMap();
727 }
728
729 private void readObject(ObjectInputStream stream)
730 throws IOException, ClassNotFoundException {
731 stream.defaultReadObject();
732 // We don't know how this object from 1.4.x or earlier has
733 // been mutated. So it should always be marked as `dirty'.
734 dirty = true;
735 }
736 }
|
146 * java.util.SimpleTimeZone#SimpleTimeZone(int, String, int, int,
147 * int , int , int , int , int , int , int, int, int) the
148 * 13-argument SimpleTimeZone constructor} parameters.
149 * @serial
150 */
151 private int[] simpleTimeZoneParams;
152
153 /**
154 * True if the raw GMT offset value would change after the time
155 * zone data has been generated; false, otherwise. The default
156 * value is false.
157 * @serial
158 */
159 private boolean willGMTOffsetChange = false;
160
161 /**
162 * True if the object has been modified after its instantiation.
163 */
164 private transient boolean dirty = false;
165
166 @java.io.Serial
167 private static final long serialVersionUID = 2653134537216586139L;
168
169 /**
170 * A constructor.
171 */
172 public ZoneInfo() {
173 }
174
175 /**
176 * A Constructor for CustomID.
177 */
178 public ZoneInfo(String ID, int rawOffset) {
179 this(ID, rawOffset, 0, 0, null, null, null, false);
180 }
181
182 /**
183 * Constructs a ZoneInfo instance.
184 *
185 * @param ID time zone name
186 * @param rawOffset GMT offset in milliseconds
710 return false;
711 }
712 if (getLastRawOffset() != ((ZoneInfo)other).getLastRawOffset()) {
713 return false;
714 }
715 return (checksum == ((ZoneInfo)other).checksum);
716 }
717
718 /**
719 * Returns a Map from alias time zone IDs to their standard
720 * time zone IDs.
721 *
722 * @return the Map that holds the mappings from alias time zone IDs
723 * to their standard time zone IDs, or null if
724 * <code>ZoneInfoMappings</code> file is not available.
725 */
726 public static Map<String, String> getAliasTable() {
727 return ZoneInfoFile.getAliasMap();
728 }
729
730 @java.io.Serial
731 private void readObject(ObjectInputStream stream)
732 throws IOException, ClassNotFoundException {
733 stream.defaultReadObject();
734 // We don't know how this object from 1.4.x or earlier has
735 // been mutated. So it should always be marked as `dirty'.
736 dirty = true;
737 }
738 }
|