import { Diagnostic } from "vscode-languageserver-protocol";
import type { LintEdit, LintFinding } from "../linter/types.js";
import { TextDocument } from "vscode-languageserver-textdocument";
import { AgencyConfig } from "../config.js";
import { SymbolTable } from "../symbolTable.js";
import { AgencyProgram } from "../types.js";
import { CompilationUnit } from "../compilationUnit.js";
import { type SemanticIndex } from "./semantics.js";
import type { ScopeInfo } from "../typeChecker/types.js";
type DiagnosticsResult = {
    diagnostics: Diagnostic[];
    program: AgencyProgram | null;
    info: CompilationUnit | null;
    semanticIndex: SemanticIndex;
    scopes: ScopeInfo[];
    /** Lint results for the code-action path to reuse (see DocumentState). */
    lintFindings: LintFinding[];
    lintBatchEdits: LintEdit[];
};
export declare function runDiagnostics(doc: TextDocument, fsPath: string, config: AgencyConfig, symbolTable: SymbolTable): DiagnosticsResult;
export {};