plotter.py 文件源码

def draw_map():
    # colour all polygons for which we have data in evaluated.json
    for shape, info in zip(basemap.berlin, basemap.berlin_info):
        if info['ORT'] in json_data:
            c_ort = json_data[info['ORT']]
            colour = get_colour(c_ort[ARGV])
        else:
            colour = '#dddddd'
        patches = [Polygon(numpy.array(shape), True)]
        pc = PatchCollection(patches)
        pc.set_facecolor(colour)
        ax.add_collection(pc)
    # draw map
    plt.show()