@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/parser/context.d.ts

@@ -0,0 +1,56 @@
+import type { Token } from '../types.js';
+import { TokenKind } from '../frontend/tokens.js';
+/**
+ * Parser 上下文接口
+ * 包含词法标记流和解析状态
+ */
+export interface ParserContext {
+    readonly tokens: readonly Token[];
+    index: number;
+    moduleName: string | null;
+    declaredTypes: Set<string>;
+    currentTypeVars: Set<string>;
+    currentEffectVars: Set<string>;
+    collectedEffects: string[] | null;
+    effectSnapshots: Array<string[] | null>;
+    debug: {
+        enabled: boolean;
+        depth: number;
+        log(message: string): void;
+    };
+    /** 跳过当前位置所有 trivia Token（如注释） */
+    skipTrivia(): void;
+    /** 查看第 N 个非 trivia Token（内部使用，不跳过 trivia） */
+    peekToken(offset?: number): Token;
+    /** 查看第 N 个 Token（自动跳过 trivia） */
+    peek(offset?: number): Token;
+    /** 消费当前 Token 并前进（自动跳过 trivia） */
+    next(): Token;
+    at(kind: TokenKind, value?: Token['value']): boolean;
+    expect(kind: TokenKind, message: string): Token;
+    isKeyword(kw: string): boolean;
+    isKeywordSeq(words: string | string[]): boolean;
+    nextWord(): Token;
+    nextWords(words: string[]): void;
+    consumeIndent(): void;
+    consumeNewlines(): void;
+    pushEffect(effects: string[]): void;
+    snapshotEffects(): string[] | null;
+    restoreEffects(snapshot: string[] | null): void;
+    withTypeScope<T>(names: Iterable<string>, body: () => T): T;
+}
+/**
+ * 将关键字短语拆分为单词数组
+ * @param phrase 关键字短语（如 "module is"）
+ * @returns 单词数组
+ */
+export declare function kwParts(phrase: string): string[];
+/**
+ * 获取指定位置的词法标记的小写值
+ * @param ctx Parser 上下文
+ * @param idx 标记索引
+ * @returns 小写的标记值，如果不是标识符则返回 null
+ */
+export declare function tokLowerAt(ctx: ParserContext, idx: number): string | null;
+export declare function createParserContext(tokens: readonly Token[]): ParserContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/src/parser/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/parser/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAKlD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,gBAAgB,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAClC,eAAe,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACxC,KAAK,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvE,iCAAiC;IACjC,UAAU,IAAI,IAAI,CAAC;IACnB,6CAA6C;IAC7C,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAClC,iCAAiC;IACjC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAC7B,kCAAkC;IAClC,IAAI,IAAI,KAAK,CAAC;IACd,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;IACrD,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAChD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC;IAChD,QAAQ,IAAI,KAAK,CAAC;IAClB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACjC,aAAa,IAAI,IAAI,CAAC;IACtB,eAAe,IAAI,IAAI,CAAC;IACxB,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACpC,eAAe,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC;IACnC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;IAChD,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;CAC7D;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAEhD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAUzE;AAID,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,aAAa,CA0I3E"}

package/dist/src/parser/context.js

@@ -0,0 +1,177 @@
+import { TokenKind } from '../frontend/tokens.js';
+import { ConfigService } from '../config/config-service.js';
+import { Diagnostics } from '../diagnostics/diagnostics.js';
+import { createLogger } from '../utils/logger.js';
+/**
+ * 将关键字短语拆分为单词数组
+ * @param phrase 关键字短语（如 "module is"）
+ * @returns 单词数组
+ */
+export function kwParts(phrase) {
+    return phrase.split(' ');
+}
+/**
+ * 获取指定位置的词法标记的小写值
+ * @param ctx Parser 上下文
+ * @param idx 标记索引
+ * @returns 小写的标记值，如果不是标识符则返回 null
+ */
+export function tokLowerAt(ctx, idx) {
+    const tok = ctx.tokens[idx];
+    if (!tok)
+        return null;
+    if (tok.kind !== TokenKind.IDENT &&
+        tok.kind !== TokenKind.TYPE_IDENT &&
+        tok.kind !== TokenKind.KEYWORD)
+        return null;
+    return (tok.value || '').toLowerCase();
+}
+const parserLogger = createLogger('parser');
+export function createParserContext(tokens) {
+    const ctx = {
+        tokens,
+        index: 0,
+        moduleName: null,
+        declaredTypes: new Set(),
+        currentTypeVars: new Set(),
+        currentEffectVars: new Set(),
+        collectedEffects: null,
+        effectSnapshots: [],
+        debug: {
+            enabled: ConfigService.getInstance().debugTypes,
+            depth: 0,
+            log: (message) => {
+                if (!ctx.debug.enabled)
+                    return;
+                parserLogger.debug(`[parseType] ${message}`, { depth: ctx.debug.depth });
+            },
+        },
+        skipTrivia: () => {
+            while (ctx.index < ctx.tokens.length) {
+                const tok = ctx.tokens[ctx.index];
+                if (tok.channel === 'trivia') {
+                    ctx.index++;
+                }
+                else {
+                    break;
+                }
+            }
+        },
+        peekToken: (offset = 0) => {
+            let idx = ctx.index;
+            let count = 0;
+            while (idx < ctx.tokens.length) {
+                const tok = ctx.tokens[idx];
+                if (tok.channel !== 'trivia') {
+                    if (count === offset)
+                        return tok;
+                    count++;
+                }
+                idx++;
+            }
+            return ctx.tokens[ctx.tokens.length - 1];
+        },
+        peek: (offset = 0) => ctx.peekToken(offset),
+        next: () => {
+            const tok = ctx.peek();
+            let idx = ctx.index;
+            let found = false;
+            while (idx < ctx.tokens.length) {
+                const current = ctx.tokens[idx];
+                if (current.channel !== 'trivia' && current === tok) {
+                    ctx.index = idx + 1;
+                    found = true;
+                    break;
+                }
+                idx++;
+            }
+            if (!found && ctx.index < ctx.tokens.length) {
+                ctx.index++;
+            }
+            ctx.skipTrivia();
+            return tok;
+        },
+        at: (kind, value) => {
+            const t = ctx.peek();
+            if (!t)
+                return false;
+            if (t.kind !== kind)
+                return false;
+            if (value === undefined)
+                return true;
+            return t.value === value;
+        },
+        expect: (kind, message) => {
+            const tok = ctx.next();
+            if (tok.kind !== kind) {
+                Diagnostics.expectedToken(kind, tok.kind, tok.start).withMessage(message).throw();
+            }
+            return tok;
+        },
+        isKeyword: (kw) => {
+            const v = tokLowerAt(ctx, ctx.index);
+            return v === kw;
+        },
+        isKeywordSeq: (words) => {
+            const list = Array.isArray(words) ? words : kwParts(words);
+            for (let k = 0; k < list.length; k++) {
+                const v = tokLowerAt(ctx, ctx.index + k);
+                if (v !== list[k])
+                    return false;
+            }
+            return true;
+        },
+        nextWord: () => {
+            const tok = ctx.peek();
+            if (tok.kind !== TokenKind.IDENT &&
+                tok.kind !== TokenKind.TYPE_IDENT &&
+                tok.kind !== TokenKind.KEYWORD) {
+                Diagnostics.unexpectedToken(tok.kind, tok.start)
+                    .withMessage('Expected keyword/identifier')
+                    .throw();
+            }
+            return ctx.next();
+        },
+        nextWords: (words) => {
+            words.forEach(() => ctx.nextWord());
+        },
+        consumeIndent: () => {
+            while (ctx.at(TokenKind.INDENT))
+                ctx.next();
+        },
+        consumeNewlines: () => {
+            while (ctx.at(TokenKind.NEWLINE))
+                ctx.next();
+        },
+        pushEffect: (effects) => {
+            if (ctx.collectedEffects === null) {
+                ctx.collectedEffects = [...effects];
+            }
+            else {
+                ctx.collectedEffects.push(...effects);
+            }
+        },
+        snapshotEffects: () => {
+            const snapshot = ctx.collectedEffects === null ? null : [...ctx.collectedEffects];
+            ctx.effectSnapshots.push(snapshot);
+            return snapshot;
+        },
+        restoreEffects: (snapshot) => {
+            ctx.collectedEffects = snapshot === null ? null : [...snapshot];
+        },
+        withTypeScope: (names, body) => {
+            const saved = new Set(ctx.currentTypeVars);
+            for (const name of names) {
+                ctx.currentTypeVars.add(name);
+            }
+            try {
+                return body();
+            }
+            finally {
+                ctx.currentTypeVars = saved;
+            }
+        },
+    };
+    return ctx;
+}
+//# sourceMappingURL=context.js.map

package/dist/src/parser/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/parser/context.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAsClD;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAkB,EAAE,GAAW;IACxD,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IACE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK;QAC5B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU;QACjC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO;QAE9B,OAAO,IAAI,CAAC;IACd,OAAO,CAAE,GAAG,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;AAE5C,MAAM,UAAU,mBAAmB,CAAC,MAAwB;IAC1D,MAAM,GAAG,GAAkB;QACzB,MAAM;QACN,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,aAAa,EAAE,IAAI,GAAG,EAAU;QAChC,eAAe,EAAE,IAAI,GAAG,EAAU;QAClC,iBAAiB,EAAE,IAAI,GAAG,EAAU;QACpC,gBAAgB,EAAE,IAAI;QACtB,eAAe,EAAE,EAAE;QACnB,KAAK,EAAE;YACL,OAAO,EAAE,aAAa,CAAC,WAAW,EAAE,CAAC,UAAU;YAC/C,KAAK,EAAE,CAAC;YACR,GAAG,EAAE,CAAC,OAAe,EAAQ,EAAE;gBAC7B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO;oBAAE,OAAO;gBAC/B,YAAY,CAAC,KAAK,CAAC,eAAe,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3E,CAAC;SACF;QACD,UAAU,EAAE,GAAS,EAAE;YACrB,OAAO,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;gBACnC,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAC7B,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,SAAS,EAAE,CAAC,MAAM,GAAG,CAAC,EAAS,EAAE;YAC/B,IAAI,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;YACpB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAC7B,IAAI,KAAK,KAAK,MAAM;wBAAE,OAAO,GAAG,CAAC;oBACjC,KAAK,EAAE,CAAC;gBACV,CAAC;gBACD,GAAG,EAAE,CAAC;YACR,CAAC;YACD,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QAC5C,CAAC;QACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAS,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC;QAClD,IAAI,EAAE,GAAU,EAAE;YAChB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;YACpB,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC;gBACjC,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;oBACpD,GAAG,CAAC,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC;oBACpB,KAAK,GAAG,IAAI,CAAC;oBACb,MAAM;gBACR,CAAC;gBACD,GAAG,EAAE,CAAC;YACR,CAAC;YACD,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC5C,GAAG,CAAC,KAAK,EAAE,CAAC;YACd,CAAC;YACD,GAAG,CAAC,UAAU,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,EAAE,EAAE,CAAC,IAAe,EAAE,KAAsB,EAAW,EAAE;YACvD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAClC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC;QAC3B,CAAC;QACD,MAAM,EAAE,CAAC,IAAe,EAAE,OAAe,EAAS,EAAE;YAClD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACtB,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;YACpF,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,SAAS,EAAE,CAAC,EAAU,EAAW,EAAE;YACjC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACrC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClB,CAAC;QACD,YAAY,EAAE,CAAC,KAAwB,EAAW,EAAE;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YAClC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,QAAQ,EAAE,GAAU,EAAE;YACpB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YACvB,IACE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK;gBAC5B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU;gBACjC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAC9B,CAAC;gBACD,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC;qBAC7C,WAAW,CAAC,6BAA6B,CAAC;qBAC1C,KAAK,EAAE,CAAC;YACb,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;QACpB,CAAC;QACD,SAAS,EAAE,CAAC,KAAe,EAAQ,EAAE;YACnC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtC,CAAC;QACD,aAAa,EAAE,GAAS,EAAE;YACxB,OAAO,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,eAAe,EAAE,GAAS,EAAE;YAC1B,OAAO,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/C,CAAC;QACD,UAAU,EAAE,CAAC,OAAiB,EAAQ,EAAE;YACtC,IAAI,GAAG,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBAClC,GAAG,CAAC,gBAAgB,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,eAAe,EAAE,GAAoB,EAAE;YACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAClF,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,cAAc,EAAE,CAAC,QAAyB,EAAQ,EAAE;YAClD,GAAG,CAAC,gBAAgB,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,aAAa,EAAE,CAAI,KAAuB,EAAE,IAAa,EAAK,EAAE;YAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC;gBACH,OAAO,IAAI,EAAE,CAAC;YAChB,CAAC;oBAAS,CAAC;gBACT,GAAG,CAAC,eAAe,GAAG,KAAK,CAAC;YAC9B,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/src/parser/decl-parser.d.ts

@@ -0,0 +1,52 @@
+/**
+ * 顶层声明解析器
+ * 负责解析数据类型定义（Define）和函数定义（To）
+ */
+import type { Declaration, Token } from '../types.js';
+import type { ParserContext } from './context.js';
+import type { ParserTools } from './parser-tools.js';
+/**
+ * 解析数据类型定义
+ * 语法: Define User with name: Text and age: Int.
+ *
+ * @param ctx 解析器上下文
+ * @param error 错误报告函数
+ * @param expectDot 期望点号的辅助函数
+ * @param parseTypeIdent 解析类型标识符的辅助函数
+ * @returns 数据类型声明
+ */
+export declare function parseDataDecl(ctx: ParserContext, error: (msg: string, tok?: Token) => never, expectDot: () => void, parseTypeIdent: () => string): Declaration;
+/**
+ * 解析枚举类型定义
+ * 语法: Define Status as one of Success, Failure, Pending.
+ *
+ * @param ctx 解析器上下文
+ * @param error 错误报告函数
+ * @param expectDot 期望点号的辅助函数
+ * @param parseTypeIdent 解析类型标识符的辅助函数
+ * @returns 枚举类型声明
+ */
+export declare function parseEnumDecl(ctx: ParserContext, error: (msg: string, tok?: Token) => never, expectDot: () => void, parseTypeIdent: () => string): Declaration;
+/**
+ * 解析函数定义
+ * 语法: To greet with name: Text, produce Text. It performs io: ...
+ *
+ * @param ctx 解析器上下文
+ * @param error 错误报告函数
+ * @param expectCommaOr 期望逗号或允许省略的辅助函数
+ * @param expectKeyword 期望关键字的辅助函数
+ * @param expectNewline 期望换行的辅助函数
+ * @param parseIdent 解析标识符的辅助函数
+ * @returns 函数声明
+ */
+export declare function parseFuncDecl(ctx: ParserContext, error: (msg: string, tok?: Token) => never, expectCommaOr: () => void, expectKeyword: (kw: string, msg: string) => void, expectNewline: () => void, parseIdent: () => string): Declaration;
+/**
+ * 收集模块顶层声明
+ * 遍历 token 流，解析模块头、导入、类型定义和函数声明
+ *
+ * @param ctx 解析器上下文
+ * @param tools 解析器工具函数集合
+ * @returns 声明数组
+ */
+export declare function collectTopLevelDecls(ctx: ParserContext, tools: ParserTools): Declaration[];
+//# sourceMappingURL=decl-parser.d.ts.map

package/dist/src/parser/decl-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decl-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/decl-parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAS,WAAW,EAAE,KAAK,EAAQ,MAAM,aAAa,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AA4CrD;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CA4Bb;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,SAAS,EAAE,MAAM,IAAI,EACrB,cAAc,EAAE,MAAM,MAAM,GAC3B,WAAW,CAmCb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,EAC1C,aAAa,EAAE,MAAM,IAAI,EACzB,aAAa,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,EAChD,aAAa,EAAE,MAAM,IAAI,EACzB,UAAU,EAAE,MAAM,MAAM,GACvB,WAAW,CAgRb;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,WAAW,GACjB,WAAW,EAAE,CA+Ef"}