Function collectDiagnostics

vscode-extension/src/extension.ts:198–219

Collect language-server diagnostics for a file (optionally only those touching `range`).

(uri: vscode.Uri, range?: vscode.Range)

/** Collect language-server diagnostics for a file (optionally only those touching `range`). */
function collectDiagnostics(uri: vscode.Uri, range?: vscode.Range): { text: string; count: number } {
  const all = vscode.languages.getDiagnostics(uri);
  // Default to errors + warnings (skip hint/info noise). If a specific range is
  // given (e.g. the lightbulb on one squiggle), include whatever sits in it.
  let diags = all.filter(d =>
    d.severity === vscode.DiagnosticSeverity.Error ||
    d.severity === vscode.DiagnosticSeverity.Warning);
  if (range) {
    const inRange = all.filter(d => d.range.intersection(range) !== undefined);
    diags = inRange.length > 0 ? inRange : diags;
  }
  if (diags.length === 0) return { text: '', count: 0 };
  const lines = diags.slice(0, 50).map(d => {
    const L = d.range.start.line + 1;
    const C = d.range.start.character + 1;
    const code = typeof d.code === 'object' && d.code ? (d.code as any).value : d.code;
    const src = d.source ? ` (${d.source}${code != null ? ' ' + code : ''})` : '';
    return `- L${L}:${C} [${severityLabel(d.severity)}] ${d.message}${src}`;
  });
  const more = diags.length > 50 ? `\n…and ${diags.length - 50} more` : '';
  return { text: lines.join('\n') + more, count: diags.length };
}

/** Save the document (if open + dirty) so the agent reads current contents from disk. */
async function saveIfOpen(uri: vscode.Uri): Promise<void> {