(infos_dict, name, folder)
| 269 | return position["character"] + len("".join(doc.splitlines(True)[: position["line"]])) |
| 270 | |
| 271 | def save_infos_to_folder(infos_dict, name, folder): |
| 272 | if not os.path.exists(folder): |
| 273 | os.makedirs(folder) |
| 274 | with open(folder + "/" + name + ".json", "w") as f: |
| 275 | json.dump(infos_dict, f, indent=4) |
| 276 | |
| 277 | def get_file_paths_recursive(directory): |
| 278 | file_paths = [] |