Function main

mypy/exportjson.py:581–608

()

def main() -> None:
    parser = argparse.ArgumentParser(
        description="Convert binary cache files to JSON. "
        "Create files in the same directory with extra .json extension."
    )
    parser.add_argument(
        "path", nargs="+", help="mypy cache data file to convert (.data.ff extension)"
    )
    args = parser.parse_args()
    fnams: list[str] = args.path
    for fnam in fnams:
        if fnam.endswith(".data.ff"):
            is_data = True
        elif fnam.endswith(".meta.ff"):
            is_data = False
        else:
            sys.exit(f"error: Expected .data.ff or .meta.ff extension, but got {fnam}")
        with open(fnam, "rb") as f:
            data = f.read()
        if is_data:
            json_data = convert_binary_cache_to_json(data)
        else:
            data_file = fnam.removesuffix(".meta.ff") + ".data.ff"
            json_data = convert_binary_cache_meta_to_json(data, data_file)
        new_fnam = fnam + ".json"
        with open(new_fnam, "w") as f:
            json.dump(json_data, f)
        print(f"{fnam} -> {new_fnam}")


if __name__ == "__main__":