def get(self, z, x, y, format): assert (0 <= z <= 30) assert (x < pow(2, z)) assert (y < pow(2, z)) destination_dir = self.folder(format) url = addDimention(self.url, z) url = addDimention(url, x) url = addDimention(url, y) url = addFormat(url, format) url = applyToken(url, self.token) cl = Clicker() filename = wget.download(url, out=destination_dir) time = cl.get() os.remove(filename) return time
from mapbox import Mapbox from harvester import Harvester from tile import Tile from clicker import Clicker mapbox = Mapbox() print("png-z0: " + str(mapbox.get(0, 0, 0, "png"))) print("mvt-z0: " + str(mapbox.get(0, 0, 0, "mvt"))) print("png-z30: " + str(mapbox.get(30, 0, 0, "png"))) print("mvt-z30: " + str(mapbox.get(30, 0, 0, "mvt"))) harvester = Harvester(["png", "mvt"]) tile = Tile(7, 25, 53) cl = Clicker() while tile.level() != 31: print(str(tile)) results = harvester.fill(tile, 1000) print(tile.level(), end=": ") print(results) tile.zoomin() harvester.clean() print(cl.get())