@nudojs/service 3.0.0 → 5.0.0-beta.0

package/dist/case.d.ts

@@ -0,0 +1,124 @@
+import { S as SourceLocation, a as AnalysisResult } from './analyzer-types-JyJiCt8w.js';
+import { Abs } from '@nudojs/core';
+import '@babel/types';
+
+/**
+ * Case facts JSON（`nudo test --json` 序列化）。
+ *
+ * - args / result / throws / combined：formatShape 外延投影（有损）
+ *   入口无约束参数展示为 any；unknown 仅表示推导失败
+ * - intension.abs*：无损 Abs 展示（主线）
+ * - argsAbs / resultAbs：CaseResult 上的无损 Abs（formatAbs）；有则补齐
+ */
+
+type CaseJsonCase = {
+    name: string;
+    /** formatShape 外延投影（有损） */
+    args: string[];
+    result: string;
+    throws: string | null;
+    source: string | null;
+    aggregatedFrom?: number;
+    /** 无损参数 Abs 展示（与 args 对齐；缺失位省略） */
+    argsAbs?: string[];
+    /** 无损结果 Abs 展示 */
+    resultAbs?: string;
+    /** 无损内涵（Abs）；无则省略 */
+    intension?: {
+        display?: string;
+        abs?: string;
+        absMultiline?: string;
+        term?: string;
+        pred?: string;
+        conf?: string;
+    };
+};
+type CaseJsonFunction = {
+    name: string;
+    loc: SourceLocation;
+    entryOnly: boolean;
+    noDeclaration?: boolean;
+    cases: CaseJsonCase[];
+    combined?: string;
+    /** 无损 combined Abs 展示 */
+    combinedAbs?: string;
+};
+type CaseJson = {
+    version: 1;
+    file: string;
+    summary: {
+        functions: number;
+        externalFunctions: number;
+        cases: number;
+        diagnostics: number;
+    };
+    functions: CaseJsonFunction[];
+    externalFunctions?: Array<{
+        name: string;
+        fromModule?: string;
+        cases: CaseJsonCase[];
+    }>;
+    diagnostics: Array<{
+        range: SourceLocation;
+        severity: string;
+        message: string;
+        code?: string;
+        suggestions?: string[];
+        tags?: string[];
+        origin?: {
+            line: number;
+            column: number;
+        };
+    }>;
+};
+declare function serializeCaseJson(result: AnalysisResult, file: string): CaseJson;
+
+/** 单个 Abs → parseCaseArgExpr 可解析回去的表达式文本；不可表达返回 null */
+declare function serializeCaseArg(a: Abs): string | null;
+/**
+ * 组装单行 ` * @nudo:case "name" (a, b)` 指令文本（无尾换行）。
+ * 任一实参不可序列化、或名字含双引号/换行（名字正则 `"([^"]+)"` 承载不了）→ 整体 null。
+ */
+declare function buildCaseDirective(name: string, argsAbs: Abs[]): string | null;
+/**
+ * 从源码剥离所有本模块生成的 @nudo:case 指令（名字以 call@ 开头，整行删除）。
+ * 若所属 JSDoc 块因此只剩空 ` *` 行（无其他 @nudo:* 指令、无文字内容），
+ * 连块首 `/**` 行与块尾行整块删除。绝不碰非 case 指令与普通注释。
+ * 注意：手写但以 call@ 命名的 case 同样会被删——call@ 前缀保留为生成物标记。
+ * removed 返回被删指令名列表（按出现顺序）。
+ */
+declare function stripGeneratedCaseDirectives(source: string): {
+    source: string;
+    removed: string[];
+};
+type EmitSkipReason = "hand-written" | "already-generated" | "entry-only" | "no-serializable-cases" | "no-declaration" | "skipped";
+type EmitResult = {
+    source: string;
+    changed: boolean;
+    written: Array<{
+        fn: string;
+        cases: string[];
+    }>;
+    skipped: Array<{
+        fn: string;
+        reason: EmitSkipReason;
+        detail?: string;
+    }>;
+};
+/**
+ * 把 analysis 中的合成 case（source === "callsite"）固化为源码指令：
+ *
+ * 1. 源码已有任何非 call@ 命名的 case → skip "hand-written"；
+ *    已有 call@ case → skip "already-generated"。
+ * 2. fn.skipped / fn.noDeclaration / fn.entryOnly → 对应 skip。
+ * 3. 逐 case 序列化；个别不可序列化的丢弃并在 skipped 记
+ *    no-serializable-cases（函数整体仍写可序列化子集，全不可序列化才整函数跳过）。
+ * 4. 写入位置：函数声明行正上方——已有 JSDoc 块则插到 `/**` 行后，
+ *    无块则新建三行块。缩进取声明行的 loc.start.column（babel 0 基列）。
+ *    多函数编辑按行号从下往上应用，避免行号漂移。
+ */
+declare function insertGeneratedCaseDirectives(source: string, analysis: AnalysisResult): EmitResult;
+/** 行级 unified diff：`--- a/path` 头 + `@@` hunk + 上下文 3 行；相同返回 "" */
+declare function unifiedDiff(a: string, b: string, path: string): string;
+
+export { type CaseJson, type CaseJsonCase, type CaseJsonFunction, type EmitResult, type EmitSkipReason, buildCaseDirective, insertGeneratedCaseDirectives, serializeCaseArg, serializeCaseJson, stripGeneratedCaseDirectives, unifiedDiff };

package/dist/case.js

@@ -0,0 +1,18 @@
+import {
+  serializeCaseJson
+} from "./chunk-QYRH7Z2Q.js";
+import {
+  buildCaseDirective,
+  insertGeneratedCaseDirectives,
+  serializeCaseArg,
+  stripGeneratedCaseDirectives,
+  unifiedDiff
+} from "./chunk-YLVZMHWC.js";
+export {
+  buildCaseDirective,
+  insertGeneratedCaseDirectives,
+  serializeCaseArg,
+  serializeCaseJson,
+  stripGeneratedCaseDirectives,
+  unifiedDiff
+};