tools-label-table.py

import json

def get_data(filename):
    return json.loads(open(filename, "r").read())

def create_table():
    data = get_data("encodings.json")
    table = ""
    for set in data:
        table += " <tbody>\n  <tr><th colspan=2><a href=#" + set["heading"].lower().replace(" ", "-") + ">" + set["heading"] + "</a>\n"
        for encoding in set["encodings"]:
            rowspan = ""
            label_len = len(encoding["labels"])
            if label_len > 1:
                rowspan = " rowspan=" + str(label_len)

            if encoding["name"] != "windows-1252":
                table += "  <tr>\n   <td" + rowspan + "><a>" + encoding["name"] + "</a>"
            else:
                table += f"""  <tr>
   <td{rowspan}>
    <a>{encoding["name"]}</a>
    <p class=note>See <a href="#note-latin1-ascii">below</a> for the relationship to historical
    "Latin1" and "ASCII" concepts."""
            i = 0
            for label in encoding["labels"]:
                if i > 0:
                    table += "  <tr>"
                else:
                    table += "\n   "
                table += "<td>\"<code>" + label + "</code>\"\n"
                i += 1
    print(table)

create_table()