private boolean existsFile(File file) { return file != null && new java.io.File(directory, file.getUri()).exists(); }
if (!contains(filterUrls, dataSource.getBaseUrl() + aFile.getUri())) continue; FileType fileType = createFileType(aFile.getUri(), asChecksums(fileToFragments.keySet()), aFile.getBoundingBox()); List<FragmentType> fragmentTypes = createFragmentTypes(aFile.getFragments(), fileToFragments); if (fragmentTypes != null) fileType.getFragment().addAll(fragmentTypes);
BoundingBox fileBoundingBox = file.getBoundingBox(); if (fileBoundingBox == null) { log.warning(format("File %s doesn't have a bounding box. Ignoring it.", file)); if (closestDistanceOfCenters == null || distance < closestDistanceOfCenters || abs(distance - closestDistanceOfCenters) < 5.0 && centerFile.getBoundingBox().contains(fileBoundingBox)) { centerFile = file; closestDistanceOfCenters = distance;
private Set<String> collectURIs(DataSource source) { Set<String> result = new HashSet<>(); switch (type) { case File: for (File file : source.getFiles()) result.add(file.getUri()); break; case Map: for (Map map : source.getMaps()) result.add(map.getUri()); break; case Theme: for (Theme theme : source.getThemes()) result.add(theme.getUri()); break; } return result; }
private void updateFile(DatasourceType datasourceType, File file) throws IOException { String url = datasourceType.getBaseUrl() + file.getUri(); log.severe(format("Failed to download %s as a file", file.getUri())); return; FileType fileType = createFileType(file.getUri(), singletonList(checksum), null); datasourceType.getFile().add(fileType); if (file.getUri().endsWith(DOT_ZIP)) { String entryName = extractFileName(entry.getName()); if (!entry.isDirectory() && entryName.endsWith(DOT_HGT)) { log.info(format("Found elevation data %s in URI %s", entryName, file.getUri())); fragmentTypes.add(createFragmentType(entryName, entry, zipInputStream)); } else if (file.getUri().endsWith(DOT_PBF)) { log.severe(format("Failed to download %s partially as a pbf", file.getUri())); } else { log.warning(format("Ignoring %s as a file", file.getUri()));