@nudojs/service 0.3.0 → 0.3.2

package/src/__tests__/bpath-import-default-ns.test.ts

@@ -1,106 +0,0 @@
-import { it, expect, describe, afterAll } from "vitest";
-import { analyzeFile, clearBPathCache } from "@nudojs/service";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-function setup() {
-  const dir = mkdtempSync(join(tmpdir(), "nudo-imp-"));
-  dirs.push(dir);
-  writeFileSync(join(dir, "package.json"), JSON.stringify({ name: "imp", version: "1.0.0" }));
-  writeFileSync(
-    join(dir, "util.js"),
-    `export function add(a, b) {
-  return a + b;
-}
-export default function mul(a, b) {
-  return a * b;
-}
-`,
-  );
-  return dir;
-}
-
-function goResult(dir: string, src: string) {
-  writeFileSync(join(dir, "index.js"), src);
-  const r = analyzeFile(join(dir, "index.js"), src);
-  const go = r.functions.find((f) => f.name === "go");
-  return { result: go?.cases[0]?.result, diagnostics: r.diagnostics };
-}
-
-describe("B-path import default / namespace", () => {
-  it("named import", () => {
-    clearBPathCache();
-    const dir = setup();
-    const { result } = goResult(
-      dir,
-      `import { add } from "./util.js";
-/**
- * @nudo:case "nums" (1, 2)
- */
-export function go(a, b) {
-  return add(a, b);
-}
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 3 });
-  });
-
-  it("default import of export default function", () => {
-    clearBPathCache();
-    const dir = setup();
-    const { result, diagnostics } = goResult(
-      dir,
-      `import mul from "./util.js";
-/**
- * @nudo:case "nums" (3, 4)
- */
-export function go(a, b) {
-  return mul(a, b);
-}
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 12 });
-    expect(diagnostics.filter((d) => d.severity === "error")).toHaveLength(0);
-  });
-
-  it("namespace import member call", () => {
-    clearBPathCache();
-    const dir = setup();
-    const { result, diagnostics } = goResult(
-      dir,
-      `import * as util from "./util.js";
-/**
- * @nudo:case "nums" (5, 6)
- */
-export function go(a, b) {
-  return util.add(a, b);
-}
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 11 });
-    expect(diagnostics.filter((d) => d.severity === "error")).toHaveLength(0);
-  });
-
-  it("namespace import default slot", () => {
-    clearBPathCache();
-    const dir = setup();
-    const { result } = goResult(
-      dir,
-      `import * as util from "./util.js";
-/**
- * @nudo:case "nums" (2, 5)
- */
-export function go(a, b) {
-  return util.default(a, b);
-}
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 10 });
-  });
-});

package/src/__tests__/bpath-method-dedupe.test.ts

@@ -1,65 +0,0 @@
-import { it, expect, describe } from "vitest";
-import { analyzeFile } from "@nudojs/service";
-import { mkdtempSync, writeFileSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-
-function analyze(src: string) {
-  const dir = mkdtempSync(join(tmpdir(), "nudo-bdedup-"));
-  writeFileSync(join(dir, "package.json"), JSON.stringify({ name: "bdedup", version: "1.0.0" }));
-  writeFileSync(join(dir, "index.js"), src);
-  return analyzeFile(join(dir, "index.js"), src);
-}
-
-describe("B method-missing provenance + dedupe", () => {
-  it("no-method is not double-reported when B and TypeValue both see the call", () => {
-    // B case 执行 + evaluateProgram 顶层 const 调用都会碰到 toUpperCase 缺失；
-    // 按名去重后只应剩一条。
-    const src = `
-/**
- * @nudo:case "n" (42)
- */
-function demo(n) {
-  return n.toUpperCase();
-}
-
-const boom = demo(42);
-`;
-    const r = analyze(src);
-    const methodDiags = r.diagnostics.filter(
-      (d) => d.code === "nudo:no-method" && d.message.includes("toUpperCase"),
-    );
-    expect(methodDiags.length).toBe(1);
-  });
-
-  it("TypeValue-only method diags are kept when B does not report the name", () => {
-    const src = `
-function badNum(n) {
-  return n.toUpperCase();
-}
-const boom = badNum(42);
-`;
-    const r = analyze(src);
-    const diags = r.diagnostics.filter((d) => d.code === "nudo:no-method");
-    expect(diags.length).toBeGreaterThanOrEqual(1);
-    expect(diags.some((d) => d.message.includes("toUpperCase"))).toBe(true);
-  });
-
-  it("same name:line is reported at most once", () => {
-    const src = `
-/**
- * @nudo:case "null" (null)
- * @nudo:case "num" (1)
- */
-function demo(o) {
-  return o.foo;
-}
-`;
-    const r = analyze(src);
-    const fooDiags = r.diagnostics.filter(
-      (d) => d.code === "nudo:no-method" && d.message.includes("'foo'"),
-    );
-    const keys = fooDiags.map((d) => `${d.range.start.line}:${d.message}`);
-    expect(new Set(keys).size).toBe(keys.length);
-  });
-});

package/src/__tests__/bpath-method-diag.test.ts

@@ -1,45 +0,0 @@
-import { describe, it, expect, afterAll } from "vitest";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-import { analyzeFile, clearBPathCache, tryBPathCallFull } from "@nudojs/service";
-import { $lit } from "@nudojs/core";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-describe("B-path method-missing diagnostics", () => {
-  it("records no-method on number receiver via B execution", () => {
-    clearBPathCache();
-    const dir = mkdtempSync(join(tmpdir(), "nudo-md-"));
-    dirs.push(dir);
-    const src = `
-export function badNum(n) {
-  return n.toUpperCase();
-}
-`;
-    const p = join(dir, "m.js");
-    writeFileSync(p, src, "utf-8");
-    const full = tryBPathCallFull(src, p, "badNum", [$lit(42)]);
-    expect(full).toBeDefined();
-    expect(full!.memberDiags?.length).toBeGreaterThanOrEqual(1);
-    expect(full!.memberDiags![0]!.name).toBe("toUpperCase");
-    expect(full!.memberDiags![0]!.receiver).toBe("number");
-  });
-
-  it("analyzeFile still reports no-method for top-level call", () => {
-    clearBPathCache();
-    const source = `
-function badNum(n) {
-  return n.toUpperCase();
-}
-const boom = badNum(42);
-`;
-    const result = analyzeFile("/test/badnum2.js", source);
-    const diags = result.diagnostics.filter((d) => d.code === "nudo:no-method");
-    expect(diags.length).toBeGreaterThanOrEqual(1);
-    expect(diags[0]!.message).toContain("toUpperCase");
-  });
-});

package/src/__tests__/bpath-module-diags.test.ts

@@ -1,101 +0,0 @@
-import { it, expect, describe, afterAll } from "vitest";
-import { analyzeFile, clearBPathCache, evalAbsModuleGraph } from "@nudojs/service";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-function setup(files: Record<string, string>) {
-  const dir = mkdtempSync(join(tmpdir(), "nudo-bdiag-"));
-  dirs.push(dir);
-  writeFileSync(join(dir, "package.json"), JSON.stringify({ name: "bdiag", version: "1.0.0" }));
-  for (const [name, src] of Object.entries(files)) {
-    writeFileSync(join(dir, name), src);
-  }
-  return dir;
-}
-
-function analyze(dir: string, src: string, file = "index.js") {
-  writeFileSync(join(dir, file), src);
-  clearBPathCache();
-  return analyzeFile(join(dir, file), src);
-}
-
-describe("B module-load diagnostics (host, no TypeValue double)", () => {
-  it("reports circular import once via B module graph", () => {
-    const dir = setup({
-      "a.js": `import { b } from "./b.js";
-export function a(n) { return n <= 0 ? 0 : b(n - 1); }
-`,
-      "b.js": `import { a } from "./a.js";
-export function b(n) { return n <= 0 ? 1 : a(n - 1); }
-`,
-    });
-    const src = `import { a } from "./a.js";
-/**
- * @nudo:case "n" (2)
- */
-export function go(n) { return a(n); }
-`;
-    const r = analyze(dir, src);
-    const cycles = r.diagnostics.filter((d) => d.code === "nudo:module-cycle");
-    expect(cycles.length).toBe(1);
-    expect(cycles[0]!.message).toContain("Circular module load");
-    expect(cycles[0]!.message).toContain("->");
-  });
-
-  it("reports missing relative import once via B module graph", () => {
-    const dir = setup({});
-    const src = `import { x } from "./nope.js";
-/**
- * @nudo:case
- */
-export function go() { return x; }
-`;
-    const r = analyze(dir, src);
-    const missing = r.diagnostics.filter((d) => d.code === "nudo:module-missing");
-    expect(missing.length).toBe(1);
-    expect(missing[0]!.message).toContain("nope.js");
-  });
-
-  it("B module graph issues come from evalAbsModuleGraph", () => {
-    const dir = setup({
-      "a.js": `import { b } from "./b.js";
-export function a() { return b(); }
-`,
-      "b.js": `import { a } from "./a.js";
-export function b() { return a(); }
-`,
-    });
-    const src = `import { a } from "./a.js";
-export function go() { return a(); }
-`;
-    writeFileSync(join(dir, "index.js"), src);
-    clearBPathCache();
-    const g = evalAbsModuleGraph(src, join(dir, "index.js"));
-    expect(g.issues.some((i) => i.kind === "cycle")).toBe(true);
-  });
-
-  it("recursion-truncated is not double-reported when Abs budget fires", () => {
-    const dir = setup({});
-    // 抽象参数触发调用预算截断；B Abs 路径与 TypeValue 都可能记 recursion:*
-    const src = `
-/**
- * @nudo:case "n" (T.number)
- */
-export function deep(n) {
-  if (n <= 0) return 0;
-  return 1 + deep(n - 1);
-}
-const boom = deep(3);
-`;
-    const r = analyze(dir, src);
-    const rec = r.diagnostics.filter((d) => d.code === "nudo:recursion-truncated");
-    // 至多一条（B 截断则压 TypeValue；否则 TypeValue 自报）
-    expect(rec.length).toBeLessThanOrEqual(1);
-  });
-});

package/src/__tests__/bpath-path-env.test.ts

@@ -1,46 +0,0 @@
-import { describe, it, expect, afterAll } from "vitest";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-import { analyzeFileAsync, clearBPathCache } from "@nudojs/service";
-import { typeValueToString } from "@nudojs/core";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-describe("B-path path-based @nudo:env", () => {
-  it("loads ./custom.env.ts globals", async () => {
-    clearBPathCache();
-    const dir = mkdtempSync(join(tmpdir(), "nudo-path-env-"));
-    dirs.push(dir);
-    writeFileSync(
-      join(dir, "custom.env.ts"),
-      `import { T } from "@nudojs/core";
-export function defineEnv() {
-  return {
-    globals: {
-      MAGIC: T.literal(99),
-    },
-  };
-}
-`,
-    );
-    const main = `/// @nudo:env ./custom.env.ts
-
-/**
- * @nudo:case "t" ()
- */
-function getMagic() {
-  return MAGIC;
-}
-`;
-    const p = join(dir, "main.js");
-    writeFileSync(p, main, "utf-8");
-    const result = await analyzeFileAsync(p, main);
-    const fn = result.functions.find((f) => f.name === "getMagic");
-    expect(fn).toBeDefined();
-    expect(typeValueToString(fn!.cases[0].result)).toBe("99");
-  });
-});

package/src/__tests__/bpath-reexport.test.ts

@@ -1,131 +0,0 @@
-import { it, expect, describe, afterAll } from "vitest";
-import { analyzeFile, clearBPathCache } from "@nudojs/service";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-function setup(files: Record<string, string>) {
-  const dir = mkdtempSync(join(tmpdir(), "nudo-mod-"));
-  dirs.push(dir);
-  writeFileSync(join(dir, "package.json"), JSON.stringify({ name: "mod", version: "1.0.0" }));
-  for (const [name, src] of Object.entries(files)) {
-    writeFileSync(join(dir, name), src);
-  }
-  return dir;
-}
-
-function goResult(dir: string, src: string) {
-  writeFileSync(join(dir, "index.js"), src);
-  clearBPathCache();
-  const r = analyzeFile(join(dir, "index.js"), src);
-  const f = r.functions.find((x) => x.name === "go");
-  return { result: f?.cases[0]?.result, diags: r.diagnostics };
-}
-
-describe("B-path re-export / export *", () => {
-  it("export { add } from './core.js'", () => {
-    const dir = setup({
-      "core.js": `export function add(a, b) { return a + b; }
-`,
-      "barrel.js": `export { add } from "./core.js";
-`,
-    });
-    const { result } = goResult(
-      dir,
-      `import { add } from "./barrel.js";
-/**
- * @nudo:case "n" (2, 3)
- */
-export function go(a, b) { return add(a, b); }
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 5 });
-  });
-
-  it("export { add as default } from './core.js'", () => {
-    const dir = setup({
-      "core.js": `export function add(a, b) { return a + b; }
-`,
-      "barrel.js": `export { add as default } from "./core.js";
-`,
-    });
-    const { result } = goResult(
-      dir,
-      `import add from "./barrel.js";
-/**
- * @nudo:case "n" (4, 6)
- */
-export function go(a, b) { return add(a, b); }
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 10 });
-  });
-
-  it("export * from './core.js'", () => {
-    const dir = setup({
-      "core.js": `export function add(a, b) { return a + b; }
-export function mul(a, b) { return a * b; }
-`,
-      "barrel.js": `export * from "./core.js";
-`,
-    });
-    const { result } = goResult(
-      dir,
-      `import { mul } from "./barrel.js";
-/**
- * @nudo:case "n" (3, 5)
- */
-export function go(a, b) { return mul(a, b); }
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 15 });
-  });
-
-  it("class default export", () => {
-    const dir = setup({
-      "box.js": `export default class Box {
-  constructor(v) { this.v = v; }
-  get() { return this.v; }
-}
-`,
-    });
-    const { result } = goResult(
-      dir,
-      `import Box from "./box.js";
-/**
- * @nudo:case "v" (7)
- */
-export function go(v) {
-  const b = new Box(v);
-  return b.get();
-}
-`,
-    );
-    expect(result).toMatchObject({ kind: "literal", value: 7 });
-  });
-
-  it("async default export", () => {
-    const dir = setup({
-      "afn.js": `export default async function load(x) { return x + 1; }
-`,
-    });
-    const { result } = goResult(
-      dir,
-      `import load from "./afn.js";
-/**
- * @nudo:case "x" (9)
- */
-export async function go(x) { return await load(x); }
-`,
-    );
-    expect(result).toMatchObject({
-      kind: "promise",
-      value: { kind: "literal", value: 10 },
-    });
-  });
-});

package/src/__tests__/bpath-replace.test.ts

@@ -1,52 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { analyzeFile } from "@nudojs/service";
-import { typeValueToString } from "@nudojs/core";
-
-describe("@nudo:replace on B path", () => {
-  it("replaces only matching sub-expression", () => {
-    const source = `
-/**
- * @nudo:case "test" (5, 10)
- */
-function compute(a, b) {
-  // @nudo:replace a T.literal(100)
-  const result = a + b;
-  return result;
-}
-`;
-    const result = analyzeFile("/test/replace.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("110");
-  });
-
-  it("does not match partial identifiers", () => {
-    const source = `
-/**
- * @nudo:case "test" ()
- */
-function test() {
-  const aa = 1;
-  const a = 2;
-  // @nudo:replace a T.literal(99)
-  const result = aa + a;
-  return result;
-}
-`;
-    const result = analyzeFile("/test/replace2.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("100");
-  });
-
-  it("replaces call expression target", () => {
-    const source = `
-/**
- * @nudo:case "test" ("{\"id\":1}")
- */
-function process(input) {
-  // @nudo:replace JSON.parse(input) T.object({ id: T.number })
-  const data = JSON.parse(input);
-  return data.id;
-}
-`;
-    const result = analyzeFile("/test/replace3.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("number");
-  });
-});

package/src/__tests__/bpath-require.test.ts

@@ -1,66 +0,0 @@
-import { describe, it, expect, afterAll } from "vitest";
-import { mkdtempSync, writeFileSync, rmSync } from "node:fs";
-import { tmpdir } from "node:os";
-import { join } from "node:path";
-import {
-  analyzeFile,
-  tryBPathCall,
-  isBPathCapable,
-  clearBPathCache,
-} from "@nudojs/service";
-import { typeValueToString, $lit, litValue } from "@nudojs/core";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-describe("B-path require", () => {
-  it("relative require injects Abs exports", () => {
-    clearBPathCache();
-    const dir = mkdtempSync(join(tmpdir(), "nudo-req-"));
-    dirs.push(dir);
-    writeFileSync(
-      join(dir, "math.js"),
-      `function double(x) { return x * 2; }\nexport { double };\n`,
-    );
-    const main = `
-const math = require("./math.js");
-/**
- * @nudo:case "t" (21)
- */
-export function go(n) {
-  return math.double(n);
-}
-`;
-    const p = join(dir, "main.js");
-    writeFileSync(p, main, "utf-8");
-    expect(isBPathCapable(main)).toBe(true);
-    const r = tryBPathCall(main, p, "go", [$lit(21)]);
-    expect(r).toBeDefined();
-    expect(litValue(r!)).toBe(42);
-  });
-
-  it("analyzeFile case works with require", () => {
-    clearBPathCache();
-    const dir = mkdtempSync(join(tmpdir(), "nudo-req2-"));
-    dirs.push(dir);
-    writeFileSync(join(dir, "util.js"), `export function inc(x) { return x + 1; }\n`);
-    const main = `
-const util = require("./util.js");
-/**
- * @nudo:case "t" (1)
- */
-function go(n) {
-  return util.inc(n);
-}
-`;
-    const p = join(dir, "main.js");
-    writeFileSync(p, main, "utf-8");
-    const result = analyzeFile(p, main);
-    const go = result.functions.find((f) => f.name === "go");
-    expect(go).toBeDefined();
-    const c = go!.cases.find((x) => x.name === "t");
-    expect(typeValueToString(c!.result)).toBe("2");
-  });
-});