// Populate zonesByOffset. (Zones that will change their // GMT offsets are also added to zonesByOffset here.) int lastKnownOffset = tz.getRawOffset();
Set<String> set = zonesByOffset.get(lastKnownOffset); if (set == null) {
set = new TreeSet<>();
zonesByOffset.put(lastKnownOffset, set);
}
set.add(zonename);
return0;
}
/** *GeneratesTimeZoneDatatooutputSimpleTimeZonedata. *@parammapMappingsobjectwhichisgeneratedby{@linkMain#compile}. *@return0ifnoerroroccurred,otherwise1.
*/ int generateSrc(Mappings map) { try {
File outD = new File(Main.getOutputDir());
outD.mkdirs();
FileWriter fw = new FileWriter(new File(outD, "TimeZoneData.java"), false);
BufferedWriter out = new BufferedWriter(fw);
Map<String,String> a = map.getAliases();
List<Integer> roi = map.getRawOffsetsIndex();
List<Set<String>> roit = map.getRawOffsetsIndexTable();
int index = 0; for (int offset : zonesByOffset.keySet()) { int o = roi.get(index);
Set<String> set = zonesByOffset.get(offset); if (offset == o) { // Merge aliases into zonesByOffset
set.addAll(roit.get(index));
}
index++;
for (String key : set) {
ZoneRec zrec;
String realname;
List<RuleRec> stz; if ((realname = a.get(key)) != null) { // if this alias is not targeted, ignore it. if (!Zone.isTargetZone(key)) { continue;
}
stz = lastRules.get(realname);
zrec = lastZoneRecs.get(realname);
} else {
stz = lastRules.get(key);
zrec = lastZoneRecs.get(key);
}
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.