(ifcId: string)
| 99 | } |
| 100 | |
| 101 | export async function unloadIfc(ifcId: string) { |
| 102 | const path = `/tmp/${encodeURIComponent(ifcId)}.ifc`; |
| 103 | |
| 104 | pyodide.FS.unlink(path); |
| 105 | LoadedIFC.delete(ifcId); |
| 106 | } |
| 107 | |
| 108 | export async function auditIfc(ifcId: string, idsData: number[] | Uint8Array | ArrayBuffer) { |
| 109 | const reporter = pyodide.pyimport("ifctester.reporter"); |