(workspaceId: string)
| 378 | } |
| 379 | |
| 380 | private getOrCreateWorkspaceData(workspaceId: string): WorkspaceData { |
| 381 | let data = this.workspaces.get(workspaceId); |
| 382 | if (data) { |
| 383 | return data; |
| 384 | } |
| 385 | |
| 386 | data = { |
| 387 | runs: new Map<string, DevToolsRun>(), |
| 388 | steps: new Map<string, DevToolsStep>(), |
| 389 | loaded: false, |
| 390 | clearGeneration: 0, |
| 391 | }; |
| 392 | this.workspaces.set(workspaceId, data); |
| 393 | return data; |
| 394 | } |
| 395 | |
| 396 | private async ensureLoaded(workspaceId: string): Promise<void> { |
| 397 | const data = this.getOrCreateWorkspaceData(workspaceId); |
no test coverage detected