@aster-cloud/aster-lang-ts 1.0.37 → 1.2.0

package/dist/src/frontend/resolution-choice.js

@@ -0,0 +1,69 @@
+/**
+ * @module frontend/resolution-choice
+ *
+ * 名称解析 R1 / R2 共用的候选选择规则（ADR 0051 §6.2）：精确优先、折叠唯一、
+ * 同层多个不同规范名即歧义；源码声明按原写法与规范名双向匹配；词汇后接规范名直写。
+ */
+import { compareCodePoints, foldKey, nfc } from '../config/lexicons/identifiers/casefold.js';
+import { lookup } from '../config/lexicons/identifiers/scopes.js';
+export const MISS = { kind: 'miss' };
+/** 关键词构造器（Ok/Err/Some/None）：语法关键词，不查词汇。 */
+export const KEYWORD_CTORS = new Set(['Ok', 'Err', 'Some', 'None']);
+function distinct(entries) {
+    const seen = new Map();
+    for (const e of entries)
+        seen.set(`${e.role}\u0000${e.canonical}`, e);
+    return [...seen.values()];
+}
+/** 精确命中优先；无精确时折叠命中唯一才采用；同层多个不同规范名即歧义。 */
+export function choose(exact, folded) {
+    for (const layer of [exact, folded]) {
+        const uniq = distinct(layer);
+        if (uniq.length === 1)
+            return { kind: 'hit', entry: uniq[0] };
+        if (uniq.length > 1)
+            return { kind: 'ambiguous', candidates: uniq };
+    }
+    return MISS;
+}
+/** 源码声明（含导入）：按原写法与规范名双向匹配。 */
+export function chooseDecl(decls, written) {
+    const w = nfc(written);
+    const key = foldKey(w);
+    const exact = decls.filter((d) => d.written === w || d.canonical === w);
+    const folded = decls.filter((d) => foldKey(d.written) === key || foldKey(d.canonical) === key);
+    return choose(exact, folded);
+}
+export function toEntries(cands, role) {
+    return cands.map((c) => ({ written: c.written, canonical: c.canonical, role }));
+}
+/** 词汇（§6.2 第 4 步）后接规范名直写（第 5 步）。 */
+export function chooseVocab(maps, written) {
+    const exact = maps.flatMap((m) => toEntries(lookup(m.map, written).exact, m.role));
+    const folded = maps.flatMap((m) => toEntries(lookup(m.map, written).folded, m.role));
+    const picked = choose(exact, folded);
+    if (picked.kind !== 'miss')
+        return picked;
+    const w = nfc(written);
+    const direct = maps.flatMap((m) => toEntries(byCanonical(m.map).get(w) ?? [], m.role));
+    return choose(direct, []);
+}
+/** 规范名 → 候选的反向索引，按词汇映射缓存，避免每次未命中都全表扫描。 */
+const canonicalIndex = new WeakMap();
+function byCanonical(map) {
+    const cached = canonicalIndex.get(map);
+    if (cached)
+        return cached;
+    const index = new Map();
+    for (const c of [...map.values()].flat())
+        index.set(c.canonical, [...(index.get(c.canonical) ?? []), c]);
+    canonicalIndex.set(map, index);
+    return index;
+}
+/** 歧义候选的确定性文本：`规范名 (写法)` 去重后按码点序以逗号连接（同一候选可经源码声明与词汇两层命中）。 */
+export function formatCandidates(cands) {
+    return [...new Set(cands.map((c) => `${c.canonical} (${c.written})`))]
+        .sort(compareCodePoints)
+        .join(', ');
+}
+//# sourceMappingURL=resolution-choice.js.map

package/dist/src/frontend/resolution-choice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-choice.js","sourceRoot":"","sources":["../../../src/frontend/resolution-choice.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,4CAA4C,CAAC;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAC;AAgBlE,MAAM,CAAC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAE7C,2CAA2C;AAC3C,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzF,SAAS,QAAQ,CAAC,OAAyB;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,MAAM,CAAC,KAAuB,EAAE,MAAwB;IACtE,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC;QAC/D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,UAAU,CAAC,KAAuB,EAAE,OAAe;IACjE,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAC/B,CAAC;AAOD,MAAM,UAAU,SAAS,CAAC,KAA2B,EAAE,IAAkB;IACvE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,WAAW,CAAC,IAAyB,EAAE,OAAe;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,0CAA0C;AAC1C,MAAM,cAAc,GAAG,IAAI,OAAO,EAA8D,CAAC;AAEjG,SAAS,WAAW,CAAC,GAAqC;IACxD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzG,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,gBAAgB,CAAC,KAAuB;IACtD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;SACnE,IAAI,CAAC,iBAAiB,CAAC;SACvB,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}

package/dist/src/frontend/resolution-context.d.ts

@@ -0,0 +1,28 @@
+/**
+ * @module frontend/resolution-context
+ *
+ * 名称解析（ADR 0051 R1/R2）的输入上下文：词汇作用域与导入模块的已解析声明。
+ */
+import type { VocabularyScopes } from '../config/lexicons/identifiers/scopes.js';
+export type { ResolvedRole } from '../types.js';
+/**
+ * 导入模块中已解析的声明，全部为规范名。按 §6.2 第 2 步与本模块声明同层参与匹配，
+ * 因此优先于词汇。
+ */
+export interface ImportedDeclarations {
+    /** Data / Enum 规范名 */
+    readonly types: readonly string[];
+    /** 函数规范名 */
+    readonly functions: readonly string[];
+    /** 枚举规范名 → 成员规范名 */
+    readonly enumMembers: ReadonlyMap<string, readonly string[]>;
+    /** Data 规范名 → 字段规范名 */
+    readonly fields: ReadonlyMap<string, readonly string[]>;
+}
+export declare const NO_IMPORTS: ImportedDeclarations;
+export interface ResolutionContext {
+    /** 词汇作用域；缺省表示无词汇，只按源码声明与原写法解析 */
+    readonly scopes?: VocabularyScopes;
+    readonly imports: ImportedDeclarations;
+}
+//# sourceMappingURL=resolution-context.d.ts.map

package/dist/src/frontend/resolution-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-context.d.ts","sourceRoot":"","sources":["../../../src/frontend/resolution-context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,sBAAsB;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,YAAY;IACZ,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,oBAAoB;IACpB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC7D,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;CACzD;AAED,eAAO,MAAM,UAAU,EAAE,oBAKxB,CAAC;AAEF,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACxC"}

package/dist/src/frontend/resolution-context.js

@@ -0,0 +1,7 @@
+export const NO_IMPORTS = {
+    types: [],
+    functions: [],
+    enumMembers: new Map(),
+    fields: new Map(),
+};
+//# sourceMappingURL=resolution-context.js.map

package/dist/src/frontend/resolution-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution-context.js","sourceRoot":"","sources":["../../../src/frontend/resolution-context.ts"],"names":[],"mappings":"AAwBA,MAAM,CAAC,MAAM,UAAU,GAAyB;IAC9C,KAAK,EAAE,EAAE;IACT,SAAS,EAAE,EAAE;IACb,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,MAAM,EAAE,IAAI,GAAG,EAAE;CAClB,CAAC"}

package/dist/src/frontend/resolve-declarations.d.ts

@@ -0,0 +1,13 @@
+import type * as AST from '../types.js';
+import type { TypecheckDiagnostic } from '../types.js';
+import type { ResolutionContext } from './resolution-context.js';
+/**
+ * R1：解析声明与类型位置。返回新的 AST（输入不变）与诊断（E800/E801/E802/E803 未解析、
+ * E804/E805 歧义、E807 重复声明、W800 遮蔽词汇）。ctx.imports 须由调用方填充，
+ * 否则引用导入类型的位置会报 E800。
+ */
+export declare function resolveDeclarations(module: AST.Module, ctx: ResolutionContext): {
+    module: AST.Module;
+    diagnostics: TypecheckDiagnostic[];
+};
+//# sourceMappingURL=resolve-declarations.d.ts.map

package/dist/src/frontend/resolve-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-declarations.d.ts","sourceRoot":"","sources":["../../../src/frontend/resolve-declarations.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,KAAK,GAAG,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,EAAgC,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAoqBjE;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,GAAG,CAAC,MAAM,EAClB,GAAG,EAAE,iBAAiB,GACrB;IAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC;IAAC,WAAW,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAQ5D"}