// Try the test multiple times with modifying TimeZones to // make sure TimeZone instances for the old mapping are // properly copied (defensive copy). for (int count = 0; count < 3; count++) { for (String id : oldmap.keySet()) {
TimeZone tzAlias = TimeZone.getTimeZone(id);
TimeZone tz = TimeZone.getTimeZone(oldmap.get(id)); if (useOldMapping) { if (!tzAlias.hasSameRules(tz)) { thrownew RuntimeException("OLDMAP: " + MAPPING_PROPERTY_NAME
+ "=" + prop + ": " + id
+ " isn't an alias of " + oldmap.get(id));
} if (count == 0) {
System.out.println(" " + id + " => " + oldmap.get(id));
}
tzAlias.setRawOffset(tzAlias.getRawOffset() * count);
} else { if (!newmap.containsKey(id)) { // ignore ids not contained in the new map if (count == 0) {
System.out.println(" " + id + " => " + oldmap.get(id));
}
tzAlias.setRawOffset(tzAlias.getRawOffset() * count); continue;
} if (tzAlias.hasSameRules(tz)) { thrownew RuntimeException("NEWMAP: " + MAPPING_PROPERTY_NAME
+ "=" + prop + ": " + id
+ " is an alias of " + oldmap.get(id));
}
tz = TimeZone.getTimeZone(newmap.get(id)); if (!tzAlias.hasSameRules(tz)) { thrownew RuntimeException("NEWMAP: " + MAPPING_PROPERTY_NAME
+ "=" + prop + ": " + id
+ " isn't an alias of " + newmap.get(id));
} if (count == 0) {
System.out.println(" " + id + " => " + newmap.get(id));
}
tzAlias.setRawOffset(tzAlias.getRawOffset() * count);
}
}
}
}
}
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.24Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.