@nudojs/cli 0.4.0 → 1.0.1

package/package.json

@@ -1,7 +1,10 @@
 {
   "name": "@nudojs/cli",
-  "version": "0.4.0",
-  "description": "CLI and evaluator API for the Nudo type inference engine",
+  "version": "1.0.1",
+  "engines": {
+    "node": ">=20"
+  },
+  "description": "Command-line interface for the Nudo type inference engine",
   "type": "module",
   "license": "MIT",
   "keywords": [
@@ -18,10 +21,6 @@
     ".": {
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
-    },
-    "./evaluator": {
-      "types": "./dist/evaluator-api.d.ts",
-      "default": "./dist/evaluator-api.js"
     }
   },
   "bin": {
@@ -44,14 +43,13 @@
   },
   "dependencies": {
     "commander": "^13.0.0",
-    "@nudojs/parser": "0.4.0",
-    "@nudojs/core": "0.4.0",
-    "@nudojs/service": "0.3.2",
-    "@nudojs/env": "0.2.3",
-    "@nudojs/harvester": "0.2.2"
+    "@nudojs/core": "1.0.1",
+    "@nudojs/service": "1.0.1",
+    "@nudojs/env": "0.2.5",
+    "@nudojs/parser": "0.4.2",
+    "@nudojs/harvester": "0.2.4"
   },
   "scripts": {
-    "build": "tsup",
-    "build:lib": "tsup src/evaluator-api.ts --format esm --dts"
+    "build": "tsup"
   }
 }

package/dist/evaluator-api.d.ts

@@ -1,162 +0,0 @@
-import { Node } from '@babel/types';
-import { TypeValue, Environment } from '@nudojs/core';
-
-/** 值上命名成员是否可能存在（union 部分成员持有的 no-method 降 warning
- * 用）：primitive/literal 走 wrapper 原型近似表（'x'.charCodeAt），
- * instance 走近似方法表。诊断侧据此区分"部分成员可能有"与"确定没有"。 */
-declare function memberMayExistOn(tv: TypeValue, propName: string): boolean;
-type SourceRange = {
-    start: {
-        line: number;
-        column: number;
-    };
-    end: {
-        line: number;
-        column: number;
-    };
-};
-declare function setCurrentSource(source: string): void;
-declare const RETURN_SIGNAL: unique symbol;
-declare const BRANCH_SIGNAL: unique symbol;
-declare const THROW_SIGNAL: unique symbol;
-type ReturnSignal = {
-    readonly [RETURN_SIGNAL]: true;
-    readonly value: TypeValue;
-};
-type BranchSignal = {
-    readonly [BRANCH_SIGNAL]: true;
-    readonly returnedValue: TypeValue;
-    readonly fallthroughEnv: Environment;
-};
-type ThrowSignal = {
-    readonly [THROW_SIGNAL]: true;
-    readonly thrown: TypeValue;
-    readonly loc?: SourceRange;
-};
-type EvalResult = TypeValue | ReturnSignal | BranchSignal | ThrowSignal;
-declare function resetMemo(): void;
-declare function setModuleResolver(resolver: ((source: string, fromDir: string) => {
-    ast: Node;
-    filePath: string;
-    json?: unknown;
-} | null) | null): void;
-declare function setEnvModules(modules: Record<string, Record<string, TypeValue>>): void;
-declare function resetEnvModules(): void;
-declare function setMockModules(mocks: Map<string, {
-    fromPath: string;
-    names?: string[];
-}>): void;
-declare function resetMockModules(): void;
-declare function setUnknownBuiltinHandler(handler: ((name: string, loc?: {
-    start: {
-        line: number;
-        column: number;
-    };
-    end: {
-        line: number;
-        column: number;
-    };
-}) => void) | null): void;
-declare function setSampleCount(count: number): void;
-declare function setMaxConcreteIter(count: number): void;
-declare function setNodeTypeCollector(collector: ((node: Node, tv: TypeValue) => void) | null): void;
-type CallRecord = {
-    fnName: string;
-    argTypes: TypeValue[];
-    resultType: TypeValue;
-    throws: TypeValue;
-    /** Line-relative. Per-fn cache replay shifts this by lineDelta — if you
-     *  add another position field (callee loc, arg loc), extend
-     *  shiftCallRecordLines in analyzer.ts in the same change. */
-    callLoc?: {
-        line: number;
-        column: number;
-    };
-    targetModule?: string;
-    targetExport?: string;
-    /** export names the same function value was re-exported under after its
-     * defining module (barrel `index.js`, CJS forwarding shims); usage-site
-     * records stay name-matchable against them */
-    targetAliases?: string[];
-    /** module whose evaluation created the function value (definition site).
-     * Usage-site collection transitively evaluates the library under require(),
-     * so records of the library's INTERNAL calls (no export tag) can still be
-     * attributed to the defining file — while test-local functions and builtin
-     * statics stay unattributed and cannot pollute same-name candidates. */
-    fnModule?: string;
-};
-/** usage-site 执行标记：外部调用记录的实参里携带的闭包（测试回调等）在
- * case 合成重求值时被执行，其内部错误属于使用现场文件，与本文件分析无关。
- * 分析侧在注入前对全部外部实参调用本函数；执行来源栈读到该标记时
- * recordUnknown.originModule 记为标记值，分析侧据此丢弃。不按模块路径
- * 比较——跨文件依赖（本文件 require 链上加载的模块）的执行记录是合法
- * 的可达分析，不能误伤。 */
-declare const USAGE_SITE_MODULE = "__usage_site__";
-declare function setUsageSiteTag(tv: TypeValue, _seen?: Set<object>): void;
-declare function setCallCollector(collector: ((record: CallRecord) => void) | null): void;
-type UnknownRecord = {
-    kind: "method" | "property" | "global";
-    name: string;
-    receiverType?: TypeValue;
-    loc?: {
-        line: number;
-        column: number;
-    };
-    reason?: string;
-    origin?: {
-        line: number;
-        column: number;
-    };
-    /** 定义当前正在执行的函数的模块（执行来源栈顶）。case 合成重求值会执行
-     * 注入实参携带的使用现场闭包体，其内部错误记录属于使用现场文件——
-     * 分析侧据此丢弃（行数守卫会被同行号假阳性骗过）。 */
-    originModule?: string;
-};
-declare function setUnknownCollector(collector: ((record: UnknownRecord) => void) | null): void;
-declare function setProvenanceTracking(enabled: boolean): void;
-declare function evaluate(node: Node, env: Environment): EvalResult;
-type CallResult = {
-    value: TypeValue;
-    throws: TypeValue;
-    throwLoc?: SourceRange;
-};
-declare function evaluateFunction(fnNode: Node, args: TypeValue[], env: Environment): TypeValue;
-declare function evaluateFunctionFull(fnNode: Node, args: TypeValue[], env: Environment): CallResult;
-declare function evaluateProgram(node: Node, env: Environment): TypeValue;
-declare function getUnreachableRanges(): SourceRange[];
-declare function resetUnreachableRanges(): void;
-declare function setCurrentFileDir(dir: string): void;
-
-/**
- * Given a test expression and the current environment, produce two
- * environments: one where the test is truthy, one where it is falsy.
- */
-declare function narrow(test: Node, env: Environment): [trueEnv: Environment, falseEnv: Environment];
-
-/**
- * 内置类原型机制：错误类集合、可构造内置类、Object/Array/Map/Set/…/Buffer
- * 的原型成员近似表，以及 `X.prototype` 单例与类命名空间记忆化。
- * 求值器成员分派与补全侧成员派生共用本表的唯一真值。
- */
-
-declare const BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS: Record<string, Record<string, TypeValue>>;
-
-type LoadedEnv = {
-    modules: Record<string, Record<string, TypeValue>>;
-};
-declare function preloadPathEnvs(envNames: string[], baseDir: string): Promise<void>;
-declare function loadEnvsAsync(envNames: string[], globalEnv: Environment, baseDir?: string): Promise<LoadedEnv>;
-declare function loadEnvs(envNames: string[], globalEnv: Environment): LoadedEnv;
-
-type NudoConfig = {
-    env?: string[];
-    mocks?: Record<string, string>;
-};
-declare function findProjectConfig(startDir: string): {
-    config: NudoConfig;
-    projectDir: string;
-} | null;
-
-declare function resolveNpmNudo(source: string, fromDir: string): string | null;
-
-export { BUILTIN_PROTOTYPE_METHOD_APPROXIMATIONS, type CallRecord, type LoadedEnv, type NudoConfig, USAGE_SITE_MODULE, type UnknownRecord, evaluate, evaluateFunction, evaluateFunctionFull, evaluateProgram, findProjectConfig, getUnreachableRanges, loadEnvs, loadEnvsAsync, memberMayExistOn, narrow, preloadPathEnvs, resetEnvModules, resetMemo, resetMockModules, resetUnreachableRanges, resolveNpmNudo, setCallCollector, setCurrentFileDir, setCurrentSource, setEnvModules, setMaxConcreteIter, setMockModules, setModuleResolver, setNodeTypeCollector, setProvenanceTracking, setSampleCount, setUnknownBuiltinHandler, setUnknownCollector, setUsageSiteTag };