(filePath: string)
| 143 | const registrationListeners = new Set<() => void>() |
| 144 | const diagnosticListeners = new Set<(input: { path: string; serverID: string }) => void>() |
| 145 | const mergedDiagnostics = (filePath: string) => |
| 146 | dedupeDiagnostics([...(pushDiagnostics.get(filePath) ?? []), ...(pullDiagnostics.get(filePath) ?? [])]) |
| 147 | const updatePushDiagnostics = (filePath: string, next: Diagnostic[]) => { |
| 148 | pushDiagnostics.set(filePath, next) |
| 149 | for (const listener of diagnosticListeners) listener({ path: filePath, serverID: input.serverID }) |
no test coverage detected