@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/config/semantic.js

@@ -0,0 +1,394 @@
+/**
+ * @module config/semantic
+ *
+ * 集中管理 Aster 语言的所有语义配置。
+ *
+ * **功能**：
+ * - 效果（Effect）类型定义和验证
+ * - 能力（Capability）前缀映射和推断
+ * - 关键字（Keyword）定义和检查
+ * - 内置语义标记（如 'await'）
+ *
+ * **设计原则**：
+ * - 单一真源：所有语义配置集中在此文件
+ * - 类型安全：提供验证函数，拒绝未知值
+ * - 易于扩展：新增 effect/capability 只需修改此文件
+ */
+// ============================================================
+// Effect 配置
+// ============================================================
+/**
+ * 效果类型枚举。
+ *
+ * Aster 支持三种效果：
+ * - **PURE**: 纯函数，无副作用
+ * - **CPU**: CPU密集型计算，无IO
+ * - **IO**: 执行IO操作（网络、文件、数据库等）
+ */
+export var Effect;
+(function (Effect) {
+    Effect["IO"] = "IO";
+    Effect["CPU"] = "CPU";
+    Effect["PURE"] = "PURE";
+})(Effect || (Effect = {}));
+/**
+ * effect 字符串（CNL语法）→枚举的映射表。
+ *
+ * CNL 中使用小写（'io', 'cpu', 'pure'），
+ * 内部枚举使用大写（IO, CPU, PURE）。
+ */
+const EFFECT_MAP = {
+    io: Effect.IO,
+    cpu: Effect.CPU,
+    pure: Effect.PURE,
+};
+/**
+ * 验证 effect 字符串是否合法。
+ *
+ * @param effect - CNL 中的 effect 字符串（小写）
+ * @returns 如果是合法的 effect，返回 true
+ *
+ * @example
+ * ```typescript
+ * isValidEffect('io')   // true
+ * isValidEffect('cpuu') // false
+ * ```
+ */
+export function isValidEffect(effect) {
+    return effect in EFFECT_MAP;
+}
+/**
+ * 转换 effect 字符串为枚举。
+ *
+ * @param effect - CNL 中的 effect 字符串（小写）
+ * @returns 对应的 Effect 枚举，如果非法则返回 null
+ *
+ * @example
+ * ```typescript
+ * parseEffect('io')   // Effect.IO
+ * parseEffect('cpuu') // null
+ * ```
+ */
+export function parseEffect(effect) {
+    return EFFECT_MAP[effect] ?? null;
+}
+/**
+ * 获取所有合法的 effect 字符串（用于错误提示）。
+ *
+ * @returns 合法的 effect 字符串数组
+ *
+ * @example
+ * ```typescript
+ * getAllEffects() // ['io', 'cpu', 'pure']
+ * ```
+ */
+export function getAllEffects() {
+    return Object.keys(EFFECT_MAP);
+}
+/**
+ * 已知的 IO 操作前缀（用于 effect 推断）。
+ *
+ * 当函数调用以这些前缀开头时，推断为 `@io` effect。
+ * 例如：`Http.get()`, `Db.query()`
+ */
+export const IO_PREFIXES = [
+    'IO.',
+    'AuthRepo.',
+    'ProfileSvc.',
+    'FeedSvc.',
+    'UUID.randomUUID',
+    'Http.',
+    'Db.',
+];
+/**
+ * 已知的 CPU 密集型操作前缀（用于 effect 推断）。
+ *
+ * 当函数调用以这些前缀开头时，推断为 `@cpu` effect。
+ */
+export const CPU_PREFIXES = [
+// 可以在此添加 CPU 密集型调用前缀
+];
+// ============================================================
+// Capability 配置
+// ============================================================
+/**
+ * Capability 类型枚举。
+ *
+ * Capability 定义了函数可以访问的资源和权限。
+ */
+export var CapabilityKind;
+(function (CapabilityKind) {
+    CapabilityKind["HTTP"] = "Http";
+    CapabilityKind["SQL"] = "Sql";
+    CapabilityKind["TIME"] = "Time";
+    CapabilityKind["FILES"] = "Files";
+    CapabilityKind["SECRETS"] = "Secrets";
+    CapabilityKind["AI_MODEL"] = "AiModel";
+    CapabilityKind["CPU"] = "Cpu";
+    CapabilityKind["PAYMENT"] = "Payment";
+    CapabilityKind["INVENTORY"] = "Inventory";
+})(CapabilityKind || (CapabilityKind = {}));
+/**
+ * Capability 到调用前缀的映射表。
+ *
+ * 用于在 ASTER_CAP_EFFECTS_ENFORCE=1 模式下检查 capability 子集规则。
+ * 例如：声明了 [Http] capability 的函数只能调用以 'Http.' 开头的函数。
+ */
+export const CAPABILITY_PREFIXES = {
+    Http: ['Http.'],
+    Sql: ['Db.', 'Sql.'],
+    Time: ['Time.', 'Clock.'],
+    Files: ['Files.', 'Fs.'],
+    Secrets: ['Secrets.'],
+    AiModel: ['Ai.'],
+    Payment: ['Payment.'],
+    Inventory: ['Inventory.'],
+};
+/**
+ * 根据函数名前缀推断 capability。
+ *
+ * @param name - 函数名或调用目标
+ * @returns 推断的 CapabilityKind，如果无法推断则返回 null
+ *
+ * @example
+ * ```typescript
+ * inferCapabilityFromName('Http.get')  // CapabilityKind.HTTP
+ * inferCapabilityFromName('Db.query')  // CapabilityKind.SQL
+ * inferCapabilityFromName('myFunc')    // null
+ * ```
+ */
+export function inferCapabilityFromName(name) {
+    for (const [cap, prefixes] of Object.entries(CAPABILITY_PREFIXES)) {
+        if (prefixes.some(prefix => name.startsWith(prefix))) {
+            return cap;
+        }
+    }
+    return null;
+}
+/**
+ * 获取所有 capability 前缀（用于调试）。
+ *
+ * @returns 所有 capability 前缀的扁平数组
+ */
+export function getAllCapabilityPrefixes() {
+    return Object.values(CAPABILITY_PREFIXES).flat();
+}
+import { SemanticTokenKind } from './token-kind.js';
+/**
+ * Aster CNL 关键字定义（v1 lexicon, en-US）。
+ *
+ * 多词关键字使用空格连接的规范形式（canonical form）。
+ * 例如：'this module is', 'as one of', 'wait for'
+ *
+ * **注意**：此对象保留用于向后兼容。新代码应使用 Lexicon 系统。
+ * @deprecated 使用 `LexiconRegistry.getDefault().keywords` 代替
+ */
+export const KW = {
+    MODULE_IS: 'this module is',
+    USE: 'use',
+    AS: 'as',
+    DEFINE: 'define',
+    WITH: 'with',
+    ONE_OF: 'as one of',
+    TO: 'to',
+    PRODUCE: 'produce',
+    PERFORMS: 'it performs',
+    IO: 'io',
+    CPU: 'cpu',
+    LET: 'let',
+    BE: 'be',
+    SET: 'set',
+    TO_WORD: 'to',
+    IF: 'if',
+    OTHERWISE: 'otherwise',
+    MATCH: 'match',
+    WHEN: 'when',
+    WORKFLOW: 'workflow',
+    STEP: 'step',
+    DEPENDS: 'depends',
+    ON: 'on',
+    COMPENSATE: 'compensate',
+    RETRY: 'retry',
+    TIMEOUT: 'timeout',
+    MAX_ATTEMPTS: 'max attempts',
+    BACKOFF: 'backoff',
+    RETURN: 'return',
+    WITHIN: 'within',
+    SCOPE: 'scope',
+    START: 'start',
+    ASYNC: 'async',
+    AWAIT: 'await',
+    WAIT_FOR: 'wait for',
+    FOR_EACH: 'for each',
+    IN: 'in',
+    MAYBE: 'maybe',
+    OPTION_OF: 'option of',
+    RESULT_OF: 'result of',
+    OR: 'or',
+    AND: 'and',
+    NULL: 'null',
+    TRUE: 'true',
+    FALSE: 'false',
+    TEXT: 'text',
+    INT: 'int',
+    FLOAT: 'float',
+    BOOL_TYPE: 'bool',
+    OK_OF: 'ok of',
+    ERR_OF: 'err of',
+    SOME_OF: 'some of',
+    NONE: 'none',
+    NOT: 'not',
+    PLUS: 'plus',
+    MINUS: 'minus',
+    TIMES: 'times',
+    DIVIDED_BY: 'divided by',
+    LESS_THAN: 'less than',
+    GREATER_THAN: 'greater than',
+    EQUALS_TO: 'equals to',
+    IS: 'is',
+    // 约束关键词
+    REQUIRED: 'required',
+    BETWEEN: 'between',
+    AT_LEAST: 'at least',
+    AT_MOST: 'at most',
+    MATCHING: 'matching',
+    PATTERN: 'pattern',
+};
+/**
+ * KW 属性名到 SemanticTokenKind 的映射。
+ *
+ * 用于从旧 KW 风格代码迁移到新 Lexicon 系统。
+ */
+export const KW_TO_SEMANTIC = {
+    MODULE_IS: SemanticTokenKind.MODULE_DECL,
+    USE: SemanticTokenKind.IMPORT,
+    AS: SemanticTokenKind.IMPORT_ALIAS,
+    DEFINE: SemanticTokenKind.TYPE_DEF,
+    WITH: SemanticTokenKind.TYPE_WITH,
+    ONE_OF: SemanticTokenKind.TYPE_ONE_OF,
+    TO: SemanticTokenKind.FUNC_TO,
+    PRODUCE: SemanticTokenKind.FUNC_PRODUCE,
+    PERFORMS: SemanticTokenKind.FUNC_PERFORMS,
+    IO: SemanticTokenKind.IO,
+    CPU: SemanticTokenKind.CPU,
+    LET: SemanticTokenKind.LET,
+    BE: SemanticTokenKind.BE,
+    SET: SemanticTokenKind.SET,
+    TO_WORD: SemanticTokenKind.TO_WORD,
+    IF: SemanticTokenKind.IF,
+    OTHERWISE: SemanticTokenKind.OTHERWISE,
+    MATCH: SemanticTokenKind.MATCH,
+    WHEN: SemanticTokenKind.WHEN,
+    WORKFLOW: SemanticTokenKind.WORKFLOW,
+    STEP: SemanticTokenKind.STEP,
+    DEPENDS: SemanticTokenKind.DEPENDS,
+    ON: SemanticTokenKind.ON,
+    COMPENSATE: SemanticTokenKind.COMPENSATE,
+    RETRY: SemanticTokenKind.RETRY,
+    TIMEOUT: SemanticTokenKind.TIMEOUT,
+    MAX_ATTEMPTS: SemanticTokenKind.MAX_ATTEMPTS,
+    BACKOFF: SemanticTokenKind.BACKOFF,
+    RETURN: SemanticTokenKind.RETURN,
+    WITHIN: SemanticTokenKind.WITHIN,
+    SCOPE: SemanticTokenKind.SCOPE,
+    START: SemanticTokenKind.START,
+    ASYNC: SemanticTokenKind.ASYNC,
+    AWAIT: SemanticTokenKind.AWAIT,
+    WAIT_FOR: SemanticTokenKind.WAIT_FOR,
+    FOR_EACH: SemanticTokenKind.FOR_EACH,
+    IN: SemanticTokenKind.IN,
+    MAYBE: SemanticTokenKind.MAYBE,
+    OPTION_OF: SemanticTokenKind.OPTION_OF,
+    RESULT_OF: SemanticTokenKind.RESULT_OF,
+    OR: SemanticTokenKind.OR,
+    AND: SemanticTokenKind.AND,
+    NULL: SemanticTokenKind.NULL,
+    TRUE: SemanticTokenKind.TRUE,
+    FALSE: SemanticTokenKind.FALSE,
+    TEXT: SemanticTokenKind.TEXT,
+    INT: SemanticTokenKind.INT_TYPE,
+    FLOAT: SemanticTokenKind.FLOAT_TYPE,
+    BOOL_TYPE: SemanticTokenKind.BOOL_TYPE,
+    OK_OF: SemanticTokenKind.OK_OF,
+    ERR_OF: SemanticTokenKind.ERR_OF,
+    SOME_OF: SemanticTokenKind.SOME_OF,
+    NONE: SemanticTokenKind.NONE,
+    NOT: SemanticTokenKind.NOT,
+    PLUS: SemanticTokenKind.PLUS,
+    MINUS: SemanticTokenKind.MINUS_WORD,
+    TIMES: SemanticTokenKind.TIMES,
+    DIVIDED_BY: SemanticTokenKind.DIVIDED_BY,
+    LESS_THAN: SemanticTokenKind.LESS_THAN,
+    GREATER_THAN: SemanticTokenKind.GREATER_THAN,
+    EQUALS_TO: SemanticTokenKind.EQUALS_TO,
+    IS: SemanticTokenKind.IS,
+    // 约束关键词映射
+    REQUIRED: SemanticTokenKind.REQUIRED,
+    BETWEEN: SemanticTokenKind.BETWEEN,
+    AT_LEAST: SemanticTokenKind.AT_LEAST,
+    AT_MOST: SemanticTokenKind.AT_MOST,
+    MATCHING: SemanticTokenKind.MATCHING,
+    PATTERN: SemanticTokenKind.PATTERN,
+};
+/**
+ * 从 Lexicon 获取 KW 风格的关键字对象。
+ *
+ * 这是一个桥接函数，用于现有代码逐步迁移到 Lexicon 系统。
+ *
+ * @param lexicon - 词法表
+ * @returns KW 风格的关键字对象
+ *
+ * @example
+ * ```typescript
+ * import { ZH_CN } from './lexicons/zh-CN.js';
+ * const kw = getKeywordsFromLexicon(ZH_CN);
+ * console.log(kw.IF); // '若'
+ * ```
+ */
+export function getKeywordsFromLexicon(lexicon) {
+    const result = {};
+    for (const [kwKey, semanticKind] of Object.entries(KW_TO_SEMANTIC)) {
+        result[kwKey] = lexicon.keywords[semanticKind];
+    }
+    return result;
+}
+/**
+ * 验证字符串是否为关键字。
+ *
+ * @param word - 要检查的字符串（应为小写）
+ * @param lexicon - 可选的词法表，默认使用 EN_US 关键字
+ * @returns 如果是关键字，返回 true
+ *
+ * @example
+ * ```typescript
+ * isKeyword('return')     // true
+ * isKeyword('myVariable') // false
+ * isKeyword('若', ZH_CN)  // true
+ * ```
+ */
+export function isKeyword(word, lexicon) {
+    if (lexicon) {
+        const lower = word.toLowerCase();
+        return Object.values(lexicon.keywords).some(kw => kw.toLowerCase() === lower);
+    }
+    return Object.values(KW).includes(word.toLowerCase());
+}
+// ============================================================
+// 特殊语义标记
+// ============================================================
+/**
+ * 内置异步函数名。
+ *
+ * Core IR 中使用 `Call(Name('await'))` 表示异步操作。
+ */
+export const BUILTIN_AWAIT = 'await';
+/**
+ * 验证是否为内置异步函数。
+ *
+ * @param name - 函数名
+ * @returns 如果是内置 await，返回 true
+ */
+export function isBuiltinAwait(name) {
+    return name === BUILTIN_AWAIT;
+}
+//# sourceMappingURL=semantic.js.map

package/dist/src/config/semantic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../../src/config/semantic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,+DAA+D;AAC/D,YAAY;AACZ,+DAA+D;AAE/D;;;;;;;GAOG;AACH,MAAM,CAAN,IAAY,MAIX;AAJD,WAAY,MAAM;IAChB,mBAAS,CAAA;IACT,qBAAW,CAAA;IACX,uBAAa,CAAA;AACf,CAAC,EAJW,MAAM,KAAN,MAAM,QAIjB;AAED;;;;;GAKG;AACH,MAAM,UAAU,GAA2B;IACzC,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,GAAG,EAAE,MAAM,CAAC,GAAG;IACf,IAAI,EAAE,MAAM,CAAC,IAAI;CAClB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,MAAM,IAAI,UAAU,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AACpC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAsB;IAC5C,KAAK;IACL,WAAW;IACX,aAAa;IACb,UAAU;IACV,iBAAiB;IACjB,OAAO;IACP,KAAK;CACN,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAsB;AAC7C,qBAAqB;CACtB,CAAC;AAEF,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAE/D;;;;GAIG;AACH,MAAM,CAAN,IAAY,cAUX;AAVD,WAAY,cAAc;IACxB,+BAAa,CAAA;IACb,6BAAW,CAAA;IACX,+BAAa,CAAA;IACb,iCAAe,CAAA;IACf,qCAAmB,CAAA;IACnB,sCAAoB,CAAA;IACpB,6BAAW,CAAA;IACX,qCAAmB,CAAA;IACnB,yCAAuB,CAAA;AACzB,CAAC,EAVW,cAAc,KAAd,cAAc,QAUzB;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAsC;IACpE,IAAI,EAAE,CAAC,OAAO,CAAC;IACf,GAAG,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;IACzB,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;IACxB,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,SAAS,EAAE,CAAC,YAAY,CAAC;CAC1B,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACrD,OAAO,GAAqB,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC;AACnD,CAAC;AAOD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG;IAChB,SAAS,EAAE,gBAAgB;IAC3B,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,WAAW;IACnB,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,aAAa;IACvB,EAAE,EAAE,IAAI;IACR,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,GAAG,EAAE,KAAK;IACV,OAAO,EAAE,IAAI;IACb,EAAE,EAAE,IAAI;IACR,SAAS,EAAE,WAAW;IACtB,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,QAAQ,EAAE,UAAU;IACpB,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,SAAS;IAClB,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,YAAY;IACxB,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,YAAY,EAAE,cAAc;IAC5B,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,UAAU;IACpB,QAAQ,EAAE,UAAU;IACpB,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,WAAW;IACtB,EAAE,EAAE,IAAI;IACR,GAAG,EAAE,KAAK;IACV,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,KAAK;IACV,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;IACtB,YAAY,EAAE,cAAc;IAC5B,SAAS,EAAE,WAAW;IACtB,EAAE,EAAE,IAAI;IACR,QAAQ;IACR,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,SAAS;CACV,CAAC;AAEX;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAA+C;IACxE,SAAS,EAAE,iBAAiB,CAAC,WAAW;IACxC,GAAG,EAAE,iBAAiB,CAAC,MAAM;IAC7B,EAAE,EAAE,iBAAiB,CAAC,YAAY;IAClC,MAAM,EAAE,iBAAiB,CAAC,QAAQ;IAClC,IAAI,EAAE,iBAAiB,CAAC,SAAS;IACjC,MAAM,EAAE,iBAAiB,CAAC,WAAW;IACrC,EAAE,EAAE,iBAAiB,CAAC,OAAO;IAC7B,OAAO,EAAE,iBAAiB,CAAC,YAAY;IACvC,QAAQ,EAAE,iBAAiB,CAAC,aAAa;IACzC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,GAAG,EAAE,iBAAiB,CAAC,GAAG;IAC1B,GAAG,EAAE,iBAAiB,CAAC,GAAG;IAC1B,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,GAAG,EAAE,iBAAiB,CAAC,GAAG;IAC1B,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,UAAU,EAAE,iBAAiB,CAAC,UAAU;IACxC,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,YAAY,EAAE,iBAAiB,CAAC,YAAY;IAC5C,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,MAAM,EAAE,iBAAiB,CAAC,MAAM;IAChC,MAAM,EAAE,iBAAiB,CAAC,MAAM;IAChC,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,GAAG,EAAE,iBAAiB,CAAC,GAAG;IAC1B,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,GAAG,EAAE,iBAAiB,CAAC,QAAQ;IAC/B,KAAK,EAAE,iBAAiB,CAAC,UAAU;IACnC,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,MAAM,EAAE,iBAAiB,CAAC,MAAM;IAChC,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,GAAG,EAAE,iBAAiB,CAAC,GAAG;IAC1B,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,KAAK,EAAE,iBAAiB,CAAC,UAAU;IACnC,KAAK,EAAE,iBAAiB,CAAC,KAAK;IAC9B,UAAU,EAAE,iBAAiB,CAAC,UAAU;IACxC,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,YAAY,EAAE,iBAAiB,CAAC,YAAY;IAC5C,SAAS,EAAE,iBAAiB,CAAC,SAAS;IACtC,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,UAAU;IACV,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,OAAO,EAAE,iBAAiB,CAAC,OAAO;IAClC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ;IACpC,OAAO,EAAE,iBAAiB,CAAC,OAAO;CACnC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAmB,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,OAAiB;IACvD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAChF,CAAC;IACD,OAAQ,MAAM,CAAC,MAAM,CAAC,EAAE,CAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,OAAO,CAAC;AAErC;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,KAAK,aAAa,CAAC;AAChC,CAAC"}

package/dist/src/config/token-kind.d.ts

@@ -0,0 +1,177 @@
+/**
+ * @module config/token-kind
+ *
+ * 语义化 TokenKind 枚举 - Aster 多语言词法架构的单一真源。
+ *
+ * **设计原则**：
+ * - 语言无关：所有枚举值代表抽象语义概念，不含任何自然语言
+ * - 单一真源：所有 Lexicon 实现必须映射到此枚举
+ * - 类型安全：使用 TypeScript enum 提供编译时检查
+ *
+ * **使用方式**：
+ * - Lexicon 定义：`keywords: { [SemanticTokenKind.IF]: '若' }`
+ * - Lexer 输出：`{ kind: TokenKind.KEYWORD, semanticKind: SemanticTokenKind.IF }`
+ * - Parser 匹配：`expectKeyword(SemanticTokenKind.IF)`
+ */
+/**
+ * 语义化 Token 类型枚举。
+ *
+ * 定义 Aster CNL 中所有具有语义意义的关键词类型。
+ * 每个枚举值对应一个抽象语义概念，由各语言的 Lexicon 映射到具体关键词。
+ */
+export declare enum SemanticTokenKind {
+    /** 模块声明 - "this module is" / "【模块】" */
+    MODULE_DECL = "MODULE_DECL",
+    /** 导入声明 - "use" / "引用" */
+    IMPORT = "IMPORT",
+    /** 导入别名 - "as" / "作为" */
+    IMPORT_ALIAS = "IMPORT_ALIAS",
+    /** 类型定义 - "define" / "【定义】" */
+    TYPE_DEF = "TYPE_DEF",
+    /** 类型字段 - "with" / "包含" */
+    TYPE_WITH = "TYPE_WITH",
+    /** 枚举类型 - "as one of" / "为以下之一" */
+    TYPE_ONE_OF = "TYPE_ONE_OF",
+    /** 函数入参 - "to" / "入参" */
+    FUNC_TO = "FUNC_TO",
+    /** 函数产出 - "produce" / "产出" */
+    FUNC_PRODUCE = "FUNC_PRODUCE",
+    /** 函数效果声明 - "it performs" / "执行" */
+    FUNC_PERFORMS = "FUNC_PERFORMS",
+    /** 条件判断 - "if" / "若" */
+    IF = "IF",
+    /** 否则分支 - "otherwise" / "否则" */
+    OTHERWISE = "OTHERWISE",
+    /** 模式匹配 - "match" / "把" */
+    MATCH = "MATCH",
+    /** 匹配分支 - "when" / "当" */
+    WHEN = "WHEN",
+    /** 返回语句 - "return" / "返回" */
+    RETURN = "RETURN",
+    /** 循环遍历 - "for each" / "对每个" */
+    FOR_EACH = "FOR_EACH",
+    /** 集合成员 - "in" / "在" */
+    IN = "IN",
+    /** 变量声明 - "let" / "令" */
+    LET = "LET",
+    /** 变量初始化 - "be" / "为" */
+    BE = "BE",
+    /** 变量赋值 - "set" / "将" */
+    SET = "SET",
+    /** 赋值目标 - "to" (set ... to) / "设为" */
+    TO_WORD = "TO_WORD",
+    /** 逻辑或 - "or" / "或" */
+    OR = "OR",
+    /** 逻辑与 - "and" / "且" */
+    AND = "AND",
+    /** 逻辑非 - "not" / "非" */
+    NOT = "NOT",
+    /** 加法 - "plus" / "加" */
+    PLUS = "PLUS",
+    /** 减法 - "minus" / "减" */
+    MINUS_WORD = "MINUS_WORD",
+    /** 乘法 - "times" / "乘" */
+    TIMES = "TIMES",
+    /** 除法 - "divided by" / "除以" */
+    DIVIDED_BY = "DIVIDED_BY",
+    /** 小于 - "less than" / "小于" */
+    LESS_THAN = "LESS_THAN",
+    /** 大于 - "greater than" / "大于" */
+    GREATER_THAN = "GREATER_THAN",
+    /** 等于 - "equals to" / "等于" */
+    EQUALS_TO = "EQUALS_TO",
+    /** 判断 - "is" / "是" */
+    IS = "IS",
+    /** 可选类型 - "maybe" / "可选" */
+    MAYBE = "MAYBE",
+    /** Option 类型 - "option of" */
+    OPTION_OF = "OPTION_OF",
+    /** Result 类型 - "result of" */
+    RESULT_OF = "RESULT_OF",
+    /** 成功值 - "ok of" / "成功" */
+    OK_OF = "OK_OF",
+    /** 错误值 - "err of" / "失败" */
+    ERR_OF = "ERR_OF",
+    /** 有值 - "some of" / "有值" */
+    SOME_OF = "SOME_OF",
+    /** 空值 - "none" / "无" */
+    NONE = "NONE",
+    /** 布尔真 - "true" / "真" */
+    TRUE = "TRUE",
+    /** 布尔假 - "false" / "假" */
+    FALSE = "FALSE",
+    /** 空值 - "null" / "空" */
+    NULL = "NULL",
+    /** 文本类型 - "text" / "文本" */
+    TEXT = "TEXT",
+    /** 整数类型 - "int" / "整数" */
+    INT_TYPE = "INT_TYPE",
+    /** 浮点类型 - "float" / "小数" */
+    FLOAT_TYPE = "FLOAT_TYPE",
+    /** 布尔类型 - "bool" / "布尔" */
+    BOOL_TYPE = "BOOL_TYPE",
+    /** IO 效果 - "io" / "输入输出" */
+    IO = "IO",
+    /** CPU 效果 - "cpu" / "计算" */
+    CPU = "CPU",
+    /** 工作流定义 - "workflow" / "【流程】" */
+    WORKFLOW = "WORKFLOW",
+    /** 步骤定义 - "step" / "【步骤】" */
+    STEP = "STEP",
+    /** 依赖声明 - "depends" / "依赖" */
+    DEPENDS = "DEPENDS",
+    /** 依赖目标 - "on" / "于" */
+    ON = "ON",
+    /** 补偿操作 - "compensate" / "补偿" */
+    COMPENSATE = "COMPENSATE",
+    /** 重试策略 - "retry" / "重试" */
+    RETRY = "RETRY",
+    /** 超时设置 - "timeout" / "超时" */
+    TIMEOUT = "TIMEOUT",
+    /** 最大尝试次数 - "max attempts" / "最多尝试" */
+    MAX_ATTEMPTS = "MAX_ATTEMPTS",
+    /** 退避策略 - "backoff" / "退避" */
+    BACKOFF = "BACKOFF",
+    /** 作用域 - "within" / "范围" */
+    WITHIN = "WITHIN",
+    /** 作用域块 - "scope" / "域" */
+    SCOPE = "SCOPE",
+    /** 启动异步 - "start" / "启动" */
+    START = "START",
+    /** 异步标记 - "async" / "异步" */
+    ASYNC = "ASYNC",
+    /** 等待结果 - "await" / "等待" */
+    AWAIT = "AWAIT",
+    /** 等待完成 - "wait for" / "等候" */
+    WAIT_FOR = "WAIT_FOR",
+    /** 必填约束 - "required" / "必填" */
+    REQUIRED = "REQUIRED",
+    /** 范围约束 - "between" / "在...之间" */
+    BETWEEN = "BETWEEN",
+    /** 最小值约束 - "at least" / "至少" */
+    AT_LEAST = "AT_LEAST",
+    /** 最大值约束 - "at most" / "至多" */
+    AT_MOST = "AT_MOST",
+    /** 匹配约束 - "matching" / "匹配" */
+    MATCHING = "MATCHING",
+    /** 模式关键字 - "pattern" / "模式" */
+    PATTERN = "PATTERN"
+}
+/**
+ * 获取所有语义 Token 类型。
+ *
+ * @returns 所有 SemanticTokenKind 值的数组
+ */
+export declare function getAllSemanticTokenKinds(): SemanticTokenKind[];
+/**
+ * 检查字符串是否为有效的 SemanticTokenKind。
+ *
+ * @param value - 要检查的字符串
+ * @returns 如果是有效的 SemanticTokenKind，返回 true
+ */
+export declare function isSemanticTokenKind(value: string): value is SemanticTokenKind;
+/**
+ * SemanticTokenKind 到分类的映射，用于文档和验证。
+ */
+export declare const SEMANTIC_TOKEN_CATEGORIES: Record<string, SemanticTokenKind[]>;
+//# sourceMappingURL=token-kind.d.ts.map

package/dist/src/config/token-kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-kind.d.ts","sourceRoot":"","sources":["../../../src/config/token-kind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;GAKG;AACH,oBAAY,iBAAiB;IAK3B,uCAAuC;IACvC,WAAW,gBAAgB;IAE3B,0BAA0B;IAC1B,MAAM,WAAW;IAEjB,yBAAyB;IACzB,YAAY,iBAAiB;IAM7B,+BAA+B;IAC/B,QAAQ,aAAa;IAErB,2BAA2B;IAC3B,SAAS,cAAc;IAEvB,mCAAmC;IACnC,WAAW,gBAAgB;IAM3B,yBAAyB;IACzB,OAAO,YAAY;IAEnB,8BAA8B;IAC9B,YAAY,iBAAiB;IAE7B,oCAAoC;IACpC,aAAa,kBAAkB;IAM/B,wBAAwB;IACxB,EAAE,OAAO;IAET,gCAAgC;IAChC,SAAS,cAAc;IAEvB,2BAA2B;IAC3B,KAAK,UAAU;IAEf,0BAA0B;IAC1B,IAAI,SAAS;IAEb,6BAA6B;IAC7B,MAAM,WAAW;IAEjB,gCAAgC;IAChC,QAAQ,aAAa;IAErB,wBAAwB;IACxB,EAAE,OAAO;IAMT,yBAAyB;IACzB,GAAG,QAAQ;IAEX,yBAAyB;IACzB,EAAE,OAAO;IAET,yBAAyB;IACzB,GAAG,QAAQ;IAEX,sCAAsC;IACtC,OAAO,YAAY;IAMnB,uBAAuB;IACvB,EAAE,OAAO;IAET,wBAAwB;IACxB,GAAG,QAAQ;IAEX,wBAAwB;IACxB,GAAG,QAAQ;IAMX,wBAAwB;IACxB,IAAI,SAAS;IAEb,yBAAyB;IACzB,UAAU,eAAe;IAEzB,yBAAyB;IACzB,KAAK,UAAU;IAEf,+BAA+B;IAC/B,UAAU,eAAe;IAMzB,8BAA8B;IAC9B,SAAS,cAAc;IAEvB,iCAAiC;IACjC,YAAY,iBAAiB;IAE7B,8BAA8B;IAC9B,SAAS,cAAc;IAEvB,sBAAsB;IACtB,EAAE,OAAO;IAMT,4BAA4B;IAC5B,KAAK,UAAU;IAEf,8BAA8B;IAC9B,SAAS,cAAc;IAEvB,8BAA8B;IAC9B,SAAS,cAAc;IAEvB,2BAA2B;IAC3B,KAAK,UAAU;IAEf,4BAA4B;IAC5B,MAAM,WAAW;IAEjB,4BAA4B;IAC5B,OAAO,YAAY;IAEnB,wBAAwB;IACxB,IAAI,SAAS;IAMb,yBAAyB;IACzB,IAAI,SAAS;IAEb,0BAA0B;IAC1B,KAAK,UAAU;IAEf,wBAAwB;IACxB,IAAI,SAAS;IAMb,2BAA2B;IAC3B,IAAI,SAAS;IAEb,0BAA0B;IAC1B,QAAQ,aAAa;IAErB,4BAA4B;IAC5B,UAAU,eAAe;IAEzB,2BAA2B;IAC3B,SAAS,cAAc;IAMvB,4BAA4B;IAC5B,EAAE,OAAO;IAET,4BAA4B;IAC5B,GAAG,QAAQ;IAMX,kCAAkC;IAClC,QAAQ,aAAa;IAErB,6BAA6B;IAC7B,IAAI,SAAS;IAEb,8BAA8B;IAC9B,OAAO,YAAY;IAEnB,wBAAwB;IACxB,EAAE,OAAO;IAET,iCAAiC;IACjC,UAAU,eAAe;IAEzB,4BAA4B;IAC5B,KAAK,UAAU;IAEf,8BAA8B;IAC9B,OAAO,YAAY;IAEnB,uCAAuC;IACvC,YAAY,iBAAiB;IAE7B,8BAA8B;IAC9B,OAAO,YAAY;IAMnB,4BAA4B;IAC5B,MAAM,WAAW;IAEjB,2BAA2B;IAC3B,KAAK,UAAU;IAEf,4BAA4B;IAC5B,KAAK,UAAU;IAEf,4BAA4B;IAC5B,KAAK,UAAU;IAEf,4BAA4B;IAC5B,KAAK,UAAU;IAEf,+BAA+B;IAC/B,QAAQ,aAAa;IAMrB,+BAA+B;IAC/B,QAAQ,aAAa;IAErB,kCAAkC;IAClC,OAAO,YAAY;IAEnB,gCAAgC;IAChC,QAAQ,aAAa;IAErB,+BAA+B;IAC/B,OAAO,YAAY;IAEnB,+BAA+B;IAC/B,QAAQ,aAAa;IAErB,+BAA+B;IAC/B,OAAO,YAAY;CACpB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,IAAI,iBAAiB,EAAE,CAE9D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,iBAAiB,CAE7E;AAED;;GAEG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,EAAE,CAuEzE,CAAC"}