@nudojs/service 0.3.0 → 0.3.1

package/src/__tests__/fn-sig-impl.test.ts

@@ -1,247 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { typeValueToString } from "@nudojs/core";
-import { analyzeFile } from "../analyzer.ts";
-
-describe("fnSig impl: concrete args produce precise values", () => {
-  it("Math.floor with literal returns exact result", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "concrete" (3.7)
- * @nudo:case "symbolic" (T.number)
- */
-function floorIt(x) {
-  return Math.floor(x);
-}
-`;
-    const result = analyzeFile("/test/math.js", source);
-    const fn = result.functions[0];
-    expect(fn.cases[0].name).toBe("concrete");
-    expect(typeValueToString(fn.cases[0].result)).toBe("3");
-    expect(fn.cases[1].name).toBe("symbolic");
-    expect(typeValueToString(fn.cases[1].result)).toBe("number");
-  });
-
-  it("Math.max with literals returns exact result", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "test" (3, 7)
- */
-function maxOf(a, b) {
-  return Math.max(a, b);
-}
-`;
-    const result = analyzeFile("/test/math.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("7");
-  });
-
-  it("JSON.stringify with literal returns exact string", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "test" (42)
- */
-function toJson(x) {
-  return JSON.stringify(x);
-}
-`;
-    const result = analyzeFile("/test/json.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('"42"');
-  });
-
-  it("encodeURIComponent with literal returns exact string", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "test" ("hello world")
- */
-function encode(s) {
-  return encodeURIComponent(s);
-}
-`;
-    const result = analyzeFile("/test/encode.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('"hello%20world"');
-  });
-
-  it("Number.isInteger with literal returns exact boolean", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "int" (5)
- * @nudo:case "float" (5.5)
- */
-function checkInt(x) {
-  return Number.isInteger(x);
-}
-`;
-    const result = analyzeFile("/test/num.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("true");
-    expect(typeValueToString(result.functions[0].cases[1].result)).toBe("false");
-  });
-
-  it("parseInt with literal returns exact number", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "test" ("42")
- */
-function parseIt(s) {
-  return parseInt(s);
-}
-`;
-    const result = analyzeFile("/test/parse.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("42");
-  });
-
-  it("Promise.resolve preserves argument type", () => {
-    const source = `
-/// @nudo:env es
-
-/**
- * @nudo:case "test" (42)
- */
-async function wrap(x) {
-  return await Promise.resolve(x);
-}
-`;
-    const result = analyzeFile("/test/promise.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("Promise<42>");
-  });
-});
-
-describe("fnSig impl: URL constructor with concrete args", () => {
-  it("URL with literal string returns precise properties", () => {
-    const source = `
-/// @nudo:env web
-
-/**
- * @nudo:case "test" ("https://example.com/path?q=hello#hash")
- */
-function parseUrl(raw) {
-  const url = new URL(raw);
-  return {
-    host: url.hostname,
-    path: url.pathname,
-    query: url.search,
-    hash: url.hash,
-  };
-}
-`;
-    const result = analyzeFile("/test/url.js", source);
-    const res = typeValueToString(result.functions[0].cases[0].result);
-    expect(res).toContain('"example.com"');
-    expect(res).toContain('"/path"');
-    expect(res).toContain('"?q=hello"');
-    expect(res).toContain('"#hash"');
-  });
-
-  it("URL with symbolic string falls back to generic type", () => {
-    const source = `
-/// @nudo:env web
-
-/**
- * @nudo:case "test" (T.string)
- */
-function parseUrl(raw) {
-  const url = new URL(raw);
-  return url.hostname;
-}
-`;
-    const result = analyzeFile("/test/url.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("string");
-  });
-});
-
-describe("fnSig impl: Node.js path with concrete args", () => {
-  it("path.join with literals returns exact path", () => {
-    const source = `
-/// @nudo:env node
-
-import { join } from "node:path";
-
-/**
- * @nudo:case "test" ("src", "utils", "index.js")
- */
-function buildPath(a, b, c) {
-  return join(a, b, c);
-}
-`;
-    const result = analyzeFile("/test/path.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('"src/utils/index.js"');
-  });
-
-  it("path.extname with literal returns exact extension", () => {
-    const source = `
-/// @nudo:env node
-
-import { extname } from "node:path";
-
-/**
- * @nudo:case "test" ("file.ts")
- */
-function getExt(f) {
-  return extname(f);
-}
-`;
-    const result = analyzeFile("/test/path.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('".ts"');
-  });
-
-  it("path.basename with literal returns exact name", () => {
-    const source = `
-/// @nudo:env node
-
-import { basename } from "node:path";
-
-/**
- * @nudo:case "test" ("/home/user/file.txt")
- */
-function getName(p) {
-  return basename(p);
-}
-`;
-    const result = analyzeFile("/test/path.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('"file.txt"');
-  });
-
-  it("path.dirname with literal returns exact dir", () => {
-    const source = `
-/// @nudo:env node
-
-import { dirname } from "node:path";
-
-/**
- * @nudo:case "test" ("/home/user/file.txt")
- */
-function getDir(p) {
-  return dirname(p);
-}
-`;
-    const result = analyzeFile("/test/path.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe('"/home/user"');
-  });
-
-  it("path.join with symbolic args falls back to string", () => {
-    const source = `
-/// @nudo:env node
-
-import { join } from "node:path";
-
-/**
- * @nudo:case "test" (T.string, T.string)
- */
-function buildPath(a, b) {
-  return join(a, b);
-}
-`;
-    const result = analyzeFile("/test/path.js", source);
-    expect(typeValueToString(result.functions[0].cases[0].result)).toBe("string");
-  });
-});

package/src/__tests__/guard-generator.test.ts

@@ -1,29 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { T } from "@nudojs/core";
-import { generateGuardFunction } from "../guard-generator.ts";
-
-describe("guard-generator", () => {
-  it("generates guard for string type", () => {
-    const guard = generateGuardFunction("isString", T.string);
-    expect(guard).toContain("typeof data === 'string'");
-  });
-
-  it("generates guard for object type", () => {
-    const obj = T.object({ name: T.string, age: T.number });
-    const guard = generateGuardFunction("isUser", obj);
-    expect(guard).toContain("typeof data === 'object'");
-    expect(guard).toContain("data.name");
-    expect(guard).toContain("data.age");
-  });
-
-  it("generates guard for union type", () => {
-    const union = T.union(T.string, T.number);
-    const guard = generateGuardFunction("isStringOrNumber", union);
-    expect(guard).toContain("||");
-  });
-
-  it("generates guard for array type", () => {
-    const guard = generateGuardFunction("isStringArray", T.array(T.string));
-    expect(guard).toContain("Array.isArray(data)");
-  });
-});

package/src/__tests__/harvest-auto.test.ts

@@ -1,43 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { barePackageName, collectBarePackages } from "../harvest-auto.ts";
-
-describe("barePackageName", () => {
-  it("keeps simple package names", () => {
-    expect(barePackageName("ms")).toBe("ms");
-    expect(barePackageName("lodash/fp")).toBe("lodash");
-  });
-
-  it("keeps scoped packages", () => {
-    expect(barePackageName("@types/node")).toBe("@types/node");
-    expect(barePackageName("@babel/parser")).toBe("@babel/parser");
-  });
-
-  it("rejects relative / absolute / node builtins", () => {
-    expect(barePackageName("./a.js")).toBeUndefined();
-    expect(barePackageName("../b")).toBeUndefined();
-    expect(barePackageName("/abs/path")).toBeUndefined();
-    expect(barePackageName("node:fs")).toBeUndefined();
-  });
-});
-
-describe("collectBarePackages", () => {
-  it("extracts import and require specs", () => {
-    const src = `
-import ms from "ms";
-import { join } from "path";
-const x = require("lodash/fp");
-import fs from "node:fs";
-import local from "./local.js";
-`;
-    const pkgs = collectBarePackages(src);
-    expect(pkgs).toContain("ms");
-    expect(pkgs).toContain("path");
-    expect(pkgs).toContain("lodash");
-    expect(pkgs).not.toContain("node:fs");
-    expect(pkgs).not.toContain("./local.js");
-  });
-
-  it("returns empty for unparsable source", () => {
-    expect(collectBarePackages("function (")).toEqual([]);
-  });
-});

package/src/__tests__/harvest-node.test.ts

@@ -1,24 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { harvestNodeTypes, summarizeNodeEnv } from "../harvest-node.ts";
-import { resolve } from "node:path";
-
-describe("harvest @types/node", () => {
-  it("harvests @types/node when installed", () => {
-    const root = resolve(process.cwd(), "../..");
-    const r = harvestNodeTypes(root, 6);
-    if (!r.ok) {
-      // env may not have @types/node in some CI — soft skip
-      expect(r.error).toBeTruthy();
-      return;
-    }
-    expect(r.files).toBeGreaterThan(0);
-    expect(r.env.stats.symbols).toBeGreaterThan(0);
-    const s = summarizeNodeEnv(r.env);
-    expect(s.symbolCount).toBeGreaterThan(0);
-    // Node env 通常含 process / Buffer 等全局
-    const hasUseful =
-      s.globals.some((g) => /process|Buffer|console/i.test(g)) ||
-      s.modules.length > 0;
-    expect(hasUseful).toBe(true);
-  });
-});

package/src/__tests__/harvest-package.test.ts

@@ -1,38 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { harvestPackage, formatHarvestSummary, resolvePackageRoot } from "../harvest-package.ts";
-import { existsSync } from "node:fs";
-import { resolve } from "node:path";
-
-describe("harvest npm package", () => {
-  const root = resolve(process.cwd(), "../..");
-  // monorepo root may vary; try a few
-  const cwdHasTs = existsSync(resolve(root, "node_modules/typescript/package.json"));
-
-  it("resolvePackageRoot finds workspace packages", () => {
-    // typescript is a root devDep of the monorepo
-    const r = resolvePackageRoot("typescript", root);
-    if (r) {
-      expect(existsSync(r)).toBe(true);
-    } else {
-      // environment without typescript installed — skip soft
-      expect(r).toBeUndefined();
-    }
-  });
-
-  it("harvestPackage on typescript if available", () => {
-    const r = resolvePackageRoot("typescript", root);
-    if (!r) {
-      expect(true).toBe(true);
-      return;
-    }
-    const h = harvestPackage("typescript", root);
-    if ("error" in h) {
-      // no d.ts collected — still ok in constrained env
-      expect(h.error).toBeTruthy();
-      return;
-    }
-    expect(h.dtsFiles.length).toBeGreaterThan(0);
-    expect(h.env.stats.symbols).toBeGreaterThan(0);
-    expect(formatHarvestSummary(h)).toContain("typescript");
-  });
-});

package/src/__tests__/harvest-to-abs.test.ts

@@ -1,46 +0,0 @@
-import { describe, it, expect, afterAll } from "vitest";
-import { writeFileSync, rmSync, mkdirSync } from "node:fs";
-import { join } from "node:path";
-import { harvestedValueToAbs, bareSpecToAbsModules, evalAbsModuleGraph } from "@nudojs/service";
-import { T, analyzeFn, numLit, absToString, getFnImpl } from "@nudojs/core";
-
-const dirs: string[] = [];
-afterAll(() => {
-  for (const d of dirs) rmSync(d, { recursive: true, force: true });
-});
-
-describe("harvest → Abs", () => {
-  it("fnSig becomes callable absFunction with declared return", () => {
-    const tv = T.fnSig([T.number], T.string);
-    const a = harvestedValueToAbs(tv);
-    expect(a.shape.k).toBe("fn");
-    expect(a.conf).toBe("mock");
-    expect(getFnImpl(a)?.apply).toBeTypeOf("function");
-    const r = getFnImpl(a)!.apply!([numLit(1)]);
-    expect(absToString(r)).toContain("string");
-  });
-
-  it("bareSpecToAbsModules finds lodash from monorepo root", () => {
-    const file = join(process.cwd(), "packages/service/src/__probe.js");
-    const mods = bareSpecToAbsModules("lodash", file);
-    expect(mods).toBeDefined();
-    expect(Object.keys(mods!.named).length).toBeGreaterThan(0);
-  });
-
-  it("module graph injects bare import into analyzeFn", () => {
-    // 放在 monorepo 内，harvest 才能找到 node_modules/@types/lodash
-    const dir = join(process.cwd(), "packages/service/src/__tmp-bare-mod");
-    mkdirSync(dir, { recursive: true });
-    dirs.push(dir);
-    const main = `import { chunk } from "lodash";
-export function go(x) { return chunk(x, 2); }
-`;
-    const mainPath = join(dir, "main.js");
-    writeFileSync(mainPath, main, "utf-8");
-    const { modules } = evalAbsModuleGraph(main, mainPath);
-    expect(modules["lodash"]).toBeDefined();
-    const r = analyzeFn(main, "go", [numLit(4)], undefined, undefined, undefined, modules);
-    expect(r).toBeDefined();
-    expect(["mock", "partial", "path", "exact", "widened", "opaque"]).toContain(r.conf);
-  });
-});

package/src/__tests__/hover-intension.test.ts

@@ -1,39 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { getHoverAtPosition } from "../analyzer.ts";
-
-describe("getHoverAtPosition lossless Abs", () => {
-  it("hover on function name shows Abs + intension", () => {
-    const source = `function scale(x) { return x + 1; }\nscale(2);\n`;
-    const hover = getHoverAtPosition("/t/hover.js", source, 1, 9);
-    expect(hover).not.toBeNull();
-    expect(hover!.intension ?? hover!.typeText).toContain("scale");
-    expect(hover!.intension ?? "").toContain("+");
-    // 无损 Abs：含 conf 标记
-    expect(hover!.abs).toBeDefined();
-    expect(hover!.abs).toContain("#");
-    expect(hover!.absMultiline).toBeDefined();
-  });
-
-  it("hover on binding shows Abs from evalProgramAbs", () => {
-    const source = `const x = 1 + 2;\n`;
-    const hover = getHoverAtPosition("/t/h3.js", source, 1, 7);
-    if (hover?.abs) {
-      expect(hover.abs).toContain("3");
-    }
-  });
-
-  it("hover on expression uses Abs node table (lossless)", () => {
-    const source = `const n = 1 + 2;\n`;
-    // column of `2` is 14 (0-based)
-    const hover = getHoverAtPosition("/t/h4.js", source, 1, 14);
-    expect(hover).not.toBeNull();
-    expect(hover!.abs).toBeDefined();
-    expect(hover!.abs).toContain("2");
-  });
-
-  it("hover on non-function still returns type", () => {
-    const source = `const n = 1;\n`;
-    const hover = getHoverAtPosition("/t/h2.js", source, 1, 7);
-    if (hover) expect(typeof hover.typeText).toBe("string");
-  });
-});

package/src/__tests__/infer-json.test.ts

@@ -1,35 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { analyzeFile, serializeInferJson } from "../index.ts";
-
-describe("InferJson contract v1", () => {
-  it("self-contained function has abs in intension", () => {
-    const src = `function scale(x) { return x + 1; }\n`;
-    const result = analyzeFile("/t/scale.js", src);
-    const json = serializeInferJson(result, "/t/scale.js");
-    expect(json.version).toBe(1);
-    expect(json.file).toBe("/t/scale.js");
-    expect(json.summary.functions).toBeGreaterThan(0);
-    const fn = json.functions.find((f) => f.name === "scale");
-    expect(fn).toBeDefined();
-    expect(fn!.entryOnly).toBe(true);
-    const entry = fn!.cases.find((c) => c.name.startsWith("entry@"));
-    expect(entry).toBeDefined();
-    expect(entry!.intension?.abs).toContain("#");
-    expect(entry!.intension?.display).toContain("scale");
-    // 外延仍有 TypeValue 字符串
-    expect(typeof entry!.result).toBe("string");
-  });
-
-  it("call site cases include args/result strings", () => {
-    const src = `
-function add(a, b) { return a + b; }
-const r = add(2, 3);
-`;
-    const result = analyzeFile("/t/add.js", src);
-    const json = serializeInferJson(result, "/t/add.js");
-    const add = json.functions.find((f) => f.name === "add");
-    expect(add!.cases.length).toBeGreaterThan(0);
-    expect(add!.cases[0]!.args.length).toBe(2);
-    expect(add!.cases[0]!.result).toBe("5");
-  });
-});