@nudojs/service 1.0.0 → 2.0.0

package/dist/config-UlReSTfh.d.ts

@@ -1,152 +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;
-
-type NudoConfig = {
-    env?: string[];
-    mocks?: Record<string, string>;
-    interface?: {
-        /** 侧车 ambient 绑定总开关（check/LSP 执法与 interface 打印共用） */
-        autoBind?: boolean;
-    };
-};
-type InterfaceConfig = {
-    autoBind: boolean;
-};
-/**
- * 归一化 `nudo.interface` 配置段：autoBind 默认 true。
- * （emit/ignore 白名单键随 Phase 2 root 推导落地时再引入——不留未接线的
- * 声明面，用户写了会被静默忽略。）
- */
-declare function interfaceConfig(config: NudoConfig | null | undefined): InterfaceConfig;
-declare function findProjectConfig(startDir: string): {
-    config: NudoConfig;
-    projectDir: string;
-} | null;
-
-export { type CallRecord as C, type InterfaceConfig as I, type NudoConfig as N, USAGE_SITE_MODULE as U, type UnknownRecord as a, evaluateFunction as b, evaluateFunctionFull as c, evaluateProgram as d, evaluate as e, findProjectConfig as f, getUnreachableRanges as g, resetMemo as h, interfaceConfig as i, resetMockModules as j, resetUnreachableRanges as k, setCurrentFileDir as l, memberMayExistOn as m, setCurrentSource as n, setEnvModules as o, setMaxConcreteIter as p, setMockModules as q, resetEnvModules as r, setCallCollector as s, setModuleResolver as t, setNodeTypeCollector as u, setProvenanceTracking as v, setSampleCount as w, setUnknownBuiltinHandler as x, setUnknownCollector as y, setUsageSiteTag as z };