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())
