(file: AcodeWorkspaceFile)
| 93 | } |
| 94 | |
| 95 | #removeFileEntry(file: AcodeWorkspaceFile): void { |
| 96 | this.#fileMap.delete(file.uri); |
| 97 | this.files = this.files.filter((candidate) => candidate !== file); |
| 98 | } |
| 99 | |
| 100 | #nextFileVersion(uri: string): number { |
| 101 | const current = this.#versions[uri] ?? -1; |