import type { FactRule } from "../fact-provider-types.js";
import type { Diagnostic } from "../types.js";
import type { TryCatchSummary } from "../facts/try-catch-facts.js";

export const errorSwallowingRule: FactRule = {
  id: "error-swallowing",
  requires: ["file.tryCatchSummaries"],
  appliesTo(ctx) {
    return /\.tsx?$/.test(ctx.filePath);
  },
  evaluate(ctx, store) {
    const summaries = store.getFileFact<TryCatchSummary[]>(
      ctx.filePath,
      "file.tryCatchSummaries",
    );
    if (!summaries) return [];

    const diagnostics: Diagnostic[] = [];
    for (const s of summaries) {
      if (s.isEmpty && !s.isDocumentedLocalFallback && s.boundaryCategory !== "fs") {
        diagnostics.push({
          id: `error-swallowing:${ctx.filePath}:${s.line}:${s.column}`,
          tool: "error-swallowing",
          filePath: ctx.filePath,
          line: s.line,
          column: s.column,
          severity: "error",
          semantic: "blocking",
          message: `Empty catch block silently swallows errors`,
        });
      }
    }
    return diagnostics;
  },
};