Function severityLabel

vscode-extension/src/extension.ts:187–195

(s: vscode.DiagnosticSeverity)

// ─────────────────────────────────────────────────────────────────────────────

function severityLabel(s: vscode.DiagnosticSeverity): string {
  switch (s) {
    case vscode.DiagnosticSeverity.Error: return 'error';
    case vscode.DiagnosticSeverity.Warning: return 'warning';
    case vscode.DiagnosticSeverity.Information: return 'info';
    case vscode.DiagnosticSeverity.Hint: return 'hint';
    default: return 'issue';
  }
}

/** Collect language-server diagnostics for a file (optionally only those touching `range`). */
function collectDiagnostics(uri: vscode.Uri, range?: vscode.Range): { text: string; count: number } {