|
15658
|
1 |
/*
|
|
|
2 |
* Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved.
|
|
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
|
|
4 |
*
|
|
|
5 |
* This code is free software; you can redistribute it and/or modify it
|
|
|
6 |
* under the terms of the GNU General Public License version 2 only, as
|
|
|
7 |
* published by the Free Software Foundation. Oracle designates this
|
|
|
8 |
* particular file as subject to the "Classpath" exception as provided
|
|
|
9 |
* by Oracle in the LICENSE file that accompanied this code.
|
|
|
10 |
*
|
|
|
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT
|
|
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that
|
|
|
15 |
* accompanied this code).
|
|
|
16 |
*
|
|
|
17 |
* You should have received a copy of the GNU General Public License version
|
|
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation,
|
|
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
|
20 |
*
|
|
|
21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
|
|
22 |
* or visit www.oracle.com if you need additional information or have any
|
|
|
23 |
* questions.
|
|
|
24 |
*/
|
|
|
25 |
|
|
|
26 |
import java.io.BufferedReader;
|
|
|
27 |
import java.io.BufferedWriter;
|
|
|
28 |
import java.io.File;
|
|
|
29 |
import java.io.FileReader;
|
|
|
30 |
import java.io.FileWriter;
|
|
|
31 |
import java.io.IOException;
|
|
|
32 |
import java.util.Date;
|
|
|
33 |
import java.util.HashMap;
|
|
|
34 |
import java.util.List;
|
|
|
35 |
import java.util.Map;
|
|
|
36 |
import java.util.Set;
|
|
|
37 |
import java.util.SortedMap;
|
|
|
38 |
import java.util.StringTokenizer;
|
|
|
39 |
import java.util.TreeMap;
|
|
|
40 |
import java.util.TreeSet;
|
|
|
41 |
|
|
|
42 |
/**
|
|
|
43 |
* <code>GenDoc</code> is one of back-end classes of javazic, and generates
|
|
|
44 |
* index.html and other html files which prints the detailed time zone
|
|
|
45 |
* information for each zone.
|
|
|
46 |
*/
|
|
|
47 |
class GenDoc extends BackEnd {
|
|
|
48 |
|
|
|
49 |
private static final String docDir = "doc";
|
|
|
50 |
|
|
|
51 |
private static final String header1 =
|
|
|
52 |
"<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Frameset//EN\"" +
|
|
|
53 |
"\"http://www.w3.org/TR/REC-html40/frameset.dtd\">\n" +
|
|
|
54 |
"<HTML>\n<HEAD>\n<!-- Generated by javazic on ";
|
|
|
55 |
private static final String header2 =
|
|
|
56 |
"-->\n<TITLE>\n" +
|
|
|
57 |
"Java Platform, Standard Edition - TimeZone information based on ";
|
|
|
58 |
private static final String header3 =
|
|
|
59 |
"-->\n<TITLE>\n" +
|
|
|
60 |
"Java Platform, Standard Edition TimeZone - ";
|
|
|
61 |
private static final String header4 =
|
|
|
62 |
"</TITLE>\n" +
|
|
|
63 |
"</HEAD>\n\n";
|
|
|
64 |
|
|
|
65 |
private static final String body1 =
|
|
|
66 |
"<BODY BGCOLOR=\"white\">\n";
|
|
|
67 |
private static final String body2 =
|
|
|
68 |
"</BODY>\n";
|
|
|
69 |
|
|
|
70 |
private static final String footer =
|
|
|
71 |
"</HTML>\n";
|
|
|
72 |
|
|
|
73 |
|
|
|
74 |
// list of time zone name and zonefile name/real time zone name
|
|
|
75 |
// e.g.
|
|
|
76 |
// key (String) : value (String)
|
|
|
77 |
// "America/Denver" : "America/Denver.html" (real time zone)
|
|
|
78 |
// "America/Shiprock" : "America/Denver" (alias)
|
|
|
79 |
TreeMap<String,String> timezoneList = new TreeMap<String,String>();
|
|
|
80 |
|
|
|
81 |
// list of time zone's display name and time zone name
|
|
|
82 |
// e.g.
|
|
|
83 |
// key (String) : value (String)
|
|
|
84 |
// "Tokyo, Asia" : "Asia/Tokyo"
|
|
|
85 |
// "Marengo, Indiana, America" : "America/Indiana/Marengo"
|
|
|
86 |
// (aliases included)
|
|
|
87 |
TreeMap<String,String> displayNameList = new TreeMap<String,String>();
|
|
|
88 |
|
|
|
89 |
// list of top level regions
|
|
|
90 |
// e.g.
|
|
|
91 |
// key (String) : value (String)
|
|
|
92 |
// "America" : "America.html"
|
|
|
93 |
// (including entries in America/Indiana/, America/Kentucky/, ...)
|
|
|
94 |
TreeMap<String,String> regionList = new TreeMap<String,String>();
|
|
|
95 |
|
|
|
96 |
// mapping list from zone name to latitude & longitude
|
|
|
97 |
// This list is generated from zone.tab.
|
|
|
98 |
// e.g.
|
|
|
99 |
// key (String) : value (LatitudeAndLongitude object)
|
|
|
100 |
// "Asia/Tokyo" : latitude=35.3916, longitude=13.9444
|
|
|
101 |
// (aliases not included)
|
|
|
102 |
HashMap<String,LatitudeAndLongitude> mapList = null;
|
|
|
103 |
|
|
|
104 |
// SortedMap of zone IDs sorted by their GMT offsets. If zone's GMT
|
|
|
105 |
// offset will change in the future, its last known offset is
|
|
|
106 |
// used.
|
|
|
107 |
SortedMap<Integer, Set<String>> zonesByOffset = new TreeMap<Integer, Set<String>>();
|
|
|
108 |
|
|
|
109 |
/**
|
|
|
110 |
* Generates HTML document for each zone.
|
|
|
111 |
* @param Timezone
|
|
|
112 |
* @return 0 if no errors, or 1 if error occurred.
|
|
|
113 |
*/
|
|
|
114 |
int processZoneinfo(Timezone tz) {
|
|
|
115 |
try {
|
|
|
116 |
int size;
|
|
|
117 |
int index;
|
|
|
118 |
String outputDir = Main.getOutputDir();
|
|
|
119 |
String zonename = tz.getName();
|
|
|
120 |
String zonefile = ZoneInfoFile.getFileName(zonename) + ".html";
|
|
|
121 |
List<RuleRec> stz = tz.getLastRules();
|
|
|
122 |
timezoneList.put(zonename, zonefile);
|
|
|
123 |
displayNameList.put(transform(zonename), zonename);
|
|
|
124 |
|
|
|
125 |
// Populate zonesByOffset. (Zones that will change their
|
|
|
126 |
// GMT offsets are also added to zonesByOffset here.)
|
|
|
127 |
int lastKnownOffset = tz.getRawOffset();
|
|
|
128 |
Set<String> set = zonesByOffset.get(lastKnownOffset);
|
|
|
129 |
if (set == null) {
|
|
|
130 |
set = new TreeSet<String>();
|
|
|
131 |
zonesByOffset.put(lastKnownOffset, set);
|
|
|
132 |
}
|
|
|
133 |
set.add(zonename);
|
|
|
134 |
|
|
|
135 |
/* If outputDir doesn't end with file-separator, adds it. */
|
|
|
136 |
if (!outputDir.endsWith(File.separator)) {
|
|
|
137 |
outputDir += File.separatorChar;
|
|
|
138 |
}
|
|
|
139 |
outputDir += docDir + File.separatorChar;
|
|
|
140 |
|
|
|
141 |
index = zonename.indexOf('/');
|
|
|
142 |
if (index != -1) {
|
|
|
143 |
regionList.put(zonename.substring(0, index),
|
|
|
144 |
zonename.substring(0, index) + ".html");
|
|
|
145 |
}
|
|
|
146 |
|
|
|
147 |
/* If zonefile includes file-separator, it's treated as part of
|
|
|
148 |
* pathname. And make directory if necessary.
|
|
|
149 |
*/
|
|
|
150 |
index = zonefile.lastIndexOf('/');
|
|
|
151 |
if (index != -1) {
|
|
|
152 |
zonefile.replace('/', File.separatorChar);
|
|
|
153 |
outputDir += zonefile.substring(0, index+1);
|
|
|
154 |
}
|
|
|
155 |
File outD = new File(outputDir);
|
|
|
156 |
outD.mkdirs();
|
|
|
157 |
|
|
|
158 |
/* If mapfile is available, add a link to the appropriate map */
|
|
|
159 |
if ((mapList == null) && (Main.getMapFile() != null)) {
|
|
|
160 |
FileReader fr = new FileReader(Main.getMapFile());
|
|
|
161 |
BufferedReader in = new BufferedReader(fr);
|
|
|
162 |
mapList = new HashMap<String,LatitudeAndLongitude>();
|
|
|
163 |
String line;
|
|
|
164 |
while ((line = in.readLine()) != null) {
|
|
|
165 |
// skip blank and comment lines
|
|
|
166 |
if (line.length() == 0 || line.charAt(0) == '#') {
|
|
|
167 |
continue;
|
|
|
168 |
}
|
|
|
169 |
StringTokenizer tokens = new StringTokenizer(line);
|
|
|
170 |
String token = tokens.nextToken(); /* We don't use the first token. */
|
|
|
171 |
token = tokens.nextToken();
|
|
|
172 |
LatitudeAndLongitude location = new LatitudeAndLongitude(token);
|
|
|
173 |
token = tokens.nextToken();
|
|
|
174 |
mapList.put(token, location);
|
|
|
175 |
}
|
|
|
176 |
in.close();
|
|
|
177 |
}
|
|
|
178 |
|
|
|
179 |
/* Open zoneinfo file to write. */
|
|
|
180 |
FileWriter fw = new FileWriter(outputDir + zonefile.substring(index+1));
|
|
|
181 |
BufferedWriter out = new BufferedWriter(fw);
|
|
|
182 |
|
|
|
183 |
out.write(header1 + new Date() + header3 + zonename + header4);
|
|
|
184 |
out.write(body1 + "<FONT size=\"+2\"><B>" + zonename + "</B></FONT>");
|
|
|
185 |
LatitudeAndLongitude location = mapList.get(zonename);
|
|
|
186 |
if (location != null) {
|
|
|
187 |
int deg, min, sec;
|
|
|
188 |
|
|
|
189 |
deg = location.getLatDeg();
|
|
|
190 |
min = location.getLatMin();
|
|
|
191 |
sec = location.getLatSec();
|
|
|
192 |
if (deg < 0) {
|
|
|
193 |
min = -min;
|
|
|
194 |
sec = -sec;
|
|
|
195 |
} else if (min < 0) {
|
|
|
196 |
sec = -sec;
|
|
|
197 |
}
|
|
|
198 |
out.write(" " +
|
|
|
199 |
"<A HREF=\"http://www.mapquest.com/maps/map.adp?" +
|
|
|
200 |
"latlongtype=degrees" +
|
|
|
201 |
"&latdeg=" + deg +
|
|
|
202 |
"&latmin=" + min +
|
|
|
203 |
"&latsec=" + sec);
|
|
|
204 |
|
|
|
205 |
deg = location.getLongDeg();
|
|
|
206 |
min = location.getLongMin();
|
|
|
207 |
sec = location.getLongSec();
|
|
|
208 |
if (deg < 0) {
|
|
|
209 |
min = -min;
|
|
|
210 |
sec = -sec;
|
|
|
211 |
} else if (min < 0) {
|
|
|
212 |
sec = -sec;
|
|
|
213 |
}
|
|
|
214 |
out.write("&longdeg=" + deg +
|
|
|
215 |
"&longmin=" + min +
|
|
|
216 |
"&longsec=" + sec +
|
|
|
217 |
"\" target=\"_blank\">[map]</A>");
|
|
|
218 |
}
|
|
|
219 |
out.write("\n<P>\n");
|
|
|
220 |
|
|
|
221 |
List<ZoneRec> zone = tz.getZones();
|
|
|
222 |
List<RuleRec> rule = tz.getRules();
|
|
|
223 |
if (rule != null && zone != null) {
|
|
|
224 |
out.write("<TABLE BORDER=\"0\" WIDTH=\"100%\" CELLPADDING=\"1\" CELLSPACING=\"0\">\n" +
|
|
|
225 |
"<TR>\n" +
|
|
|
226 |
"<TD BGCOLOR=\"#EEEEFF\" WIDTH=\"50%\" ALIGN=\"CENTER\"><BR>" +
|
|
|
227 |
"<A HREF=\"#Rules\">Rules</A><BR></TD>\n" +
|
|
|
228 |
"<TD BGCOLOR=\"#EEEEFF\" WIDTH=\"50%\" ALIGN=\"CENTER\">" +
|
|
|
229 |
"<A HREF=\"#Zone\"><BR>Zone<BR></A></TD>\n" +
|
|
|
230 |
"</TR>\n</TABLE>\n");
|
|
|
231 |
}
|
|
|
232 |
|
|
|
233 |
/* Output Rule records. */
|
|
|
234 |
if (rule != null) {
|
|
|
235 |
size = rule.size();
|
|
|
236 |
out.write("<P>\n<A NAME=\"Rules\">" +
|
|
|
237 |
"<FONT SIZE=\"+1\"><B>Rules</B></FONT></A>\n" +
|
|
|
238 |
"<TABLE BORDER=\"1\" WIDTH=\"100%\" CELLPADDING=\"3\" CELLSPACING=\"0\">\n" +
|
|
|
239 |
"<TR BGCOLOR=\"#CCCCFF\">\n" +
|
|
|
240 |
"<TD>NAME</TD><TD>FROM</TD><TD>TO</TD><TD>TYPE</TD>" +
|
|
|
241 |
"<TD>IN</TD><TD>ON</TD><TD>AT</TD><TD>SAVE</TD>" +
|
|
|
242 |
"<TD>LETTER/S</TD><TD>NOTES</TD>\n</TR>\n");
|
|
|
243 |
for (int i = 0; i < size; i++) {
|
|
|
244 |
out.write("<TR BGCOLOR=\"#FFFFFF\">\n");
|
|
|
245 |
StringTokenizer st = new StringTokenizer(rule.get(i).getLine());
|
|
|
246 |
String s;
|
|
|
247 |
if (st.hasMoreTokens()) { /* RULE - truncated */
|
|
|
248 |
st.nextToken();
|
|
|
249 |
}
|
|
|
250 |
if (st.hasMoreTokens()) { /* NAME */
|
|
|
251 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
252 |
}
|
|
|
253 |
if (st.hasMoreTokens()) { /* FROM */
|
|
|
254 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
255 |
}
|
|
|
256 |
if (st.hasMoreTokens()) { /* TO */
|
|
|
257 |
s = st.nextToken();
|
|
|
258 |
if (s.equals("min") || s.equals("max")) {
|
|
|
259 |
out.write("<TD><FONT COLOR=\"red\">" + s + "</FONT></TD>");
|
|
|
260 |
} else {
|
|
|
261 |
out.write("<TD>" + s + "</TD>");
|
|
|
262 |
}
|
|
|
263 |
}
|
|
|
264 |
if (st.hasMoreTokens()) { /* TYPE */
|
|
|
265 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
266 |
}
|
|
|
267 |
if (st.hasMoreTokens()) { /* IN */
|
|
|
268 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
269 |
}
|
|
|
270 |
if (st.hasMoreTokens()) { /* ON */
|
|
|
271 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
272 |
}
|
|
|
273 |
if (st.hasMoreTokens()) { /* AT */
|
|
|
274 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
275 |
}
|
|
|
276 |
if (st.hasMoreTokens()) { /* SAVE */
|
|
|
277 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
278 |
}
|
|
|
279 |
if (st.hasMoreTokens()) { /* LETTER/S */
|
|
|
280 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
281 |
}
|
|
|
282 |
if (st.hasMoreTokens()) { /* NOTES */
|
|
|
283 |
s = st.nextToken();
|
|
|
284 |
while (st.hasMoreTokens()) {
|
|
|
285 |
s += " " + st.nextToken();
|
|
|
286 |
}
|
|
|
287 |
index = s.indexOf('#');
|
|
|
288 |
out.write("<TD>" + s.substring(index+1) + "</TD>\n");
|
|
|
289 |
} else {
|
|
|
290 |
out.write("<TD> </TD>\n");
|
|
|
291 |
}
|
|
|
292 |
out.write("</TR>\n");
|
|
|
293 |
}
|
|
|
294 |
out.write("</TABLE>\n<P> <P>\n");
|
|
|
295 |
}
|
|
|
296 |
|
|
|
297 |
/* Output Zone records. */
|
|
|
298 |
if (zone != null) {
|
|
|
299 |
size = zone.size();
|
|
|
300 |
out.write("<P>\n<A NAME=\"Zone\">" +
|
|
|
301 |
"<FONT SIZE=\"+1\"><B>Zone</B></FONT></A>\n" +
|
|
|
302 |
"<TABLE BORDER=\"1\" WIDTH=\"100%\" CELLPADDING=\"3\" CELLSPACING=\"0\">\n" +
|
|
|
303 |
"<TR BGCOLOR=\"#CCCCFF\">\n<TD>GMTOFF</TD>" +
|
|
|
304 |
"<TD>RULES</TD><TD>FORMAT</TD><TD>UNTIL</TD>" +
|
|
|
305 |
"<TD>NOTES</TD>\n</TR>\n");
|
|
|
306 |
for (int i = 0; i < size; i++) {
|
|
|
307 |
out.write("<TR>\n");
|
|
|
308 |
StringTokenizer st = new StringTokenizer(zone.get(i).getLine());
|
|
|
309 |
String s = st.nextToken();
|
|
|
310 |
if (s.equals("Zone")) { /* NAME */
|
|
|
311 |
s = st.nextToken();
|
|
|
312 |
s = st.nextToken();
|
|
|
313 |
}
|
|
|
314 |
out.write("<TD>" + s + "</TD>"); /* GMTOFFSET */
|
|
|
315 |
if (st.hasMoreTokens()) { /* RULES */
|
|
|
316 |
out.write("<TD>" + st.nextToken() + "</TD>");
|
|
|
317 |
}
|
|
|
318 |
if (st.hasMoreTokens()) { /* FORMAT */
|
|
|
319 |
s = st.nextToken();
|
|
|
320 |
index = s.indexOf('#');
|
|
|
321 |
if (index != -1) {
|
|
|
322 |
if (index != 0) {
|
|
|
323 |
out.write("<TD>" + s.substring(0, index-1) +
|
|
|
324 |
"</TD>"); /* FORMAT */
|
|
|
325 |
s = s.substring(index+1);
|
|
|
326 |
} else {
|
|
|
327 |
out.write("<TD> </TD>"); /* FORMAT */
|
|
|
328 |
}
|
|
|
329 |
while (st.hasMoreTokens()) {
|
|
|
330 |
s += " " + st.nextToken();
|
|
|
331 |
}
|
|
|
332 |
out.write("<TD> </TD>"); /* UNTIL */
|
|
|
333 |
out.write("<TD>" + s + "</TD>\n</TR>\n"); /* NOTES */
|
|
|
334 |
continue;
|
|
|
335 |
} else {
|
|
|
336 |
out.write("<TD>" + s + "</TD>"); /* FORMAT */
|
|
|
337 |
}
|
|
|
338 |
}
|
|
|
339 |
|
|
|
340 |
if (st.hasMoreTokens()) { /* UNTIL */
|
|
|
341 |
s = st.nextToken();
|
|
|
342 |
while (st.hasMoreTokens()) {
|
|
|
343 |
s += " " + st.nextToken();
|
|
|
344 |
}
|
|
|
345 |
index = s.indexOf('#');
|
|
|
346 |
if (index != -1) {
|
|
|
347 |
if (index != 0) {
|
|
|
348 |
out.write("<TD>" + s.substring(0, index-1) +
|
|
|
349 |
"</TD>"); /* UNTIL */
|
|
|
350 |
} else {
|
|
|
351 |
out.write("<TD> </TD>"); /* UNTIL */
|
|
|
352 |
}
|
|
|
353 |
out.write("<TD>" + s.substring(index+1) +
|
|
|
354 |
"</TD>\n"); /* NOTES */
|
|
|
355 |
} else {
|
|
|
356 |
out.write("<TD>" + s + "</TD>"); /* UNTIL */
|
|
|
357 |
out.write("<TD> </TD>\n"); /* NOTES */
|
|
|
358 |
}
|
|
|
359 |
} else {
|
|
|
360 |
out.write("<TD> </TD>"); /* UNTIL */
|
|
|
361 |
out.write("<TD> </TD>\n"); /* NOTES */
|
|
|
362 |
}
|
|
|
363 |
out.write("</TR>\n");
|
|
|
364 |
}
|
|
|
365 |
out.write("</TABLE>\n");
|
|
|
366 |
}
|
|
|
367 |
out.write(body2 + footer);
|
|
|
368 |
|
|
|
369 |
out.close();
|
|
|
370 |
fw.close();
|
|
|
371 |
} catch(IOException e) {
|
|
|
372 |
Main.panic("IO error: "+e.getMessage());
|
|
|
373 |
return 1;
|
|
|
374 |
}
|
|
|
375 |
|
|
|
376 |
return 0;
|
|
|
377 |
}
|
|
|
378 |
|
|
|
379 |
/**
|
|
|
380 |
* Generates index.html and other top-level frame files.
|
|
|
381 |
* @param Mappings
|
|
|
382 |
* @return 0 if no errors, or 1 if error occurred.
|
|
|
383 |
*/
|
|
|
384 |
int generateSrc(Mappings map) {
|
|
|
385 |
try {
|
|
|
386 |
int len;
|
|
|
387 |
Object o[];
|
|
|
388 |
String outputDir = Main.getOutputDir();
|
|
|
389 |
FileWriter fw1, fw2;
|
|
|
390 |
BufferedWriter out1, out2;
|
|
|
391 |
|
|
|
392 |
/* Whether alias list exists or not. */
|
|
|
393 |
Map<String,String> a = map.getAliases();
|
|
|
394 |
if (a == null) {
|
|
|
395 |
Main.panic("Data not exist. (aliases)");
|
|
|
396 |
return 1;
|
|
|
397 |
}
|
|
|
398 |
|
|
|
399 |
timezoneList.putAll(a);
|
|
|
400 |
|
|
|
401 |
/* If outputDir doesn't end with file-separator, adds it. */
|
|
|
402 |
if (!outputDir.endsWith(File.separator)) {
|
|
|
403 |
outputDir += File.separatorChar;
|
|
|
404 |
}
|
|
|
405 |
outputDir += docDir + File.separatorChar;
|
|
|
406 |
|
|
|
407 |
File outD = new File(outputDir);
|
|
|
408 |
outD.mkdirs();
|
|
|
409 |
|
|
|
410 |
/* Creates index.html */
|
|
|
411 |
fw1 = new FileWriter(outputDir + "index.html", false);
|
|
|
412 |
out1 = new BufferedWriter(fw1);
|
|
|
413 |
|
|
|
414 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
415 |
header4 +
|
|
|
416 |
"<FRAMESET cols=\"20%,80%\">\n" +
|
|
|
417 |
"<FRAMESET rows=\"30%,70%\">\n" +
|
|
|
418 |
"<FRAME src=\"overview-frame.html\" name=\"TimeZoneListFrame\">\n" +
|
|
|
419 |
"<FRAME src=\"allTimeZone-frame1.html\" name=\"allTimeZoneFrame\">\n" +
|
|
|
420 |
"</FRAMESET>" +
|
|
|
421 |
"<FRAME src=\"overview-summary.html\" name=\"rightFrame\">\n" +
|
|
|
422 |
"</FRAMESET>\n" +
|
|
|
423 |
"<NOFRAMES>\n" +
|
|
|
424 |
"<H2>\nFrame Alert\n</H2>\n\n" +
|
|
|
425 |
"<P>\n\n" +
|
|
|
426 |
"This document is designed to be viewed using the frames feature. If you see this\n" +
|
|
|
427 |
"message, you are using a non-frame-capable web client.\n" +
|
|
|
428 |
"<BR>\n" +
|
|
|
429 |
"Link to<A HREF=\"overview-summary.html\">Non-frame version.</A>\n" +
|
|
|
430 |
"</NOFRAMES>\n" + footer);
|
|
|
431 |
|
|
|
432 |
out1.close();
|
|
|
433 |
fw1.close();
|
|
|
434 |
|
|
|
435 |
|
|
|
436 |
/* Creates overview-frame.html */
|
|
|
437 |
fw1 = new FileWriter(outputDir + "overview-frame.html", false);
|
|
|
438 |
out1 = new BufferedWriter(fw1);
|
|
|
439 |
|
|
|
440 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
441 |
header4 + body1 +
|
|
|
442 |
"<TABLE BORDER=\"0\" WIDTH=\"100%\">\n<TR>\n" +
|
|
|
443 |
"<TD NOWRAP><FONT size=\"+1\">\n" +
|
|
|
444 |
"<B>Java<sup><font size=-2>TM</font></sup> Platform<br>Standard Ed.</B></FONT></TD>\n" +
|
|
|
445 |
"</TR>\n</TABLE>\n\n" +
|
|
|
446 |
"<TABLE BORDER=\"0\" WIDTH=\"100%\">\n<TR>\n<TD NOWRAP>" +
|
|
|
447 |
"<P>\n<FONT size=\"+1\">\nAll Time Zones Sorted By:</FONT>\n<BR>\n" +
|
|
|
448 |
" <A HREF=\"allTimeZone-frame1.html\" TARGET=\"allTimeZoneFrame\">GMT offsets</A></FONT>\n<BR>\n" +
|
|
|
449 |
" <A HREF=\"allTimeZone-frame2.html\" TARGET=\"allTimeZoneFrame\">Zone names</A></FONT>\n<BR>" +
|
|
|
450 |
" <A HREF=\"allTimeZone-frame3.html\" TARGET=\"allTimeZoneFrame\">City names</A></FONT>\n" +
|
|
|
451 |
"<P>\n<FONT size=\"+1\">\nContinents and Oceans</FONT>\n<BR>\n");
|
|
|
452 |
|
|
|
453 |
for (String regionKey : regionList.keySet()) {
|
|
|
454 |
out1.write(" <A HREF=\"" + regionList.get(regionKey) +
|
|
|
455 |
"\" TARGET=\"allTimeZoneFrame\">" + regionKey +
|
|
|
456 |
"</A><BR>\n");
|
|
|
457 |
|
|
|
458 |
fw2 = new FileWriter(outputDir + regionList.get(regionKey),
|
|
|
459 |
false);
|
|
|
460 |
out2 = new BufferedWriter(fw2);
|
|
|
461 |
|
|
|
462 |
out2.write(header1 + new Date() + header3 + regionKey +
|
|
|
463 |
header4 + body1 + "<FONT size=\"+1\"><B>" +
|
|
|
464 |
regionKey + "</B></FONT>\n<BR>\n<TABLE>\n<TR>\n<TD>");
|
|
|
465 |
|
|
|
466 |
boolean found = false;
|
|
|
467 |
for (String timezoneKey : timezoneList.keySet()) {
|
|
|
468 |
int regionIndex = timezoneKey.indexOf('/');
|
|
|
469 |
if (regionIndex == -1 ||
|
|
|
470 |
!regionKey.equals(timezoneKey.substring(0, regionIndex))) {
|
|
|
471 |
if (found) {
|
|
|
472 |
break;
|
|
|
473 |
} else {
|
|
|
474 |
continue;
|
|
|
475 |
}
|
|
|
476 |
}
|
|
|
477 |
|
|
|
478 |
found = true;
|
|
|
479 |
if (a.containsKey(timezoneKey)) {
|
|
|
480 |
Object realName = a.get(timezoneKey);
|
|
|
481 |
while (a.containsKey(realName)) {
|
|
|
482 |
realName = a.get(realName);
|
|
|
483 |
}
|
|
|
484 |
out2.write(timezoneKey +
|
|
|
485 |
" (alias for " + "<A HREF=\"" +
|
|
|
486 |
timezoneList.get(realName) +
|
|
|
487 |
"\" TARGET=\"rightFrame\">" +
|
|
|
488 |
realName + "</A>)");
|
|
|
489 |
} else {
|
|
|
490 |
out2.write("<A HREF=\"" + timezoneList.get(timezoneKey) +
|
|
|
491 |
"\" TARGET=\"rightFrame\">" + timezoneKey +
|
|
|
492 |
"</A>");
|
|
|
493 |
}
|
|
|
494 |
out2.write("<BR>\n");
|
|
|
495 |
}
|
|
|
496 |
out2.write("</TD>\n</TR>\n</TABLE>\n" + body2 + footer);
|
|
|
497 |
|
|
|
498 |
out2.close();
|
|
|
499 |
fw2.close();
|
|
|
500 |
}
|
|
|
501 |
out1.write("</FONT></TD>\n</TR></TABLE>\n" + body2 + footer);
|
|
|
502 |
|
|
|
503 |
out1.close();
|
|
|
504 |
fw1.close();
|
|
|
505 |
|
|
|
506 |
|
|
|
507 |
/* Creates allTimeZone-frame1.html (Sorted by GMT offsets) */
|
|
|
508 |
fw1 = new FileWriter(outputDir + "allTimeZone-frame1.html", false);
|
|
|
509 |
out1 = new BufferedWriter(fw1);
|
|
|
510 |
|
|
|
511 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
512 |
header4 + body1 +
|
|
|
513 |
"<FONT size=\"+1\"><B>Sorted by GMT offsets</B></FONT>\n" +
|
|
|
514 |
"<BR>\n\n" + "<TABLE BORDER=\"0\" WIDTH=\"100%\">\n" +
|
|
|
515 |
"<TR>\n<TD NOWRAP>\n");
|
|
|
516 |
|
|
|
517 |
List<Integer> roi = map.getRawOffsetsIndex();
|
|
|
518 |
List<Set<String>> roit = map.getRawOffsetsIndexTable();
|
|
|
519 |
|
|
|
520 |
int index = 0;
|
|
|
521 |
for (Integer offset : zonesByOffset.keySet()) {
|
|
|
522 |
int off = roi.get(index);
|
|
|
523 |
Set<String> perRO = zonesByOffset.get(offset);
|
|
|
524 |
if (offset == off) {
|
|
|
525 |
// Merge aliases into zonesByOffset
|
|
|
526 |
perRO.addAll(roit.get(index));
|
|
|
527 |
}
|
|
|
528 |
index++;
|
|
|
529 |
|
|
|
530 |
for (String timezoneKey : perRO) {
|
|
|
531 |
out1.write("<TR>\n<TD><FONT SIZE=\"-1\">(" +
|
|
|
532 |
Time.toGMTFormat(offset.toString()) +
|
|
|
533 |
")</FONT></TD>\n<TD>");
|
|
|
534 |
|
|
|
535 |
if (a.containsKey(timezoneKey)) {
|
|
|
536 |
Object realName = a.get(timezoneKey);
|
|
|
537 |
while (a.containsKey(realName)) {
|
|
|
538 |
realName = a.get(realName);
|
|
|
539 |
}
|
|
|
540 |
out1.write(timezoneKey +
|
|
|
541 |
" (alias for " + "<A HREF=\"" +
|
|
|
542 |
timezoneList.get(realName) +
|
|
|
543 |
"\" TARGET=\"rightFrame\">" + realName +
|
|
|
544 |
"</A>)");
|
|
|
545 |
} else {
|
|
|
546 |
out1.write("<A HREF=\"" + timezoneList.get(timezoneKey) +
|
|
|
547 |
"\" TARGET=\"rightFrame\">" + timezoneKey +
|
|
|
548 |
"</A>");
|
|
|
549 |
}
|
|
|
550 |
out1.write("</TD>\n</TR>\n");
|
|
|
551 |
}
|
|
|
552 |
}
|
|
|
553 |
out1.write("</FONT></TD>\n</TR>\n</TABLE>\n" + body2 + footer);
|
|
|
554 |
|
|
|
555 |
out1.close();
|
|
|
556 |
fw1.close();
|
|
|
557 |
|
|
|
558 |
|
|
|
559 |
/* Creates allTimeZone-frame2.html (Sorted by zone names) */
|
|
|
560 |
fw1 = new FileWriter(outputDir + "allTimeZone-frame2.html", false);
|
|
|
561 |
out1 = new BufferedWriter(fw1);
|
|
|
562 |
|
|
|
563 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
564 |
header4 + body1 +
|
|
|
565 |
"<FONT size=\"+1\"><B>Sorted by zone names</B></FONT>\n" +
|
|
|
566 |
"<BR>\n\n" + "<TABLE BORDER=\"0\" WIDTH=\"100%\">\n" +
|
|
|
567 |
"<TR>\n<TD NOWRAP>\n");
|
|
|
568 |
o = timezoneList.keySet().toArray();
|
|
|
569 |
len = timezoneList.size();
|
|
|
570 |
for (int i = 0; i < len; i++) {
|
|
|
571 |
Object timezoneKey = o[i];
|
|
|
572 |
if (a.containsKey(timezoneKey)) {
|
|
|
573 |
Object realName = a.get(timezoneKey);
|
|
|
574 |
while (a.containsKey(realName)) {
|
|
|
575 |
realName = a.get(realName);
|
|
|
576 |
}
|
|
|
577 |
out1.write(timezoneKey +
|
|
|
578 |
" (alias for " +
|
|
|
579 |
"<A HREF=\"" + timezoneList.get(realName) +
|
|
|
580 |
"\" TARGET=\"rightFrame\">" + realName +
|
|
|
581 |
"</A>)");
|
|
|
582 |
} else {
|
|
|
583 |
out1.write("<A HREF=\"" + timezoneList.get(timezoneKey) +
|
|
|
584 |
"\" TARGET=\"rightFrame\">" + timezoneKey +
|
|
|
585 |
"</A>");
|
|
|
586 |
}
|
|
|
587 |
out1.write("<BR> \n");
|
|
|
588 |
}
|
|
|
589 |
out1.write("</FONT></TD>\n</TR>\n</TABLE>\n" + body2 + footer);
|
|
|
590 |
|
|
|
591 |
out1.close();
|
|
|
592 |
fw1.close();
|
|
|
593 |
|
|
|
594 |
/* Creates allTimeZone-frame3.html (Sorted by city names) */
|
|
|
595 |
fw1 = new FileWriter(outputDir + "allTimeZone-frame3.html", false);
|
|
|
596 |
out1 = new BufferedWriter(fw1);
|
|
|
597 |
|
|
|
598 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
599 |
header4 + body1 +
|
|
|
600 |
"<FONT size=\"+1\"><B>Sorted by city names</B></FONT>\n" +
|
|
|
601 |
"<BR>\n\n" + "<TABLE BORDER=\"0\" WIDTH=\"100%\">\n" +
|
|
|
602 |
"<TR>\n<TD NOWRAP>\n");
|
|
|
603 |
|
|
|
604 |
Set<String> aliasSet = a.keySet();
|
|
|
605 |
len = aliasSet.size();
|
|
|
606 |
String aliasNames[] = aliasSet.toArray(new String[0]);
|
|
|
607 |
for (int i = 0; i < len; i++) {
|
|
|
608 |
displayNameList.put(transform(aliasNames[i]),
|
|
|
609 |
aliasNames[i]);
|
|
|
610 |
}
|
|
|
611 |
|
|
|
612 |
o = displayNameList.keySet().toArray();
|
|
|
613 |
len = displayNameList.size();
|
|
|
614 |
for (int i = 0; i < len; i++) {
|
|
|
615 |
Object displayName = o[i];
|
|
|
616 |
Object timezoneKey = displayNameList.get(o[i]);
|
|
|
617 |
if (a.containsKey(timezoneKey)) {
|
|
|
618 |
Object realName = a.get(timezoneKey);
|
|
|
619 |
while (a.containsKey(realName)) {
|
|
|
620 |
realName = a.get(realName);
|
|
|
621 |
}
|
|
|
622 |
out1.write(displayName +
|
|
|
623 |
" (alias for " +
|
|
|
624 |
"<A HREF=\"" + timezoneList.get(realName) +
|
|
|
625 |
"\" TARGET=\"rightFrame\">" + realName +
|
|
|
626 |
"</A>)");
|
|
|
627 |
} else {
|
|
|
628 |
out1.write("<A HREF=\"" + timezoneList.get(timezoneKey) +
|
|
|
629 |
"\" TARGET=\"rightFrame\">" + displayName +
|
|
|
630 |
"</A>");
|
|
|
631 |
}
|
|
|
632 |
out1.write("<BR> \n");
|
|
|
633 |
}
|
|
|
634 |
|
|
|
635 |
out1.write("</FONT></TD>\n</TR>\n</TABLE>\n" + body2 + footer);
|
|
|
636 |
|
|
|
637 |
out1.close();
|
|
|
638 |
fw1.close();
|
|
|
639 |
|
|
|
640 |
/* Creates overview-summary.html */
|
|
|
641 |
fw1 = new FileWriter(outputDir + "overview-summary.html", false);
|
|
|
642 |
out1 = new BufferedWriter(fw1);
|
|
|
643 |
|
|
|
644 |
out1.write(header1 + new Date() + header2 + Main.getVersionName() +
|
|
|
645 |
header4 + body1 +
|
|
|
646 |
"<p>This is the list of time zones generated from <B>" +
|
|
|
647 |
Main.getVersionName() + "</B> for Java Platform, " +
|
|
|
648 |
"Standard Edition. The source code can be obtained " +
|
|
|
649 |
"from ftp site <a href=\"ftp://elsie.nci.nih.gov/pub/\">" +
|
|
|
650 |
"ftp://elsie.nci.nih.gov/pub/</a>. A total of <B>" +
|
|
|
651 |
len +
|
|
|
652 |
"</B> time zones and aliases are supported " +
|
|
|
653 |
"in this edition. For the " +
|
|
|
654 |
"format of rules and zones, refer to the zic " +
|
|
|
655 |
"(zoneinfo compiler) man page on " +
|
|
|
656 |
"Solaris or Linux.</p>\n" +
|
|
|
657 |
"<p>Note that the time zone data is not " +
|
|
|
658 |
"a public interface of the Java Platform. No " +
|
|
|
659 |
"applications should rely on the time zone data of " +
|
|
|
660 |
"this document. Time zone names and data " +
|
|
|
661 |
"may change without any prior notice.</p>\n" +
|
|
|
662 |
body2 + footer);
|
|
|
663 |
|
|
|
664 |
out1.close();
|
|
|
665 |
fw1.close();
|
|
|
666 |
} catch(IOException e) {
|
|
|
667 |
Main.panic("IO error: "+e.getMessage());
|
|
|
668 |
return 1;
|
|
|
669 |
}
|
|
|
670 |
|
|
|
671 |
return 0;
|
|
|
672 |
}
|
|
|
673 |
|
|
|
674 |
String transform(String s) {
|
|
|
675 |
int index = s.lastIndexOf("/");
|
|
|
676 |
|
|
|
677 |
/* If the string doesn't include any delimiter, return */
|
|
|
678 |
if (index == -1) {
|
|
|
679 |
return s;
|
|
|
680 |
}
|
|
|
681 |
|
|
|
682 |
int lastIndex = index;
|
|
|
683 |
String str = s.substring(index+1);
|
|
|
684 |
do {
|
|
|
685 |
index = s.substring(0, lastIndex).lastIndexOf('/');
|
|
|
686 |
str += ", " + s.substring(index+1, lastIndex);
|
|
|
687 |
lastIndex = index;
|
|
|
688 |
} while (index > -1);
|
|
|
689 |
|
|
|
690 |
return str;
|
|
|
691 |
}
|
|
|
692 |
|
|
|
693 |
static class LatitudeAndLongitude {
|
|
|
694 |
|
|
|
695 |
private int latDeg, latMin, latSec, longDeg, longMin, longSec;
|
|
|
696 |
|
|
|
697 |
LatitudeAndLongitude(String s) {
|
|
|
698 |
try {
|
|
|
699 |
// First of all, check the string has the correct format:
|
|
|
700 |
// either +-DDMM+-DDDMM or +-DDMMSS+-DDDMMSS
|
|
|
701 |
|
|
|
702 |
if (!s.startsWith("+") && !s.startsWith("-")) {
|
|
|
703 |
Main.warning("Wrong latitude&longitude data: " + s);
|
|
|
704 |
return;
|
|
|
705 |
}
|
|
|
706 |
int index;
|
|
|
707 |
if (((index = s.lastIndexOf("+")) <= 0) &&
|
|
|
708 |
((index = s.lastIndexOf("-")) <= 0)) {
|
|
|
709 |
Main.warning("Wrong latitude&longitude data: " + s);
|
|
|
710 |
return;
|
|
|
711 |
}
|
|
|
712 |
|
|
|
713 |
if (index == 5) {
|
|
|
714 |
latDeg = Integer.parseInt(s.substring(1, 3));
|
|
|
715 |
latMin = Integer.parseInt(s.substring(3, 5));
|
|
|
716 |
latSec = 0;
|
|
|
717 |
} else if (index == 7) {
|
|
|
718 |
latDeg = Integer.parseInt(s.substring(1, 3));
|
|
|
719 |
latMin = Integer.parseInt(s.substring(3, 5));
|
|
|
720 |
latSec = Integer.parseInt(s.substring(5, 7));
|
|
|
721 |
} else {
|
|
|
722 |
Main.warning("Wrong latitude&longitude data: " + s);
|
|
|
723 |
return;
|
|
|
724 |
}
|
|
|
725 |
if (s.startsWith("-")){
|
|
|
726 |
latDeg = -latDeg;
|
|
|
727 |
latMin = -latMin;
|
|
|
728 |
latSec = -latSec;
|
|
|
729 |
}
|
|
|
730 |
|
|
|
731 |
int len = s.length();
|
|
|
732 |
if (index == 5 && len == 11) {
|
|
|
733 |
longDeg = Integer.parseInt(s.substring(index+1, index+4));
|
|
|
734 |
longMin = Integer.parseInt(s.substring(index+4, index+6));
|
|
|
735 |
longSec = 0;
|
|
|
736 |
} else if (index == 7 && len == 15) {
|
|
|
737 |
longDeg = Integer.parseInt(s.substring(index+1, index+4));
|
|
|
738 |
longMin = Integer.parseInt(s.substring(index+4, index+6));
|
|
|
739 |
longSec = Integer.parseInt(s.substring(index+6, index+8));
|
|
|
740 |
} else {
|
|
|
741 |
Main.warning("Wrong latitude&longitude data: " + s);
|
|
|
742 |
return;
|
|
|
743 |
}
|
|
|
744 |
if (s.charAt(index) == '-'){
|
|
|
745 |
longDeg = -longDeg;
|
|
|
746 |
longMin = -longMin;
|
|
|
747 |
longSec = -longSec;
|
|
|
748 |
}
|
|
|
749 |
} catch(Exception e) {
|
|
|
750 |
Main.warning("LatitudeAndLongitude() Parse error: " + s);
|
|
|
751 |
}
|
|
|
752 |
}
|
|
|
753 |
|
|
|
754 |
int getLatDeg() {
|
|
|
755 |
return latDeg;
|
|
|
756 |
}
|
|
|
757 |
|
|
|
758 |
int getLatMin() {
|
|
|
759 |
return latMin;
|
|
|
760 |
}
|
|
|
761 |
|
|
|
762 |
int getLatSec() {
|
|
|
763 |
return latSec;
|
|
|
764 |
}
|
|
|
765 |
|
|
|
766 |
int getLongDeg() {
|
|
|
767 |
return longDeg;
|
|
|
768 |
}
|
|
|
769 |
|
|
|
770 |
int getLongMin() {
|
|
|
771 |
return longMin;
|
|
|
772 |
}
|
|
|
773 |
|
|
|
774 |
int getLongSec() {
|
|
|
775 |
return longSec;
|
|
|
776 |
}
|
|
|
777 |
}
|
|
|
778 |
}
|