1 | // License: GPL. For details, see LICENSE file.
|
---|
2 | import static java.nio.charset.StandardCharsets.UTF_8;
|
---|
3 | import static org.apache.commons.lang3.StringUtils.isBlank;
|
---|
4 | import static org.apache.commons.lang3.StringUtils.isNotBlank;
|
---|
5 |
|
---|
6 | import java.io.BufferedReader;
|
---|
7 | import java.io.BufferedWriter;
|
---|
8 | import java.io.IOException;
|
---|
9 | import java.io.OutputStreamWriter;
|
---|
10 | import java.io.Writer;
|
---|
11 | import java.lang.reflect.Field;
|
---|
12 | import java.net.MalformedURLException;
|
---|
13 | import java.net.URL;
|
---|
14 | import java.nio.charset.Charset;
|
---|
15 | import java.nio.file.Files;
|
---|
16 | import java.nio.file.Paths;
|
---|
17 | import java.text.DecimalFormat;
|
---|
18 | import java.text.ParseException;
|
---|
19 | import java.text.SimpleDateFormat;
|
---|
20 | import java.util.ArrayList;
|
---|
21 | import java.util.Arrays;
|
---|
22 | import java.util.Calendar;
|
---|
23 | import java.util.Collection;
|
---|
24 | import java.util.Collections;
|
---|
25 | import java.util.Date;
|
---|
26 | import java.util.HashMap;
|
---|
27 | import java.util.LinkedList;
|
---|
28 | import java.util.List;
|
---|
29 | import java.util.Locale;
|
---|
30 | import java.util.Map;
|
---|
31 | import java.util.Map.Entry;
|
---|
32 | import java.util.Objects;
|
---|
33 | import java.util.Set;
|
---|
34 | import java.util.function.BiConsumer;
|
---|
35 | import java.util.function.Function;
|
---|
36 | import java.util.regex.Matcher;
|
---|
37 | import java.util.regex.Pattern;
|
---|
38 | import java.util.stream.Collectors;
|
---|
39 |
|
---|
40 | import javax.json.Json;
|
---|
41 | import javax.json.JsonArray;
|
---|
42 | import javax.json.JsonNumber;
|
---|
43 | import javax.json.JsonObject;
|
---|
44 | import javax.json.JsonReader;
|
---|
45 | import javax.json.JsonString;
|
---|
46 | import javax.json.JsonValue;
|
---|
47 |
|
---|
48 | import org.openstreetmap.gui.jmapviewer.Coordinate;
|
---|
49 | import org.openstreetmap.josm.data.Preferences;
|
---|
50 | import org.openstreetmap.josm.data.imagery.ImageryInfo;
|
---|
51 | import org.openstreetmap.josm.data.imagery.ImageryInfo.ImageryBounds;
|
---|
52 | import org.openstreetmap.josm.data.imagery.Shape;
|
---|
53 | import org.openstreetmap.josm.data.preferences.JosmBaseDirectories;
|
---|
54 | import org.openstreetmap.josm.data.preferences.JosmUrls;
|
---|
55 | import org.openstreetmap.josm.data.projection.Projections;
|
---|
56 | import org.openstreetmap.josm.data.sources.SourceInfo;
|
---|
57 | import org.openstreetmap.josm.data.validation.routines.DomainValidator;
|
---|
58 | import org.openstreetmap.josm.io.imagery.ImageryReader;
|
---|
59 | import org.openstreetmap.josm.spi.preferences.Config;
|
---|
60 | import org.openstreetmap.josm.tools.ImageProvider;
|
---|
61 | import org.openstreetmap.josm.tools.JosmRuntimeException;
|
---|
62 | import org.openstreetmap.josm.tools.Logging;
|
---|
63 | import org.openstreetmap.josm.tools.OptionParser;
|
---|
64 | import org.openstreetmap.josm.tools.OptionParser.OptionCount;
|
---|
65 | import org.openstreetmap.josm.tools.ReflectionUtils;
|
---|
66 | import org.xml.sax.SAXException;
|
---|
67 |
|
---|
68 | /**
|
---|
69 | * Compare and analyse the differences of the editor layer index and the JOSM imagery list.
|
---|
70 | * The goal is to keep both lists in sync.
|
---|
71 | *
|
---|
72 | * The editor layer index project (https://github.com/osmlab/editor-layer-index)
|
---|
73 | * provides also a version in the JOSM format, but the GEOJSON is the original source
|
---|
74 | * format, so we read that.
|
---|
75 | *
|
---|
76 | * How to run:
|
---|
77 | * -----------
|
---|
78 | *
|
---|
79 | * Main JOSM binary needs to be in classpath, e.g.
|
---|
80 | *
|
---|
81 | * $ java -cp ../dist/josm-custom.jar SyncEditorLayerIndex
|
---|
82 | *
|
---|
83 | * Add option "-h" to show the available command line flags.
|
---|
84 | */
|
---|
85 | @SuppressWarnings("unchecked")
|
---|
86 | public class SyncEditorLayerIndex {
|
---|
87 |
|
---|
88 | private static final int MAXLEN = 140;
|
---|
89 |
|
---|
90 | private List<ImageryInfo> josmEntries;
|
---|
91 | private JsonArray eliEntries;
|
---|
92 |
|
---|
93 | private final Map<String, JsonObject> eliUrls = new HashMap<>();
|
---|
94 | private final Map<String, ImageryInfo> josmUrls = new HashMap<>();
|
---|
95 | private final Map<String, ImageryInfo> josmMirrors = new HashMap<>();
|
---|
96 | private static final Map<String, String> oldproj = new HashMap<>();
|
---|
97 | private static final List<String> ignoreproj = new LinkedList<>();
|
---|
98 |
|
---|
99 | private static String eliInputFile = "imagery_eli.geojson";
|
---|
100 | private static String josmInputFile = "imagery_josm.imagery.xml";
|
---|
101 | private static String ignoreInputFile = "imagery_josm.ignores.txt";
|
---|
102 | private static Writer outputStream;
|
---|
103 | private static String optionOutput;
|
---|
104 | private static boolean optionShorten;
|
---|
105 | private static boolean optionNoSkip;
|
---|
106 | private static boolean optionXhtmlBody;
|
---|
107 | private static boolean optionXhtml;
|
---|
108 | private static String optionEliXml;
|
---|
109 | private static String optionJosmXml;
|
---|
110 | private static String optionEncoding;
|
---|
111 | private static boolean optionNoEli;
|
---|
112 | private Map<String, String> skip = new HashMap<>();
|
---|
113 | private Map<String, String> skipStart = new HashMap<>();
|
---|
114 |
|
---|
115 | /**
|
---|
116 | * Main method.
|
---|
117 | * @param args program arguments
|
---|
118 | * @throws IOException if any I/O error occurs
|
---|
119 | * @throws ReflectiveOperationException if any reflective operation error occurs
|
---|
120 | * @throws SAXException if any SAX error occurs
|
---|
121 | */
|
---|
122 | public static void main(String[] args) throws IOException, SAXException, ReflectiveOperationException {
|
---|
123 | Locale.setDefault(Locale.ROOT);
|
---|
124 | parseCommandLineArguments(args);
|
---|
125 | Config.setUrlsProvider(JosmUrls.getInstance());
|
---|
126 | Preferences pref = new Preferences(JosmBaseDirectories.getInstance());
|
---|
127 | Config.setPreferencesInstance(pref);
|
---|
128 | pref.init(false);
|
---|
129 | SyncEditorLayerIndex script = new SyncEditorLayerIndex();
|
---|
130 | script.setupProj();
|
---|
131 | script.loadSkip();
|
---|
132 | script.start();
|
---|
133 | script.loadJosmEntries();
|
---|
134 | if (optionJosmXml != null) {
|
---|
135 | try (BufferedWriter writer = Files.newBufferedWriter(Paths.get(optionJosmXml), UTF_8)) {
|
---|
136 | script.printentries(script.josmEntries, writer);
|
---|
137 | }
|
---|
138 | }
|
---|
139 | script.loadELIEntries();
|
---|
140 | if (optionEliXml != null) {
|
---|
141 | try (BufferedWriter writer = Files.newBufferedWriter(Paths.get(optionEliXml), UTF_8)) {
|
---|
142 | script.printentries(script.eliEntries, writer);
|
---|
143 | }
|
---|
144 | }
|
---|
145 | script.checkInOneButNotTheOther();
|
---|
146 | script.checkCommonEntries();
|
---|
147 | script.end();
|
---|
148 | if (outputStream != null) {
|
---|
149 | outputStream.close();
|
---|
150 | }
|
---|
151 | }
|
---|
152 |
|
---|
153 | /**
|
---|
154 | * Displays help on the console
|
---|
155 | */
|
---|
156 | private static void showHelp() {
|
---|
157 | System.out.println(getHelp());
|
---|
158 | System.exit(0);
|
---|
159 | }
|
---|
160 |
|
---|
161 | static String getHelp() {
|
---|
162 | return "usage: java -cp build SyncEditorLayerIndex\n" +
|
---|
163 | "-c,--encoding <encoding> output encoding (defaults to UTF-8 or cp850 on Windows)\n" +
|
---|
164 | "-e,--eli_input <eli_input> Input file for the editor layer index (geojson). " +
|
---|
165 | "Default is imagery_eli.geojson (current directory).\n" +
|
---|
166 | "-h,--help show this help\n" +
|
---|
167 | "-i,--ignore_input <ignore_input> Input file for the ignore list. Default is imagery_josm.ignores.txt (current directory).\n" +
|
---|
168 | "-j,--josm_input <josm_input> Input file for the JOSM imagery list (xml). " +
|
---|
169 | "Default is imagery_josm.imagery.xml (current directory).\n" +
|
---|
170 | "-m,--noeli don't show output for ELI problems\n" +
|
---|
171 | "-n,--noskip don't skip known entries\n" +
|
---|
172 | "-o,--output <output> Output file, - prints to stdout (default: -)\n" +
|
---|
173 | "-p,--elixml <elixml> ELI entries for use in JOSM as XML file (incomplete)\n" +
|
---|
174 | "-q,--josmxml <josmxml> JOSM entries reoutput as XML file (incomplete)\n" +
|
---|
175 | "-s,--shorten shorten the output, so it is easier to read in a console window\n" +
|
---|
176 | "-x,--xhtmlbody create XHTML body for display in a web page\n" +
|
---|
177 | "-X,--xhtml create XHTML for display in a web page\n";
|
---|
178 | }
|
---|
179 |
|
---|
180 | /**
|
---|
181 | * Parse command line arguments.
|
---|
182 | * @param args program arguments
|
---|
183 | * @throws IOException in case of I/O error
|
---|
184 | */
|
---|
185 | static void parseCommandLineArguments(String[] args) throws IOException {
|
---|
186 | new OptionParser("JOSM/ELI synchronization script")
|
---|
187 | .addFlagParameter("help", SyncEditorLayerIndex::showHelp)
|
---|
188 | .addShortAlias("help", "h")
|
---|
189 | .addArgumentParameter("output", OptionCount.OPTIONAL, x -> optionOutput = x)
|
---|
190 | .addShortAlias("output", "o")
|
---|
191 | .addArgumentParameter("eli_input", OptionCount.OPTIONAL, x -> eliInputFile = x)
|
---|
192 | .addShortAlias("eli_input", "e")
|
---|
193 | .addArgumentParameter("josm_input", OptionCount.OPTIONAL, x -> josmInputFile = x)
|
---|
194 | .addShortAlias("josm_input", "j")
|
---|
195 | .addArgumentParameter("ignore_input", OptionCount.OPTIONAL, x -> ignoreInputFile = x)
|
---|
196 | .addShortAlias("ignore_input", "i")
|
---|
197 | .addFlagParameter("shorten", () -> optionShorten = true)
|
---|
198 | .addShortAlias("shorten", "s")
|
---|
199 | .addFlagParameter("noskip", () -> optionNoSkip = true)
|
---|
200 | .addShortAlias("noskip", "n")
|
---|
201 | .addFlagParameter("xhtmlbody", () -> optionXhtmlBody = true)
|
---|
202 | .addShortAlias("xhtmlbody", "x")
|
---|
203 | .addFlagParameter("xhtml", () -> optionXhtml = true)
|
---|
204 | .addShortAlias("xhtml", "X")
|
---|
205 | .addArgumentParameter("elixml", OptionCount.OPTIONAL, x -> optionEliXml = x)
|
---|
206 | .addShortAlias("elixml", "p")
|
---|
207 | .addArgumentParameter("josmxml", OptionCount.OPTIONAL, x -> optionJosmXml = x)
|
---|
208 | .addShortAlias("josmxml", "q")
|
---|
209 | .addFlagParameter("noeli", () -> optionNoEli = true)
|
---|
210 | .addShortAlias("noeli", "m")
|
---|
211 | .addArgumentParameter("encoding", OptionCount.OPTIONAL, x -> optionEncoding = x)
|
---|
212 | .addShortAlias("encoding", "c")
|
---|
213 | .parseOptionsOrExit(Arrays.asList(args));
|
---|
214 |
|
---|
215 | if (optionOutput != null && !"-".equals(optionOutput)) {
|
---|
216 | outputStream = Files.newBufferedWriter(Paths.get(optionOutput), optionEncoding != null ? Charset.forName(optionEncoding) : UTF_8);
|
---|
217 | } else if (optionEncoding != null) {
|
---|
218 | outputStream = new OutputStreamWriter(System.out, optionEncoding);
|
---|
219 | }
|
---|
220 | }
|
---|
221 |
|
---|
222 | void setupProj() {
|
---|
223 | oldproj.put("EPSG:3359", "EPSG:3404");
|
---|
224 | oldproj.put("EPSG:3785", "EPSG:3857");
|
---|
225 | oldproj.put("EPSG:31297", "EPGS:31287");
|
---|
226 | oldproj.put("EPSG:31464", "EPSG:31468");
|
---|
227 | oldproj.put("EPSG:54004", "EPSG:3857");
|
---|
228 | oldproj.put("EPSG:102100", "EPSG:3857");
|
---|
229 | oldproj.put("EPSG:102113", "EPSG:3857");
|
---|
230 | oldproj.put("EPSG:900913", "EPGS:3857");
|
---|
231 | ignoreproj.add("EPSG:4267");
|
---|
232 | ignoreproj.add("EPSG:5221");
|
---|
233 | ignoreproj.add("EPSG:5514");
|
---|
234 | ignoreproj.add("EPSG:32019");
|
---|
235 | ignoreproj.add("EPSG:102066");
|
---|
236 | ignoreproj.add("EPSG:102067");
|
---|
237 | ignoreproj.add("EPSG:102685");
|
---|
238 | ignoreproj.add("EPSG:102711");
|
---|
239 | }
|
---|
240 |
|
---|
241 | void loadSkip() throws IOException {
|
---|
242 | final Pattern pattern = Pattern.compile("^\\|\\| *(ELI|Ignore) *\\|\\| *\\{\\{\\{(.+)\\}\\}\\} *\\|\\|");
|
---|
243 | try (BufferedReader fr = Files.newBufferedReader(Paths.get(ignoreInputFile), UTF_8)) {
|
---|
244 | String line;
|
---|
245 |
|
---|
246 | while ((line = fr.readLine()) != null) {
|
---|
247 | Matcher res = pattern.matcher(line);
|
---|
248 | if (res.matches()) {
|
---|
249 | String s = res.group(2);
|
---|
250 | if (s.endsWith("...")) {
|
---|
251 | s = s.substring(0, s.length() - 3);
|
---|
252 | if ("Ignore".equals(res.group(1))) {
|
---|
253 | skipStart.put(s, "green");
|
---|
254 | } else {
|
---|
255 | skipStart.put(s, "darkgoldenrod");
|
---|
256 | }
|
---|
257 | } else {
|
---|
258 | if ("Ignore".equals(res.group(1))) {
|
---|
259 | skip.put(s, "green");
|
---|
260 | } else {
|
---|
261 | skip.put(s, "darkgoldenrod");
|
---|
262 | }
|
---|
263 | }
|
---|
264 | }
|
---|
265 | }
|
---|
266 | }
|
---|
267 | }
|
---|
268 |
|
---|
269 | void myprintlnfinal(String s) {
|
---|
270 | if (outputStream != null) {
|
---|
271 | try {
|
---|
272 | outputStream.write(s + System.getProperty("line.separator"));
|
---|
273 | } catch (IOException e) {
|
---|
274 | throw new JosmRuntimeException(e);
|
---|
275 | }
|
---|
276 | } else {
|
---|
277 | System.out.println(s);
|
---|
278 | }
|
---|
279 | }
|
---|
280 |
|
---|
281 | String isSkipString(String s) {
|
---|
282 | if (skip.containsKey(s))
|
---|
283 | return skip.get(s);
|
---|
284 | for (Entry<String, String> str : skipStart.entrySet()) {
|
---|
285 | if (s.startsWith(str.getKey())) {
|
---|
286 | skipStart.remove(str.getKey());
|
---|
287 | return str.getValue();
|
---|
288 | }
|
---|
289 | }
|
---|
290 | return null;
|
---|
291 | }
|
---|
292 |
|
---|
293 | void myprintln(String s) {
|
---|
294 | String color;
|
---|
295 | if ((color = isSkipString(s)) != null) {
|
---|
296 | skip.remove(s);
|
---|
297 | if (optionXhtmlBody || optionXhtml) {
|
---|
298 | s = "<pre style=\"margin:3px;color:"+color+"\">"
|
---|
299 | + s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">")+"</pre>";
|
---|
300 | }
|
---|
301 | if (!optionNoSkip) {
|
---|
302 | return;
|
---|
303 | }
|
---|
304 | } else if (optionXhtmlBody || optionXhtml) {
|
---|
305 | color =
|
---|
306 | s.startsWith("***") ? "black" :
|
---|
307 | ((s.startsWith("+ ") || s.startsWith("+++ ELI")) ? "blue" :
|
---|
308 | (s.startsWith("#") ? "indigo" :
|
---|
309 | (s.startsWith("!") ? "orange" : "red")));
|
---|
310 | s = "<pre style=\"margin:3px;color:"+color+"\">"+s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">")+"</pre>";
|
---|
311 | }
|
---|
312 | if ((s.startsWith("+ ") || s.startsWith("+++ ELI") || s.startsWith("#")) && optionNoEli) {
|
---|
313 | return;
|
---|
314 | }
|
---|
315 | myprintlnfinal(s);
|
---|
316 | }
|
---|
317 |
|
---|
318 | void start() {
|
---|
319 | if (optionXhtml) {
|
---|
320 | myprintlnfinal(
|
---|
321 | "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n");
|
---|
322 | myprintlnfinal(
|
---|
323 | "<html><head><meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\"/>"+
|
---|
324 | "<title>JOSM - ELI differences</title></head><body>\n");
|
---|
325 | }
|
---|
326 | }
|
---|
327 |
|
---|
328 | void end() {
|
---|
329 | for (String s : skip.keySet()) {
|
---|
330 | myprintln("+++ Obsolete skip entry: " + s);
|
---|
331 | }
|
---|
332 | for (String s : skipStart.keySet()) {
|
---|
333 | myprintln("+++ Obsolete skip entry: " + s + "...");
|
---|
334 | }
|
---|
335 | if (optionXhtml) {
|
---|
336 | myprintlnfinal("</body></html>\n");
|
---|
337 | }
|
---|
338 | }
|
---|
339 |
|
---|
340 | void loadELIEntries() throws IOException {
|
---|
341 | try (JsonReader jr = Json.createReader(Files.newBufferedReader(Paths.get(eliInputFile), UTF_8))) {
|
---|
342 | eliEntries = jr.readObject().getJsonArray("features");
|
---|
343 | }
|
---|
344 |
|
---|
345 | for (JsonValue e : eliEntries) {
|
---|
346 | String url = getUrlStripped(e);
|
---|
347 | if (url.contains("{z}")) {
|
---|
348 | myprintln("+++ ELI-URL uses {z} instead of {zoom}: "+getDescription(e));
|
---|
349 | url = url.replace("{z}", "{zoom}");
|
---|
350 | }
|
---|
351 | if (eliUrls.containsKey(url)) {
|
---|
352 | myprintln("+++ ELI-URL is not unique: "+url);
|
---|
353 | } else {
|
---|
354 | eliUrls.put(url, e.asJsonObject());
|
---|
355 | }
|
---|
356 | JsonArray s = e.asJsonObject().get("properties").asJsonObject().getJsonArray("available_projections");
|
---|
357 | if (s != null) {
|
---|
358 | String urlLc = url.toLowerCase(Locale.ENGLISH);
|
---|
359 | List<String> old = new LinkedList<>();
|
---|
360 | for (JsonValue p : s) {
|
---|
361 | String proj = ((JsonString) p).getString();
|
---|
362 | if (oldproj.containsKey(proj) || ("CRS:84".equals(proj) && !urlLc.contains("version=1.3"))) {
|
---|
363 | old.add(proj);
|
---|
364 | }
|
---|
365 | }
|
---|
366 | if (!old.isEmpty()) {
|
---|
367 | myprintln("+ ELI Projections "+String.join(", ", old)+" not useful: "+getDescription(e));
|
---|
368 | }
|
---|
369 | }
|
---|
370 | }
|
---|
371 | myprintln("*** Loaded "+eliEntries.size()+" entries (ELI). ***");
|
---|
372 | }
|
---|
373 |
|
---|
374 | String cdata(String s) {
|
---|
375 | return cdata(s, false);
|
---|
376 | }
|
---|
377 |
|
---|
378 | String cdata(String s, boolean escape) {
|
---|
379 | if (escape) {
|
---|
380 | return s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">");
|
---|
381 | } else if (s.matches(".*[<>&].*"))
|
---|
382 | return "<![CDATA["+s+"]]>";
|
---|
383 | return s;
|
---|
384 | }
|
---|
385 |
|
---|
386 | String maininfo(Object entry, String offset) {
|
---|
387 | String t = getType(entry);
|
---|
388 | String res = offset + "<type>"+t+"</type>\n";
|
---|
389 | res += offset + "<url>"+cdata(getUrl(entry))+"</url>\n";
|
---|
390 | if (getMinZoom(entry) != null)
|
---|
391 | res += offset + "<min-zoom>"+getMinZoom(entry)+"</min-zoom>\n";
|
---|
392 | if (getMaxZoom(entry) != null)
|
---|
393 | res += offset + "<max-zoom>"+getMaxZoom(entry)+"</max-zoom>\n";
|
---|
394 | if ("wms".equals(t)) {
|
---|
395 | List<String> p = getProjections(entry);
|
---|
396 | if (p != null) {
|
---|
397 | res += offset + "<projections>\n";
|
---|
398 | for (String c : p) {
|
---|
399 | res += offset + " <code>"+c+"</code>\n";
|
---|
400 | }
|
---|
401 | res += offset + "</projections>\n";
|
---|
402 | }
|
---|
403 | }
|
---|
404 | return res;
|
---|
405 | }
|
---|
406 |
|
---|
407 | void printentries(List<?> entries, Writer stream) throws IOException {
|
---|
408 | DecimalFormat df = new DecimalFormat("#.#######");
|
---|
409 | df.setRoundingMode(java.math.RoundingMode.CEILING);
|
---|
410 | stream.write("<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"yes\"?>\n");
|
---|
411 | stream.write("<imagery xmlns=\"http://josm.openstreetmap.de/maps-1.0\">\n");
|
---|
412 | for (Object e : entries) {
|
---|
413 | stream.write(" <entry"
|
---|
414 | + ("eli-best".equals(getQuality(e)) ? " eli-best=\"true\"" : "")
|
---|
415 | + (getOverlay(e) ? " overlay=\"true\"" : "")
|
---|
416 | + ">\n");
|
---|
417 | String t;
|
---|
418 | if (isNotBlank(t = getName(e)))
|
---|
419 | stream.write(" <name>"+cdata(t, true)+"</name>\n");
|
---|
420 | if (isNotBlank(t = getId(e)))
|
---|
421 | stream.write(" <id>"+t+"</id>\n");
|
---|
422 | if (isNotBlank(t = getCategory(e)))
|
---|
423 | stream.write(" <category>"+t+"</category>\n");
|
---|
424 | if (isNotBlank(t = getDate(e)))
|
---|
425 | stream.write(" <date>"+t+"</date>\n");
|
---|
426 | if (isNotBlank(t = getCountryCode(e)))
|
---|
427 | stream.write(" <country-code>"+t+"</country-code>\n");
|
---|
428 | if ((getDefault(e)))
|
---|
429 | stream.write(" <default>true</default>\n");
|
---|
430 | stream.write(maininfo(e, " "));
|
---|
431 | if (isNotBlank(t = getAttributionText(e)))
|
---|
432 | stream.write(" <attribution-text mandatory=\"true\">"+cdata(t, true)+"</attribution-text>\n");
|
---|
433 | if (isNotBlank(t = getAttributionUrl(e)))
|
---|
434 | stream.write(" <attribution-url>"+cdata(t)+"</attribution-url>\n");
|
---|
435 | if (isNotBlank(t = getLogoImage(e)))
|
---|
436 | stream.write(" <logo-image>"+cdata(t, true)+"</logo-image>\n");
|
---|
437 | if (isNotBlank(t = getLogoUrl(e)))
|
---|
438 | stream.write(" <logo-url>"+cdata(t)+"</logo-url>\n");
|
---|
439 | if (isNotBlank(t = getTermsOfUseText(e)))
|
---|
440 | stream.write(" <terms-of-use-text>"+cdata(t, true)+"</terms-of-use-text>\n");
|
---|
441 | if (isNotBlank(t = getTermsOfUseUrl(e)))
|
---|
442 | stream.write(" <terms-of-use-url>"+cdata(t)+"</terms-of-use-url>\n");
|
---|
443 | if (isNotBlank(t = getPermissionReferenceUrl(e)))
|
---|
444 | stream.write(" <permission-ref>"+cdata(t)+"</permission-ref>\n");
|
---|
445 | if (isNotBlank(t = getPrivacyPolicyUrl(e)))
|
---|
446 | stream.write(" <privacy-policy-url>"+cdata(t)+"</privacy-policy-url>\n");
|
---|
447 | if ((getValidGeoreference(e)))
|
---|
448 | stream.write(" <valid-georeference>true</valid-georeference>\n");
|
---|
449 | if (isNotBlank(t = getIcon(e)))
|
---|
450 | stream.write(" <icon>"+cdata(t)+"</icon>\n");
|
---|
451 | for (Entry<String, String> d : getDescriptions(e).entrySet()) {
|
---|
452 | stream.write(" <description lang=\""+d.getKey()+"\">"+d.getValue()+"</description>\n");
|
---|
453 | }
|
---|
454 | for (ImageryInfo m : getMirrors(e)) {
|
---|
455 | stream.write(" <mirror>\n"+maininfo(m, " ")+" </mirror>\n");
|
---|
456 | }
|
---|
457 | double minlat = 1000;
|
---|
458 | double minlon = 1000;
|
---|
459 | double maxlat = -1000;
|
---|
460 | double maxlon = -1000;
|
---|
461 | String shapes = "";
|
---|
462 | String sep = "\n ";
|
---|
463 | try {
|
---|
464 | for (Shape s: getShapes(e)) {
|
---|
465 | shapes += " <shape>";
|
---|
466 | int i = 0;
|
---|
467 | for (Coordinate p: s.getPoints()) {
|
---|
468 | double lat = p.getLat();
|
---|
469 | double lon = p.getLon();
|
---|
470 | if (lat > maxlat) maxlat = lat;
|
---|
471 | if (lon > maxlon) maxlon = lon;
|
---|
472 | if (lat < minlat) minlat = lat;
|
---|
473 | if (lon < minlon) minlon = lon;
|
---|
474 | if ((i++ % 3) == 0) {
|
---|
475 | shapes += sep + " ";
|
---|
476 | }
|
---|
477 | shapes += "<point lat='"+df.format(lat)+"' lon='"+df.format(lon)+"'/>";
|
---|
478 | }
|
---|
479 | shapes += sep + "</shape>\n";
|
---|
480 | }
|
---|
481 | } catch (IllegalArgumentException ignored) {
|
---|
482 | Logging.trace(ignored);
|
---|
483 | }
|
---|
484 | if (!shapes.isEmpty()) {
|
---|
485 | stream.write(" <bounds min-lat='"+df.format(minlat)
|
---|
486 | +"' min-lon='"+df.format(minlon)
|
---|
487 | +"' max-lat='"+df.format(maxlat)
|
---|
488 | +"' max-lon='"+df.format(maxlon)+"'>\n");
|
---|
489 | stream.write(shapes + " </bounds>\n");
|
---|
490 | }
|
---|
491 | stream.write(" </entry>\n");
|
---|
492 | }
|
---|
493 | stream.write("</imagery>\n");
|
---|
494 | stream.close();
|
---|
495 | }
|
---|
496 |
|
---|
497 | void loadJosmEntries() throws IOException, SAXException, ReflectiveOperationException {
|
---|
498 | try (ImageryReader reader = new ImageryReader(josmInputFile)) {
|
---|
499 | josmEntries = reader.parse();
|
---|
500 | }
|
---|
501 |
|
---|
502 | for (ImageryInfo e : josmEntries) {
|
---|
503 | if (isBlank(getUrl(e))) {
|
---|
504 | myprintln("+++ JOSM-Entry without URL: " + getDescription(e));
|
---|
505 | continue;
|
---|
506 | }
|
---|
507 | if (isBlank(e.getDate()) && e.getDate() != null) {
|
---|
508 | myprintln("+++ JOSM-Entry with empty Date: " + getDescription(e));
|
---|
509 | continue;
|
---|
510 | }
|
---|
511 | if (isBlank(getName(e))) {
|
---|
512 | myprintln("+++ JOSM-Entry without Name: " + getDescription(e));
|
---|
513 | continue;
|
---|
514 | }
|
---|
515 | String url = getUrlStripped(e);
|
---|
516 | if (url.contains("{z}")) {
|
---|
517 | myprintln("+++ JOSM-URL uses {z} instead of {zoom}: "+getDescription(e));
|
---|
518 | url = url.replace("{z}", "{zoom}");
|
---|
519 | }
|
---|
520 | if (josmUrls.containsKey(url)) {
|
---|
521 | myprintln("+++ JOSM-URL is not unique: "+url);
|
---|
522 | } else {
|
---|
523 | josmUrls.put(url, e);
|
---|
524 | }
|
---|
525 | for (ImageryInfo m : e.getMirrors()) {
|
---|
526 | url = getUrlStripped(m);
|
---|
527 | Field origNameField = SourceInfo.class.getDeclaredField("origName");
|
---|
528 | ReflectionUtils.setObjectsAccessible(origNameField);
|
---|
529 | origNameField.set(m, m.getOriginalName().replaceAll(" mirror server( \\d+)?", ""));
|
---|
530 | if (josmUrls.containsKey(url)) {
|
---|
531 | myprintln("+++ JOSM-Mirror-URL is not unique: "+url);
|
---|
532 | } else {
|
---|
533 | josmUrls.put(url, m);
|
---|
534 | josmMirrors.put(url, m);
|
---|
535 | }
|
---|
536 | }
|
---|
537 | }
|
---|
538 | myprintln("*** Loaded "+josmEntries.size()+" entries (JOSM). ***");
|
---|
539 | }
|
---|
540 |
|
---|
541 | void checkInOneButNotTheOther() {
|
---|
542 | List<String> le = new LinkedList<>(eliUrls.keySet());
|
---|
543 | List<String> lj = new LinkedList<>(josmUrls.keySet());
|
---|
544 |
|
---|
545 | List<String> ke = new LinkedList<>(le);
|
---|
546 | for (String url : ke) {
|
---|
547 | if (lj.contains(url)) {
|
---|
548 | le.remove(url);
|
---|
549 | lj.remove(url);
|
---|
550 | }
|
---|
551 | }
|
---|
552 |
|
---|
553 | if (!le.isEmpty() && !lj.isEmpty()) {
|
---|
554 | ke = new LinkedList<>(le);
|
---|
555 | for (String urle : ke) {
|
---|
556 | JsonObject e = eliUrls.get(urle);
|
---|
557 | String ide = getId(e);
|
---|
558 | String urlhttps = urle.replace("http:", "https:");
|
---|
559 | if (lj.contains(urlhttps)) {
|
---|
560 | myprintln("+ Missing https: "+getDescription(e));
|
---|
561 | eliUrls.put(urlhttps, eliUrls.get(urle));
|
---|
562 | eliUrls.remove(urle);
|
---|
563 | le.remove(urle);
|
---|
564 | lj.remove(urlhttps);
|
---|
565 | } else if (isNotBlank(ide)) {
|
---|
566 | List<String> kj = new LinkedList<>(lj);
|
---|
567 | for (String urlj : kj) {
|
---|
568 | ImageryInfo j = josmUrls.get(urlj);
|
---|
569 | String idj = getId(j);
|
---|
570 |
|
---|
571 | if (ide.equals(idj) && Objects.equals(getType(j), getType(e))) {
|
---|
572 | myprintln("* URL for id "+idj+" differs ("+urle+"): "+getDescription(j));
|
---|
573 | le.remove(urle);
|
---|
574 | lj.remove(urlj);
|
---|
575 | // replace key for this entry with JOSM URL
|
---|
576 | eliUrls.remove(urle);
|
---|
577 | eliUrls.put(urlj, e);
|
---|
578 | break;
|
---|
579 | }
|
---|
580 | }
|
---|
581 | }
|
---|
582 | }
|
---|
583 | }
|
---|
584 |
|
---|
585 | myprintln("*** URLs found in ELI but not in JOSM ("+le.size()+"): ***");
|
---|
586 | Collections.sort(le);
|
---|
587 | if (!le.isEmpty()) {
|
---|
588 | for (String l : le) {
|
---|
589 | myprintln("- " + getDescription(eliUrls.get(l)));
|
---|
590 | }
|
---|
591 | }
|
---|
592 | myprintln("*** URLs found in JOSM but not in ELI ("+lj.size()+"): ***");
|
---|
593 | Collections.sort(lj);
|
---|
594 | if (!lj.isEmpty()) {
|
---|
595 | for (String l : lj) {
|
---|
596 | myprintln("+ " + getDescription(josmUrls.get(l)));
|
---|
597 | }
|
---|
598 | }
|
---|
599 | }
|
---|
600 |
|
---|
601 | void checkCommonEntries() {
|
---|
602 | doSameUrlButDifferentName();
|
---|
603 | doSameUrlButDifferentId();
|
---|
604 | doSameUrlButDifferentType();
|
---|
605 | doSameUrlButDifferentZoomBounds();
|
---|
606 | doSameUrlButDifferentCountryCode();
|
---|
607 | doSameUrlButDifferentQuality();
|
---|
608 | doSameUrlButDifferentDates();
|
---|
609 | doSameUrlButDifferentInformation();
|
---|
610 | doMismatchingShapes();
|
---|
611 | doMismatchingIcons();
|
---|
612 | doMismatchingCategories();
|
---|
613 | doMiscellaneousChecks();
|
---|
614 | }
|
---|
615 |
|
---|
616 | void doSameUrlButDifferentName() {
|
---|
617 | myprintln("*** Same URL, but different name: ***");
|
---|
618 | for (String url : eliUrls.keySet()) {
|
---|
619 | JsonObject e = eliUrls.get(url);
|
---|
620 | if (!josmUrls.containsKey(url)) continue;
|
---|
621 | ImageryInfo j = josmUrls.get(url);
|
---|
622 | String ename = getName(e).replace("'", "\u2019");
|
---|
623 | String jname = getName(j).replace("'", "\u2019");
|
---|
624 | if (!ename.equals(jname)) {
|
---|
625 | myprintln("* Name differs ('"+getName(e)+"' != '"+getName(j)+"'): "+getUrl(j));
|
---|
626 | }
|
---|
627 | }
|
---|
628 | }
|
---|
629 |
|
---|
630 | void doSameUrlButDifferentId() {
|
---|
631 | myprintln("*** Same URL, but different Id: ***");
|
---|
632 | for (String url : eliUrls.keySet()) {
|
---|
633 | JsonObject e = eliUrls.get(url);
|
---|
634 | if (!josmUrls.containsKey(url)) continue;
|
---|
635 | ImageryInfo j = josmUrls.get(url);
|
---|
636 | String ename = getId(e);
|
---|
637 | String jname = getId(j);
|
---|
638 | if (!Objects.equals(ename, jname)) {
|
---|
639 | myprintln("# Id differs ('"+getId(e)+"' != '"+getId(j)+"'): "+getUrl(j));
|
---|
640 | }
|
---|
641 | }
|
---|
642 | }
|
---|
643 |
|
---|
644 | void doSameUrlButDifferentType() {
|
---|
645 | myprintln("*** Same URL, but different type: ***");
|
---|
646 | for (String url : eliUrls.keySet()) {
|
---|
647 | JsonObject e = eliUrls.get(url);
|
---|
648 | if (!josmUrls.containsKey(url)) continue;
|
---|
649 | ImageryInfo j = josmUrls.get(url);
|
---|
650 | if (!Objects.equals(getType(e), getType(j))) {
|
---|
651 | myprintln("* Type differs ("+getType(e)+" != "+getType(j)+"): "+getName(j)+" - "+getUrl(j));
|
---|
652 | }
|
---|
653 | }
|
---|
654 | }
|
---|
655 |
|
---|
656 | void doSameUrlButDifferentZoomBounds() {
|
---|
657 | myprintln("*** Same URL, but different zoom bounds: ***");
|
---|
658 | for (String url : eliUrls.keySet()) {
|
---|
659 | JsonObject e = eliUrls.get(url);
|
---|
660 | if (!josmUrls.containsKey(url)) continue;
|
---|
661 | ImageryInfo j = josmUrls.get(url);
|
---|
662 |
|
---|
663 | Integer eMinZoom = getMinZoom(e);
|
---|
664 | Integer jMinZoom = getMinZoom(j);
|
---|
665 | /* dont warn for entries copied from the base of the mirror */
|
---|
666 | if (eMinZoom == null && "wms".equals(getType(j)) && j.getName().contains(" mirror"))
|
---|
667 | jMinZoom = null;
|
---|
668 | if (!Objects.equals(eMinZoom, jMinZoom) && !(Objects.equals(eMinZoom, 0) && jMinZoom == null)) {
|
---|
669 | myprintln("* Minzoom differs ("+eMinZoom+" != "+jMinZoom+"): "+getDescription(j));
|
---|
670 | }
|
---|
671 | Integer eMaxZoom = getMaxZoom(e);
|
---|
672 | Integer jMaxZoom = getMaxZoom(j);
|
---|
673 | /* dont warn for entries copied from the base of the mirror */
|
---|
674 | if (eMaxZoom == null && "wms".equals(getType(j)) && j.getName().contains(" mirror"))
|
---|
675 | jMaxZoom = null;
|
---|
676 | if (!Objects.equals(eMaxZoom, jMaxZoom)) {
|
---|
677 | myprintln("* Maxzoom differs ("+eMaxZoom+" != "+jMaxZoom+"): "+getDescription(j));
|
---|
678 | }
|
---|
679 | }
|
---|
680 | }
|
---|
681 |
|
---|
682 | void doSameUrlButDifferentCountryCode() {
|
---|
683 | myprintln("*** Same URL, but different country code: ***");
|
---|
684 | for (String url : eliUrls.keySet()) {
|
---|
685 | JsonObject e = eliUrls.get(url);
|
---|
686 | if (!josmUrls.containsKey(url)) continue;
|
---|
687 | ImageryInfo j = josmUrls.get(url);
|
---|
688 | String cce = getCountryCode(e);
|
---|
689 | if ("ZZ".equals(cce)) { /* special ELI country code */
|
---|
690 | cce = null;
|
---|
691 | }
|
---|
692 | if (cce != null && !cce.equals(getCountryCode(j))) {
|
---|
693 | myprintln("* Country code differs ("+getCountryCode(e)+" != "+getCountryCode(j)+"): "+getDescription(j));
|
---|
694 | }
|
---|
695 | }
|
---|
696 | }
|
---|
697 |
|
---|
698 | void doSameUrlButDifferentQuality() {
|
---|
699 | myprintln("*** Same URL, but different quality: ***");
|
---|
700 | for (String url : eliUrls.keySet()) {
|
---|
701 | JsonObject e = eliUrls.get(url);
|
---|
702 | if (!josmUrls.containsKey(url)) {
|
---|
703 | String q = getQuality(e);
|
---|
704 | if ("eli-best".equals(q)) {
|
---|
705 | myprintln("- Quality best entry not in JOSM for "+getDescription(e));
|
---|
706 | }
|
---|
707 | continue;
|
---|
708 | }
|
---|
709 | ImageryInfo j = josmUrls.get(url);
|
---|
710 | if (!Objects.equals(getQuality(e), getQuality(j))) {
|
---|
711 | myprintln("* Quality differs ("+getQuality(e)+" != "+getQuality(j)+"): "+getDescription(j));
|
---|
712 | }
|
---|
713 | }
|
---|
714 | }
|
---|
715 |
|
---|
716 | void doSameUrlButDifferentDates() {
|
---|
717 | myprintln("*** Same URL, but different dates: ***");
|
---|
718 | Pattern pattern = Pattern.compile("^(.*;)(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?$");
|
---|
719 | for (String url : eliUrls.keySet()) {
|
---|
720 | String ed = getDate(eliUrls.get(url));
|
---|
721 | if (!josmUrls.containsKey(url)) continue;
|
---|
722 | ImageryInfo j = josmUrls.get(url);
|
---|
723 | String jd = getDate(j);
|
---|
724 | // The forms 2015;- or -;2015 or 2015;2015 are handled equal to 2015
|
---|
725 | String ef = ed.replaceAll("\\A-;", "").replaceAll(";-\\z", "").replaceAll("\\A([0-9-]+);\\1\\z", "$1");
|
---|
726 | // ELI has a strange and inconsistent used end_date definition, so we try again with subtraction by one
|
---|
727 | String ed2 = ed;
|
---|
728 | Matcher m = pattern.matcher(ed);
|
---|
729 | if (m.matches()) {
|
---|
730 | Calendar cal = Calendar.getInstance();
|
---|
731 | cal.set(Integer.valueOf(m.group(2)),
|
---|
732 | m.group(4) == null ? 0 : Integer.valueOf(m.group(4))-1,
|
---|
733 | m.group(6) == null ? 1 : Integer.valueOf(m.group(6)));
|
---|
734 | cal.add(Calendar.DAY_OF_MONTH, -1);
|
---|
735 | ed2 = m.group(1) + cal.get(Calendar.YEAR);
|
---|
736 | if (m.group(4) != null)
|
---|
737 | ed2 += "-" + String.format("%02d", cal.get(Calendar.MONTH)+1);
|
---|
738 | if (m.group(6) != null)
|
---|
739 | ed2 += "-" + String.format("%02d", cal.get(Calendar.DAY_OF_MONTH));
|
---|
740 | }
|
---|
741 | String ef2 = ed2.replaceAll("\\A-;", "").replaceAll(";-\\z", "").replaceAll("\\A([0-9-]+);\\1\\z", "$1");
|
---|
742 | if (!ed.equals(jd) && !ef.equals(jd) && !ed2.equals(jd) && !ef2.equals(jd)) {
|
---|
743 | String t = "'"+ed+"'";
|
---|
744 | if (!ed.equals(ef)) {
|
---|
745 | t += " or '"+ef+"'";
|
---|
746 | }
|
---|
747 | if (jd.isEmpty()) {
|
---|
748 | myprintln("- Missing JOSM date ("+t+"): "+getDescription(j));
|
---|
749 | } else if (!ed.isEmpty()) {
|
---|
750 | myprintln("* Date differs ('"+t+"' != '"+jd+"'): "+getDescription(j));
|
---|
751 | } else if (!optionNoEli) {
|
---|
752 | myprintln("+ Missing ELI date ('"+jd+"'): "+getDescription(j));
|
---|
753 | }
|
---|
754 | }
|
---|
755 | }
|
---|
756 | }
|
---|
757 |
|
---|
758 | void doSameUrlButDifferentInformation() {
|
---|
759 | myprintln("*** Same URL, but different information: ***");
|
---|
760 | for (String url : eliUrls.keySet()) {
|
---|
761 | if (!josmUrls.containsKey(url)) continue;
|
---|
762 | JsonObject e = eliUrls.get(url);
|
---|
763 | ImageryInfo j = josmUrls.get(url);
|
---|
764 |
|
---|
765 | compareDescriptions(e, j);
|
---|
766 | comparePrivacyPolicyUrls(e, j);
|
---|
767 | comparePermissionReferenceUrls(e, j);
|
---|
768 | compareAttributionUrls(e, j);
|
---|
769 | compareAttributionTexts(e, j);
|
---|
770 | compareProjections(e, j);
|
---|
771 | compareDefaults(e, j);
|
---|
772 | compareOverlays(e, j);
|
---|
773 | compareNoTileHeaders(e, j);
|
---|
774 | }
|
---|
775 | }
|
---|
776 |
|
---|
777 | void compareDescriptions(JsonObject e, ImageryInfo j) {
|
---|
778 | String et = getDescriptions(e).getOrDefault("en", "");
|
---|
779 | String jt = getDescriptions(j).getOrDefault("en", "");
|
---|
780 | if (!et.equals(jt)) {
|
---|
781 | if (jt.isEmpty()) {
|
---|
782 | myprintln("- Missing JOSM description ("+et+"): "+getDescription(j));
|
---|
783 | } else if (!et.isEmpty()) {
|
---|
784 | myprintln("* Description differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
785 | } else if (!optionNoEli) {
|
---|
786 | myprintln("+ Missing ELI description ('"+jt+"'): "+getDescription(j));
|
---|
787 | }
|
---|
788 | }
|
---|
789 | }
|
---|
790 |
|
---|
791 | void comparePrivacyPolicyUrls(JsonObject e, ImageryInfo j) {
|
---|
792 | String et = getPrivacyPolicyUrl(e);
|
---|
793 | String jt = getPrivacyPolicyUrl(j);
|
---|
794 | if (!Objects.equals(et, jt)) {
|
---|
795 | if (isBlank(jt)) {
|
---|
796 | myprintln("- Missing JOSM privacy policy URL ("+et+"): "+getDescription(j));
|
---|
797 | } else if (isNotBlank(et)) {
|
---|
798 | myprintln("+ Privacy policy URL differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
799 | } else if (!optionNoEli) {
|
---|
800 | myprintln("+ Missing ELI privacy policy URL ('"+jt+"'): "+getDescription(j));
|
---|
801 | }
|
---|
802 | }
|
---|
803 | }
|
---|
804 |
|
---|
805 | void comparePermissionReferenceUrls(JsonObject e, ImageryInfo j) {
|
---|
806 | String et = getPermissionReferenceUrl(e);
|
---|
807 | String jt = getPermissionReferenceUrl(j);
|
---|
808 | String jt2 = getTermsOfUseUrl(j);
|
---|
809 | if (isBlank(jt)) jt = jt2;
|
---|
810 | if (!Objects.equals(et, jt)) {
|
---|
811 | if (isBlank(jt)) {
|
---|
812 | myprintln("- Missing JOSM license URL ("+et+"): "+getDescription(j));
|
---|
813 | } else if (isNotBlank(et)) {
|
---|
814 | String ethttps = et.replace("http:", "https:");
|
---|
815 | if (isBlank(jt2) || !(jt2.equals(ethttps) || jt2.equals(et+"/") || jt2.equals(ethttps+"/"))) {
|
---|
816 | if (jt.equals(ethttps) || jt.equals(et+"/") || jt.equals(ethttps+"/")) {
|
---|
817 | myprintln("+ License URL differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
818 | } else {
|
---|
819 | String ja = getAttributionUrl(j);
|
---|
820 | if (ja != null && (ja.equals(et) || ja.equals(ethttps) || ja.equals(et+"/") || ja.equals(ethttps+"/"))) {
|
---|
821 | myprintln("+ ELI License URL in JOSM Attribution: "+getDescription(j));
|
---|
822 | } else {
|
---|
823 | myprintln("* License URL differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
824 | }
|
---|
825 | }
|
---|
826 | }
|
---|
827 | } else if (!optionNoEli) {
|
---|
828 | myprintln("+ Missing ELI license URL ('"+jt+"'): "+getDescription(j));
|
---|
829 | }
|
---|
830 | }
|
---|
831 | }
|
---|
832 |
|
---|
833 | void compareAttributionUrls(JsonObject e, ImageryInfo j) {
|
---|
834 | String et = getAttributionUrl(e);
|
---|
835 | String jt = getAttributionUrl(j);
|
---|
836 | if (!Objects.equals(et, jt)) {
|
---|
837 | if (isBlank(jt)) {
|
---|
838 | myprintln("- Missing JOSM attribution URL ("+et+"): "+getDescription(j));
|
---|
839 | } else if (isNotBlank(et)) {
|
---|
840 | String ethttps = et.replace("http:", "https:");
|
---|
841 | if (jt.equals(ethttps) || jt.equals(et+"/") || jt.equals(ethttps+"/")) {
|
---|
842 | myprintln("+ Attribution URL differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
843 | } else {
|
---|
844 | myprintln("* Attribution URL differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
845 | }
|
---|
846 | } else if (!optionNoEli) {
|
---|
847 | myprintln("+ Missing ELI attribution URL ('"+jt+"'): "+getDescription(j));
|
---|
848 | }
|
---|
849 | }
|
---|
850 | }
|
---|
851 |
|
---|
852 | void compareAttributionTexts(JsonObject e, ImageryInfo j) {
|
---|
853 | String et = getAttributionText(e);
|
---|
854 | String jt = getAttributionText(j);
|
---|
855 | if (!Objects.equals(et, jt)) {
|
---|
856 | if (isBlank(jt)) {
|
---|
857 | myprintln("- Missing JOSM attribution text ("+et+"): "+getDescription(j));
|
---|
858 | } else if (isNotBlank(et)) {
|
---|
859 | myprintln("* Attribution text differs ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
860 | } else if (!optionNoEli) {
|
---|
861 | myprintln("+ Missing ELI attribution text ('"+jt+"'): "+getDescription(j));
|
---|
862 | }
|
---|
863 | }
|
---|
864 | }
|
---|
865 |
|
---|
866 | void compareProjections(JsonObject e, ImageryInfo j) {
|
---|
867 | String et = getProjections(e).stream().sorted().collect(Collectors.joining(" "));
|
---|
868 | String jt = getProjections(j).stream().sorted().collect(Collectors.joining(" "));
|
---|
869 | if (!Objects.equals(et, jt)) {
|
---|
870 | if (isBlank(jt)) {
|
---|
871 | String t = getType(e);
|
---|
872 | if ("wms_endpoint".equals(t) || "tms".equals(t)) {
|
---|
873 | myprintln("+ ELI projections for type "+t+": "+getDescription(j));
|
---|
874 | } else {
|
---|
875 | myprintln("- Missing JOSM projections ("+et+"): "+getDescription(j));
|
---|
876 | }
|
---|
877 | } else if (isNotBlank(et)) {
|
---|
878 | if ("EPSG:3857 EPSG:4326".equals(et) || "EPSG:3857".equals(et) || "EPSG:4326".equals(et)) {
|
---|
879 | myprintln("+ ELI has minimal projections ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
880 | } else {
|
---|
881 | myprintln("* Projections differ ('"+et+"' != '"+jt+"'): "+getDescription(j));
|
---|
882 | }
|
---|
883 | } else if (!optionNoEli && !"tms".equals(getType(e))) {
|
---|
884 | myprintln("+ Missing ELI projections ('"+jt+"'): "+getDescription(j));
|
---|
885 | }
|
---|
886 | }
|
---|
887 | }
|
---|
888 |
|
---|
889 | void compareDefaults(JsonObject e, ImageryInfo j) {
|
---|
890 | boolean ed = getDefault(e);
|
---|
891 | boolean jd = getDefault(j);
|
---|
892 | if (ed != jd) {
|
---|
893 | if (!jd) {
|
---|
894 | myprintln("- Missing JOSM default: "+getDescription(j));
|
---|
895 | } else if (!optionNoEli) {
|
---|
896 | myprintln("+ Missing ELI default: "+getDescription(j));
|
---|
897 | }
|
---|
898 | }
|
---|
899 | }
|
---|
900 |
|
---|
901 | void compareOverlays(JsonObject e, ImageryInfo j) {
|
---|
902 | boolean eo = getOverlay(e);
|
---|
903 | boolean jo = getOverlay(j);
|
---|
904 | if (eo != jo) {
|
---|
905 | if (!jo) {
|
---|
906 | myprintln("- Missing JOSM overlay flag: "+getDescription(j));
|
---|
907 | } else if (!optionNoEli) {
|
---|
908 | myprintln("+ Missing ELI overlay flag: "+getDescription(j));
|
---|
909 | }
|
---|
910 | }
|
---|
911 | }
|
---|
912 |
|
---|
913 | void compareNoTileHeaders(JsonObject e, ImageryInfo j) {
|
---|
914 | Map<String, Set<String>> eh = getNoTileHeader(e);
|
---|
915 | Map<String, Set<String>> jh = getNoTileHeader(j);
|
---|
916 | if (!Objects.equals(eh, jh)) {
|
---|
917 | if (jh == null || jh.isEmpty()) {
|
---|
918 | myprintln("- Missing JOSM no tile headers ("+eh+"): "+getDescription(j));
|
---|
919 | } else if (eh != null && !eh.isEmpty()) {
|
---|
920 | myprintln("* No tile headers differ ('"+eh+"' != '"+jh+"'): "+getDescription(j));
|
---|
921 | } else if (!optionNoEli) {
|
---|
922 | myprintln("+ Missing ELI no tile headers ('"+jh+"'): "+getDescription(j));
|
---|
923 | }
|
---|
924 | }
|
---|
925 | }
|
---|
926 |
|
---|
927 | void doMismatchingShapes() {
|
---|
928 | myprintln("*** Mismatching shapes: ***");
|
---|
929 | for (String url : josmUrls.keySet()) {
|
---|
930 | ImageryInfo j = josmUrls.get(url);
|
---|
931 | int num = 1;
|
---|
932 | for (Shape shape : getShapes(j)) {
|
---|
933 | List<Coordinate> p = shape.getPoints();
|
---|
934 | if (!p.get(0).equals(p.get(p.size()-1))) {
|
---|
935 | myprintln("+++ JOSM shape "+num+" unclosed: "+getDescription(j));
|
---|
936 | }
|
---|
937 | for (int nump = 1; nump < p.size(); ++nump) {
|
---|
938 | if (Objects.equals(p.get(nump-1), p.get(nump))) {
|
---|
939 | myprintln("+++ JOSM shape "+num+" double point at "+(nump-1)+": "+getDescription(j));
|
---|
940 | }
|
---|
941 | }
|
---|
942 | ++num;
|
---|
943 | }
|
---|
944 | }
|
---|
945 | for (String url : eliUrls.keySet()) {
|
---|
946 | JsonObject e = eliUrls.get(url);
|
---|
947 | int num = 1;
|
---|
948 | List<Shape> s = null;
|
---|
949 | try {
|
---|
950 | s = getShapes(e);
|
---|
951 | for (Shape shape : s) {
|
---|
952 | List<Coordinate> p = shape.getPoints();
|
---|
953 | if (!p.get(0).equals(p.get(p.size()-1)) && !optionNoEli) {
|
---|
954 | myprintln("+++ ELI shape "+num+" unclosed: "+getDescription(e));
|
---|
955 | }
|
---|
956 | for (int nump = 1; nump < p.size(); ++nump) {
|
---|
957 | if (Objects.equals(p.get(nump-1), p.get(nump))) {
|
---|
958 | myprintln("+++ ELI shape "+num+" double point at "+(nump-1)+": "+getDescription(e));
|
---|
959 | }
|
---|
960 | }
|
---|
961 | ++num;
|
---|
962 | }
|
---|
963 | } catch (IllegalArgumentException err) {
|
---|
964 | String desc = getDescription(e);
|
---|
965 | myprintln("* Invalid data in ELI geometry for "+desc+": "+err.getMessage());
|
---|
966 | }
|
---|
967 | if (s == null || !josmUrls.containsKey(url)) {
|
---|
968 | continue;
|
---|
969 | }
|
---|
970 | ImageryInfo j = josmUrls.get(url);
|
---|
971 | List<Shape> js = getShapes(j);
|
---|
972 | if (s.isEmpty() && !js.isEmpty()) {
|
---|
973 | if (!optionNoEli) {
|
---|
974 | myprintln("+ No ELI shape: "+getDescription(j));
|
---|
975 | }
|
---|
976 | } else if (js.isEmpty() && !s.isEmpty()) {
|
---|
977 | // don't report boundary like 5 point shapes as difference
|
---|
978 | if (s.size() != 1 || s.get(0).getPoints().size() != 5) {
|
---|
979 | myprintln("- No JOSM shape: "+getDescription(j));
|
---|
980 | }
|
---|
981 | } else if (s.size() != js.size()) {
|
---|
982 | myprintln("* Different number of shapes ("+s.size()+" != "+js.size()+"): "+getDescription(j));
|
---|
983 | } else {
|
---|
984 | boolean[] edone = new boolean[s.size()];
|
---|
985 | boolean[] jdone = new boolean[js.size()];
|
---|
986 | for (int enums = 0; enums < s.size(); ++enums) {
|
---|
987 | List<Coordinate> ep = s.get(enums).getPoints();
|
---|
988 | for (int jnums = 0; jnums < js.size() && !edone[enums]; ++jnums) {
|
---|
989 | List<Coordinate> jp = js.get(jnums).getPoints();
|
---|
990 | if (ep.size() == jp.size() && !jdone[jnums]) {
|
---|
991 | boolean err = false;
|
---|
992 | for (int nump = 0; nump < ep.size() && !err; ++nump) {
|
---|
993 | Coordinate ept = ep.get(nump);
|
---|
994 | Coordinate jpt = jp.get(nump);
|
---|
995 | if (Math.abs(ept.getLat()-jpt.getLat()) > 0.00001 || Math.abs(ept.getLon()-jpt.getLon()) > 0.00001)
|
---|
996 | err = true;
|
---|
997 | }
|
---|
998 | if (!err) {
|
---|
999 | edone[enums] = true;
|
---|
1000 | jdone[jnums] = true;
|
---|
1001 | break;
|
---|
1002 | }
|
---|
1003 | }
|
---|
1004 | }
|
---|
1005 | }
|
---|
1006 | for (int enums = 0; enums < s.size(); ++enums) {
|
---|
1007 | List<Coordinate> ep = s.get(enums).getPoints();
|
---|
1008 | for (int jnums = 0; jnums < js.size() && !edone[enums]; ++jnums) {
|
---|
1009 | List<Coordinate> jp = js.get(jnums).getPoints();
|
---|
1010 | if (ep.size() == jp.size() && !jdone[jnums]) {
|
---|
1011 | boolean err = false;
|
---|
1012 | for (int nump = 0; nump < ep.size() && !err; ++nump) {
|
---|
1013 | Coordinate ept = ep.get(nump);
|
---|
1014 | Coordinate jpt = jp.get(nump);
|
---|
1015 | if (Math.abs(ept.getLat()-jpt.getLat()) > 0.00001 || Math.abs(ept.getLon()-jpt.getLon()) > 0.00001) {
|
---|
1016 | String numtxt = Integer.toString(enums+1);
|
---|
1017 | if (enums != jnums) {
|
---|
1018 | numtxt += '/' + Integer.toString(jnums+1);
|
---|
1019 | }
|
---|
1020 | myprintln("* Different coordinate for point "+(nump+1)+" of shape "+numtxt+": "+getDescription(j));
|
---|
1021 | break;
|
---|
1022 | }
|
---|
1023 | }
|
---|
1024 | edone[enums] = true;
|
---|
1025 | jdone[jnums] = true;
|
---|
1026 | break;
|
---|
1027 | }
|
---|
1028 | }
|
---|
1029 | }
|
---|
1030 | for (int enums = 0; enums < s.size(); ++enums) {
|
---|
1031 | List<Coordinate> ep = s.get(enums).getPoints();
|
---|
1032 | for (int jnums = 0; jnums < js.size() && !edone[enums]; ++jnums) {
|
---|
1033 | List<Coordinate> jp = js.get(jnums).getPoints();
|
---|
1034 | if (!jdone[jnums]) {
|
---|
1035 | String numtxt = Integer.toString(enums+1);
|
---|
1036 | if (enums != jnums) {
|
---|
1037 | numtxt += '/' + Integer.toString(jnums+1);
|
---|
1038 | }
|
---|
1039 | myprintln("* Different number of points for shape "+numtxt+" ("+ep.size()+" ! = "+jp.size()+"): "
|
---|
1040 | + getDescription(j));
|
---|
1041 | edone[enums] = true;
|
---|
1042 | jdone[jnums] = true;
|
---|
1043 | break;
|
---|
1044 | }
|
---|
1045 | }
|
---|
1046 | }
|
---|
1047 | }
|
---|
1048 | }
|
---|
1049 | }
|
---|
1050 |
|
---|
1051 | void doMismatchingIcons() {
|
---|
1052 | myprintln("*** Mismatching icons: ***");
|
---|
1053 | doMismatching(this::compareIcons);
|
---|
1054 | }
|
---|
1055 |
|
---|
1056 | void doMismatchingCategories() {
|
---|
1057 | myprintln("*** Mismatching categories: ***");
|
---|
1058 | doMismatching(this::compareCategories);
|
---|
1059 | }
|
---|
1060 |
|
---|
1061 | void doMismatching(BiConsumer<ImageryInfo, JsonObject> comparator) {
|
---|
1062 | for (String url : eliUrls.keySet()) {
|
---|
1063 | if (josmUrls.containsKey(url)) {
|
---|
1064 | comparator.accept(josmUrls.get(url), eliUrls.get(url));
|
---|
1065 | }
|
---|
1066 | }
|
---|
1067 | }
|
---|
1068 |
|
---|
1069 | void compareIcons(ImageryInfo j, JsonObject e) {
|
---|
1070 | String ij = getIcon(j);
|
---|
1071 | String ie = getIcon(e);
|
---|
1072 | boolean ijok = isNotBlank(ij);
|
---|
1073 | boolean ieok = isNotBlank(ie);
|
---|
1074 | if (ijok && !ieok) {
|
---|
1075 | if (!optionNoEli) {
|
---|
1076 | myprintln("+ No ELI icon: "+getDescription(j));
|
---|
1077 | }
|
---|
1078 | } else if (!ijok && ieok) {
|
---|
1079 | myprintln("- No JOSM icon: "+getDescription(j));
|
---|
1080 | } else if (ijok && ieok && !Objects.equals(ij, ie) && !(
|
---|
1081 | (ie.startsWith("https://osmlab.github.io/editor-layer-index/")
|
---|
1082 | || ie.startsWith("https://raw.githubusercontent.com/osmlab/editor-layer-index/")) &&
|
---|
1083 | ij.startsWith("data:"))) {
|
---|
1084 | String iehttps = ie.replace("http:", "https:");
|
---|
1085 | if (ij.equals(iehttps)) {
|
---|
1086 | myprintln("+ Different icons: "+getDescription(j));
|
---|
1087 | } else {
|
---|
1088 | myprintln("* Different icons: "+getDescription(j));
|
---|
1089 | }
|
---|
1090 | }
|
---|
1091 | }
|
---|
1092 |
|
---|
1093 | void compareCategories(ImageryInfo j, JsonObject e) {
|
---|
1094 | String cj = getCategory(j);
|
---|
1095 | String ce = getCategory(e);
|
---|
1096 | boolean cjok = isNotBlank(cj);
|
---|
1097 | boolean ceok = isNotBlank(ce);
|
---|
1098 | if (cjok && !ceok) {
|
---|
1099 | if (!optionNoEli) {
|
---|
1100 | myprintln("+ No ELI category: "+getDescription(j));
|
---|
1101 | }
|
---|
1102 | } else if (!cjok && ceok) {
|
---|
1103 | myprintln("- No JOSM category: "+getDescription(j));
|
---|
1104 | } else if (cjok && ceok && !Objects.equals(cj, ce)) {
|
---|
1105 | myprintln("* Different categories ('"+ce+"' != '"+cj+"'): "+getDescription(j));
|
---|
1106 | }
|
---|
1107 | }
|
---|
1108 |
|
---|
1109 | void doMiscellaneousChecks() {
|
---|
1110 | myprintln("*** Miscellaneous checks: ***");
|
---|
1111 | Map<String, ImageryInfo> josmIds = new HashMap<>();
|
---|
1112 | Collection<String> all = Projections.getAllProjectionCodes();
|
---|
1113 | DomainValidator dv = DomainValidator.getInstance();
|
---|
1114 | for (String url : josmUrls.keySet()) {
|
---|
1115 | ImageryInfo j = josmUrls.get(url);
|
---|
1116 | String id = getId(j);
|
---|
1117 | if ("wms".equals(getType(j))) {
|
---|
1118 | String urlLc = url.toLowerCase(Locale.ENGLISH);
|
---|
1119 | if (getProjections(j).isEmpty()) {
|
---|
1120 | myprintln("* WMS without projections: "+getDescription(j));
|
---|
1121 | } else {
|
---|
1122 | List<String> unsupported = new LinkedList<>();
|
---|
1123 | List<String> old = new LinkedList<>();
|
---|
1124 | for (String p : getProjectionsUnstripped(j)) {
|
---|
1125 | if ("CRS:84".equals(p)) {
|
---|
1126 | if (!urlLc.contains("version=1.3")) {
|
---|
1127 | myprintln("* CRS:84 without WMS 1.3: "+getDescription(j));
|
---|
1128 | }
|
---|
1129 | } else if (oldproj.containsKey(p)) {
|
---|
1130 | old.add(p);
|
---|
1131 | } else if (!all.contains(p) && !ignoreproj.contains(p)) {
|
---|
1132 | unsupported.add(p);
|
---|
1133 | }
|
---|
1134 | }
|
---|
1135 | if (!unsupported.isEmpty()) {
|
---|
1136 | myprintln("* Projections "+String.join(", ", unsupported)+" not supported by JOSM: "+getDescription(j));
|
---|
1137 | }
|
---|
1138 | for (String o : old) {
|
---|
1139 | myprintln("* Projection "+o+" is an old unsupported code and has been replaced by "+oldproj.get(o)+": "
|
---|
1140 | + getDescription(j));
|
---|
1141 | }
|
---|
1142 | }
|
---|
1143 | if (urlLc.contains("version=1.3") && !urlLc.contains("crs={proj}")) {
|
---|
1144 | myprintln("* WMS 1.3 with strange CRS specification: "+getDescription(j));
|
---|
1145 | } else if (urlLc.contains("version=1.1") && !urlLc.contains("srs={proj}")) {
|
---|
1146 | myprintln("* WMS 1.1 with strange SRS specification: "+getDescription(j));
|
---|
1147 | }
|
---|
1148 | }
|
---|
1149 | List<String> urls = new LinkedList<>();
|
---|
1150 | if (!"scanex".equals(getType(j))) {
|
---|
1151 | urls.add(url);
|
---|
1152 | }
|
---|
1153 | String jt = getPermissionReferenceUrl(j);
|
---|
1154 | if (isNotBlank(jt) && !"Public Domain".equalsIgnoreCase(jt))
|
---|
1155 | urls.add(jt);
|
---|
1156 | jt = getTermsOfUseUrl(j);
|
---|
1157 | if (isNotBlank(jt))
|
---|
1158 | urls.add(jt);
|
---|
1159 | jt = getAttributionUrl(j);
|
---|
1160 | if (isNotBlank(jt))
|
---|
1161 | urls.add(jt);
|
---|
1162 | jt = getIcon(j);
|
---|
1163 | if (isNotBlank(jt)) {
|
---|
1164 | if (!jt.startsWith("data:image/"))
|
---|
1165 | urls.add(jt);
|
---|
1166 | else {
|
---|
1167 | try {
|
---|
1168 | new ImageProvider(jt).get();
|
---|
1169 | } catch (RuntimeException e) {
|
---|
1170 | myprintln("* Strange Icon: "+getDescription(j));
|
---|
1171 | }
|
---|
1172 | }
|
---|
1173 | }
|
---|
1174 | Pattern patternU = Pattern.compile("^https?://([^/]+?)(:\\d+)?(/.*)?");
|
---|
1175 | for (String u : urls) {
|
---|
1176 | if (!patternU.matcher(u).matches() || u.matches(".*[ \t]+$")) {
|
---|
1177 | myprintln("* Strange URL '"+u+"': "+getDescription(j));
|
---|
1178 | } else {
|
---|
1179 | try {
|
---|
1180 | URL jurl = new URL(u.replaceAll("\\{switch:[^\\}]*\\}", "x"));
|
---|
1181 | String domain = jurl.getHost();
|
---|
1182 | int port = jurl.getPort();
|
---|
1183 | if (!(domain.matches("^\\d+\\.\\d+\\.\\d+\\.\\d+$")) && !dv.isValid(domain))
|
---|
1184 | myprintln("* Strange Domain '"+domain+"': "+getDescription(j));
|
---|
1185 | else if (80 == port || 443 == port) {
|
---|
1186 | myprintln("* Useless port '"+port+"': "+getDescription(j));
|
---|
1187 | }
|
---|
1188 | } catch (MalformedURLException e) {
|
---|
1189 | myprintln("* Malformed URL '"+u+"': "+getDescription(j)+" => "+e.getMessage());
|
---|
1190 | }
|
---|
1191 | }
|
---|
1192 | }
|
---|
1193 |
|
---|
1194 | if (josmMirrors.containsKey(url)) {
|
---|
1195 | continue;
|
---|
1196 | }
|
---|
1197 | if (isBlank(id)) {
|
---|
1198 | myprintln("* No JOSM-ID: "+getDescription(j));
|
---|
1199 | } else if (josmIds.containsKey(id)) {
|
---|
1200 | myprintln("* JOSM-ID "+id+" not unique: "+getDescription(j));
|
---|
1201 | } else {
|
---|
1202 | josmIds.put(id, j);
|
---|
1203 | }
|
---|
1204 | String d = getDate(j);
|
---|
1205 | if (isNotBlank(d)) {
|
---|
1206 | Pattern patternD = Pattern.compile("^(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?)(;(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?))?$");
|
---|
1207 | Matcher m = patternD.matcher(d);
|
---|
1208 | if (!m.matches()) {
|
---|
1209 | myprintln("* JOSM-Date '"+d+"' is strange: "+getDescription(j));
|
---|
1210 | } else {
|
---|
1211 | try {
|
---|
1212 | Date first = verifyDate(m.group(2), m.group(4), m.group(6));
|
---|
1213 | Date second = verifyDate(m.group(9), m.group(11), m.group(13));
|
---|
1214 | if (second.compareTo(first) < 0) {
|
---|
1215 | myprintln("* JOSM-Date '"+d+"' is strange (second earlier than first): "+getDescription(j));
|
---|
1216 | }
|
---|
1217 | } catch (Exception e) {
|
---|
1218 | myprintln("* JOSM-Date '"+d+"' is strange ("+e.getMessage()+"): "+getDescription(j));
|
---|
1219 | }
|
---|
1220 | }
|
---|
1221 | }
|
---|
1222 | if (isNotBlank(getAttributionUrl(j)) && isBlank(getAttributionText(j))) {
|
---|
1223 | myprintln("* Attribution link without text: "+getDescription(j));
|
---|
1224 | }
|
---|
1225 | if (isNotBlank(getLogoUrl(j)) && isBlank(getLogoImage(j))) {
|
---|
1226 | myprintln("* Logo link without image: "+getDescription(j));
|
---|
1227 | }
|
---|
1228 | if (isNotBlank(getTermsOfUseText(j)) && isBlank(getTermsOfUseUrl(j))) {
|
---|
1229 | myprintln("* Terms of Use text without link: "+getDescription(j));
|
---|
1230 | }
|
---|
1231 | List<Shape> js = getShapes(j);
|
---|
1232 | if (!js.isEmpty()) {
|
---|
1233 | double minlat = 1000;
|
---|
1234 | double minlon = 1000;
|
---|
1235 | double maxlat = -1000;
|
---|
1236 | double maxlon = -1000;
|
---|
1237 | for (Shape s: js) {
|
---|
1238 | for (Coordinate p: s.getPoints()) {
|
---|
1239 | double lat = p.getLat();
|
---|
1240 | double lon = p.getLon();
|
---|
1241 | if (lat > maxlat) maxlat = lat;
|
---|
1242 | if (lon > maxlon) maxlon = lon;
|
---|
1243 | if (lat < minlat) minlat = lat;
|
---|
1244 | if (lon < minlon) minlon = lon;
|
---|
1245 | }
|
---|
1246 | }
|
---|
1247 | ImageryBounds b = j.getBounds();
|
---|
1248 | if (b.getMinLat() != minlat || b.getMinLon() != minlon || b.getMaxLat() != maxlat || b.getMaxLon() != maxlon) {
|
---|
1249 | myprintln("* Bounds do not match shape (is "+b.getMinLat()+","+b.getMinLon()+","+b.getMaxLat()+","+b.getMaxLon()
|
---|
1250 | + ", calculated <bounds min-lat='"+minlat+"' min-lon='"+minlon+"' max-lat='"+maxlat+"' max-lon='"+maxlon+"'>): "
|
---|
1251 | + getDescription(j));
|
---|
1252 | }
|
---|
1253 | }
|
---|
1254 | List<String> knownCategories = Arrays.asList(
|
---|
1255 | "photo", "elevation", "map", "historicmap", "osmbasedmap", "historicphoto", "qa", "other");
|
---|
1256 | String cat = getCategory(j);
|
---|
1257 | if (isBlank(cat)) {
|
---|
1258 | myprintln("* No category: "+getDescription(j));
|
---|
1259 | } else if (!knownCategories.contains(cat)) {
|
---|
1260 | myprintln("* Strange category "+cat+": "+getDescription(j));
|
---|
1261 | }
|
---|
1262 | }
|
---|
1263 | }
|
---|
1264 |
|
---|
1265 | /*
|
---|
1266 | * Utility functions that allow uniform access for both ImageryInfo and JsonObject.
|
---|
1267 | */
|
---|
1268 |
|
---|
1269 | static String getUrl(Object e) {
|
---|
1270 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getUrl();
|
---|
1271 | return ((Map<String, JsonObject>) e).get("properties").getString("url");
|
---|
1272 | }
|
---|
1273 |
|
---|
1274 | static String getUrlStripped(Object e) {
|
---|
1275 | return getUrl(e).replaceAll("\\?(apikey|access_token)=.*", "");
|
---|
1276 | }
|
---|
1277 |
|
---|
1278 | static String getDate(Object e) {
|
---|
1279 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getDate() != null ? ((ImageryInfo) e).getDate() : "";
|
---|
1280 | JsonObject p = ((Map<String, JsonObject>) e).get("properties");
|
---|
1281 | String start = p.containsKey("start_date") ? p.getString("start_date") : "";
|
---|
1282 | String end = p.containsKey("end_date") ? p.getString("end_date") : "";
|
---|
1283 | if (!start.isEmpty() && !end.isEmpty())
|
---|
1284 | return start+";"+end;
|
---|
1285 | else if (!start.isEmpty())
|
---|
1286 | return start+";-";
|
---|
1287 | else if (!end.isEmpty())
|
---|
1288 | return "-;"+end;
|
---|
1289 | return "";
|
---|
1290 | }
|
---|
1291 |
|
---|
1292 | static Date verifyDate(String year, String month, String day) throws ParseException {
|
---|
1293 | String date;
|
---|
1294 | if (year == null) {
|
---|
1295 | date = "3000-01-01";
|
---|
1296 | } else {
|
---|
1297 | date = year + "-" + (month == null ? "01" : month) + "-" + (day == null ? "01" : day);
|
---|
1298 | }
|
---|
1299 | SimpleDateFormat df = new SimpleDateFormat("yyyy-MM-dd");
|
---|
1300 | df.setLenient(false);
|
---|
1301 | return df.parse(date);
|
---|
1302 | }
|
---|
1303 |
|
---|
1304 | static String getId(Object e) {
|
---|
1305 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getId();
|
---|
1306 | return ((Map<String, JsonObject>) e).get("properties").getString("id");
|
---|
1307 | }
|
---|
1308 |
|
---|
1309 | static String getName(Object e) {
|
---|
1310 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getOriginalName();
|
---|
1311 | return ((Map<String, JsonObject>) e).get("properties").getString("name");
|
---|
1312 | }
|
---|
1313 |
|
---|
1314 | static List<ImageryInfo> getMirrors(Object e) {
|
---|
1315 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getMirrors();
|
---|
1316 | return Collections.emptyList();
|
---|
1317 | }
|
---|
1318 |
|
---|
1319 | static List<String> getProjections(Object e) {
|
---|
1320 | List<String> r = new ArrayList<>();
|
---|
1321 | List<String> u = getProjectionsUnstripped(e);
|
---|
1322 | if (u != null) {
|
---|
1323 | for (String p : u) {
|
---|
1324 | if (!oldproj.containsKey(p) && !("CRS:84".equals(p) && !(getUrlStripped(e).matches("(?i)version=1\\.3")))) {
|
---|
1325 | r.add(p);
|
---|
1326 | }
|
---|
1327 | }
|
---|
1328 | }
|
---|
1329 | return r;
|
---|
1330 | }
|
---|
1331 |
|
---|
1332 | static List<String> getProjectionsUnstripped(Object e) {
|
---|
1333 | List<String> r = null;
|
---|
1334 | if (e instanceof ImageryInfo) {
|
---|
1335 | r = ((ImageryInfo) e).getServerProjections();
|
---|
1336 | } else {
|
---|
1337 | JsonValue s = ((Map<String, JsonObject>) e).get("properties").get("available_projections");
|
---|
1338 | if (s != null) {
|
---|
1339 | r = new ArrayList<>();
|
---|
1340 | for (JsonValue p : s.asJsonArray()) {
|
---|
1341 | r.add(((JsonString) p).getString());
|
---|
1342 | }
|
---|
1343 | }
|
---|
1344 | }
|
---|
1345 | return r != null ? r : Collections.emptyList();
|
---|
1346 | }
|
---|
1347 |
|
---|
1348 | static List<Shape> getShapes(Object e) {
|
---|
1349 | if (e instanceof ImageryInfo) {
|
---|
1350 | ImageryBounds bounds = ((ImageryInfo) e).getBounds();
|
---|
1351 | if (bounds != null) {
|
---|
1352 | return bounds.getShapes();
|
---|
1353 | }
|
---|
1354 | return Collections.emptyList();
|
---|
1355 | }
|
---|
1356 | JsonValue ex = ((Map<String, JsonValue>) e).get("geometry");
|
---|
1357 | if (ex != null && !JsonValue.NULL.equals(ex) && !ex.asJsonObject().isNull("coordinates")) {
|
---|
1358 | JsonArray poly = ex.asJsonObject().getJsonArray("coordinates");
|
---|
1359 | List<Shape> l = new ArrayList<>();
|
---|
1360 | for (JsonValue shapes: poly) {
|
---|
1361 | Shape s = new Shape();
|
---|
1362 | for (JsonValue point: shapes.asJsonArray()) {
|
---|
1363 | String lon = point.asJsonArray().getJsonNumber(0).toString();
|
---|
1364 | String lat = point.asJsonArray().getJsonNumber(1).toString();
|
---|
1365 | s.addPoint(lat, lon);
|
---|
1366 | }
|
---|
1367 | l.add(s);
|
---|
1368 | }
|
---|
1369 | return l;
|
---|
1370 | }
|
---|
1371 | return Collections.emptyList();
|
---|
1372 | }
|
---|
1373 |
|
---|
1374 | static String getType(Object e) {
|
---|
1375 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getImageryType().getTypeString();
|
---|
1376 | return ((Map<String, JsonObject>) e).get("properties").getString("type");
|
---|
1377 | }
|
---|
1378 |
|
---|
1379 | static Integer getMinZoom(Object e) {
|
---|
1380 | if (e instanceof ImageryInfo) {
|
---|
1381 | int mz = ((ImageryInfo) e).getMinZoom();
|
---|
1382 | return mz == 0 ? null : mz;
|
---|
1383 | } else {
|
---|
1384 | JsonNumber num = ((Map<String, JsonObject>) e).get("properties").getJsonNumber("min_zoom");
|
---|
1385 | if (num == null) return null;
|
---|
1386 | return num.intValue();
|
---|
1387 | }
|
---|
1388 | }
|
---|
1389 |
|
---|
1390 | static Integer getMaxZoom(Object e) {
|
---|
1391 | if (e instanceof ImageryInfo) {
|
---|
1392 | int mz = ((ImageryInfo) e).getMaxZoom();
|
---|
1393 | return mz == 0 ? null : mz;
|
---|
1394 | } else {
|
---|
1395 | JsonNumber num = ((Map<String, JsonObject>) e).get("properties").getJsonNumber("max_zoom");
|
---|
1396 | if (num == null) return null;
|
---|
1397 | return num.intValue();
|
---|
1398 | }
|
---|
1399 | }
|
---|
1400 |
|
---|
1401 | static String getCountryCode(Object e) {
|
---|
1402 | if (e instanceof ImageryInfo) return "".equals(((ImageryInfo) e).getCountryCode()) ? null : ((ImageryInfo) e).getCountryCode();
|
---|
1403 | return ((Map<String, JsonObject>) e).get("properties").getString("country_code", null);
|
---|
1404 | }
|
---|
1405 |
|
---|
1406 | static String getQuality(Object e) {
|
---|
1407 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).isBestMarked() ? "eli-best" : null;
|
---|
1408 | return (((Map<String, JsonObject>) e).get("properties").containsKey("best")
|
---|
1409 | && ((Map<String, JsonObject>) e).get("properties").getBoolean("best")) ? "eli-best" : null;
|
---|
1410 | }
|
---|
1411 |
|
---|
1412 | static boolean getOverlay(Object e) {
|
---|
1413 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).isOverlay();
|
---|
1414 | return (((Map<String, JsonObject>) e).get("properties").containsKey("overlay")
|
---|
1415 | && ((Map<String, JsonObject>) e).get("properties").getBoolean("overlay"));
|
---|
1416 | }
|
---|
1417 |
|
---|
1418 | static String getIcon(Object e) {
|
---|
1419 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getIcon();
|
---|
1420 | return ((Map<String, JsonObject>) e).get("properties").getString("icon", null);
|
---|
1421 | }
|
---|
1422 |
|
---|
1423 | static String getAttributionText(Object e) {
|
---|
1424 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getAttributionText(0, null, null);
|
---|
1425 | try {
|
---|
1426 | return ((Map<String, JsonObject>) e).get("properties").getJsonObject("attribution").getString("text", null);
|
---|
1427 | } catch (NullPointerException ex) {
|
---|
1428 | return null;
|
---|
1429 | }
|
---|
1430 | }
|
---|
1431 |
|
---|
1432 | static String getAttributionUrl(Object e) {
|
---|
1433 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getAttributionLinkURL();
|
---|
1434 | try {
|
---|
1435 | return ((Map<String, JsonObject>) e).get("properties").getJsonObject("attribution").getString("url", null);
|
---|
1436 | } catch (NullPointerException ex) {
|
---|
1437 | return null;
|
---|
1438 | }
|
---|
1439 | }
|
---|
1440 |
|
---|
1441 | static String getTermsOfUseText(Object e) {
|
---|
1442 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getTermsOfUseText();
|
---|
1443 | return null;
|
---|
1444 | }
|
---|
1445 |
|
---|
1446 | static String getTermsOfUseUrl(Object e) {
|
---|
1447 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getTermsOfUseURL();
|
---|
1448 | return null;
|
---|
1449 | }
|
---|
1450 |
|
---|
1451 | static String getCategory(Object e) {
|
---|
1452 | if (e instanceof ImageryInfo) {
|
---|
1453 | return ((ImageryInfo) e).getImageryCategoryOriginalString();
|
---|
1454 | }
|
---|
1455 | return ((Map<String, JsonObject>) e).get("properties").getString("category", null);
|
---|
1456 | }
|
---|
1457 |
|
---|
1458 | static String getLogoImage(Object e) {
|
---|
1459 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getAttributionImageRaw();
|
---|
1460 | return null;
|
---|
1461 | }
|
---|
1462 |
|
---|
1463 | static String getLogoUrl(Object e) {
|
---|
1464 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getAttributionImageURL();
|
---|
1465 | return null;
|
---|
1466 | }
|
---|
1467 |
|
---|
1468 | static String getPermissionReferenceUrl(Object e) {
|
---|
1469 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getPermissionReferenceURL();
|
---|
1470 | return ((Map<String, JsonObject>) e).get("properties").getString("license_url", null);
|
---|
1471 | }
|
---|
1472 |
|
---|
1473 | static String getPrivacyPolicyUrl(Object e) {
|
---|
1474 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getPrivacyPolicyURL();
|
---|
1475 | return ((Map<String, JsonObject>) e).get("properties").getString("privacy_policy_url", null);
|
---|
1476 | }
|
---|
1477 |
|
---|
1478 | static Map<String, Set<String>> getNoTileHeader(Object e) {
|
---|
1479 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).getNoTileHeaders();
|
---|
1480 | JsonObject nth = ((Map<String, JsonObject>) e).get("properties").getJsonObject("no_tile_header");
|
---|
1481 | return nth == null ? null : nth.keySet().stream().collect(Collectors.toMap(
|
---|
1482 | Function.identity(),
|
---|
1483 | k -> nth.getJsonArray(k).stream().map(x -> ((JsonString) x).getString()).collect(Collectors.toSet())));
|
---|
1484 | }
|
---|
1485 |
|
---|
1486 | static Map<String, String> getDescriptions(Object e) {
|
---|
1487 | Map<String, String> res = new HashMap<>();
|
---|
1488 | if (e instanceof ImageryInfo) {
|
---|
1489 | String a = ((ImageryInfo) e).getDescription();
|
---|
1490 | if (a != null) res.put("en", a);
|
---|
1491 | } else {
|
---|
1492 | String a = ((Map<String, JsonObject>) e).get("properties").getString("description", null);
|
---|
1493 | if (a != null) res.put("en", a.replaceAll("''", "'"));
|
---|
1494 | }
|
---|
1495 | return res;
|
---|
1496 | }
|
---|
1497 |
|
---|
1498 | static boolean getValidGeoreference(Object e) {
|
---|
1499 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).isGeoreferenceValid();
|
---|
1500 | return false;
|
---|
1501 | }
|
---|
1502 |
|
---|
1503 | static boolean getDefault(Object e) {
|
---|
1504 | if (e instanceof ImageryInfo) return ((ImageryInfo) e).isDefaultEntry();
|
---|
1505 | return ((Map<String, JsonObject>) e).get("properties").getBoolean("default", false);
|
---|
1506 | }
|
---|
1507 |
|
---|
1508 | String getDescription(Object o) {
|
---|
1509 | String url = getUrl(o);
|
---|
1510 | String cc = getCountryCode(o);
|
---|
1511 | if (cc == null) {
|
---|
1512 | ImageryInfo j = josmUrls.get(url);
|
---|
1513 | if (j != null) cc = getCountryCode(j);
|
---|
1514 | if (cc == null) {
|
---|
1515 | JsonObject e = eliUrls.get(url);
|
---|
1516 | if (e != null) cc = getCountryCode(e);
|
---|
1517 | }
|
---|
1518 | }
|
---|
1519 | if (cc == null) {
|
---|
1520 | cc = "";
|
---|
1521 | } else {
|
---|
1522 | cc = "["+cc+"] ";
|
---|
1523 | }
|
---|
1524 | String name = getName(o);
|
---|
1525 | String id = getId(o);
|
---|
1526 | String d = cc;
|
---|
1527 | if (name != null && !name.isEmpty()) {
|
---|
1528 | d += name;
|
---|
1529 | if (id != null && !id.isEmpty())
|
---|
1530 | d += " ["+id+"]";
|
---|
1531 | } else if (url != null && !url.isEmpty())
|
---|
1532 | d += url;
|
---|
1533 | if (optionShorten) {
|
---|
1534 | if (d.length() > MAXLEN) d = d.substring(0, MAXLEN-1) + "...";
|
---|
1535 | }
|
---|
1536 | return d;
|
---|
1537 | }
|
---|
1538 | }
|
---|