publicclass Bug8024141 { // This test assumes that the two time zones are in GMT. If // they become different zones, need to pick up another zones. privatestaticfinal String[] ZONES = { "Africa/Abidjan", "Africa/Bamako"
};
for (String zone : ZONES) {
ZoneId id = ZoneId.of(zone);
String name = id.getDisplayName(FULL, ENGLISH);
String abbr = id.getDisplayName(SHORT, ENGLISH);
if (!name.equals(gmtName) || !abbr.equals(gmtAbbr)) { thrownew RuntimeException("inconsistent name/abbr for " + zone + ":\n"
+ "name=" + name + ", abbr=" + abbr);
}
}
}
}
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.8 Sekunden
(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.