()
| 353 | } |
| 354 | |
| 355 | function documentPullState() { |
| 356 | const documentRegistrations = [...diagnosticRegistrations.values()].filter( |
| 357 | (registration) => registration.registerOptions?.workspaceDiagnostics !== true, |
| 358 | ) |
| 359 | return { |
| 360 | documentIdentifiers: [ |
| 361 | ...new Set(documentRegistrations.flatMap((registration) => registration.registerOptions?.identifier ?? [])), |
| 362 | ], |
| 363 | supported: hasStaticPullDiagnostics || documentRegistrations.length > 0, |
| 364 | } |
| 365 | } |
| 366 | |
| 367 | function workspacePullState() { |
| 368 | const workspaceRegistrations = [...diagnosticRegistrations.values()].filter( |
no test coverage detected