@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/config/lexicons/types.js

@@ -0,0 +1,62 @@
+/**
+ * @module config/lexicons/types
+ *
+ * Lexicon 接口定义 - 多语言词法抽象层的核心类型。
+ *
+ * **核心原则**：
+ * - 语言无关：编译器核心不包含任何自然语言关键词
+ * - 平等皮肤：英语、中文、日语等所有语言都是平等的"皮肤"
+ * - 类型安全：所有映射都通过 SemanticTokenKind 进行类型检查
+ */
+/**
+ * 构建关键词索引（关键词字符串 -> SemanticTokenKind）。
+ *
+ * @param lexicon - 词法表
+ * @returns 关键词索引 Map
+ */
+export function buildKeywordIndex(lexicon) {
+    const index = new Map();
+    for (const [kind, keyword] of Object.entries(lexicon.keywords)) {
+        index.set(keyword.toLowerCase(), kind);
+    }
+    return index;
+}
+/**
+ * 获取多词关键词列表（按长度降序，用于最长匹配）。
+ *
+ * @param lexicon - 词法表
+ * @returns 多词关键词数组
+ */
+export function getMultiWordKeywords(lexicon) {
+    return Object.values(lexicon.keywords)
+        .filter(kw => kw.includes(' ') || (lexicon.punctuation.markers && kw.includes(lexicon.punctuation.markers.open)))
+        .sort((a, b) => b.length - a.length);
+}
+/**
+ * 从关键词查找 SemanticTokenKind。
+ *
+ * @param lexicon - 词法表
+ * @param keyword - 关键词字符串
+ * @returns 对应的 SemanticTokenKind，如果不是关键词则返回 undefined
+ */
+export function findSemanticTokenKind(lexicon, keyword) {
+    const lower = keyword.toLowerCase();
+    for (const [kind, kw] of Object.entries(lexicon.keywords)) {
+        if (kw.toLowerCase() === lower) {
+            return kind;
+        }
+    }
+    return undefined;
+}
+/**
+ * 检查字符串是否为该词法表的关键词。
+ *
+ * @param lexicon - 词法表
+ * @param word - 要检查的字符串
+ * @returns 如果是关键词返回 true
+ */
+export function isLexiconKeyword(lexicon, word) {
+    const lower = word.toLowerCase();
+    return Object.values(lexicon.keywords).some(kw => kw.toLowerCase() === lower);
+}
+//# sourceMappingURL=types.js.map

package/dist/src/config/lexicons/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/config/lexicons/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAmKH;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,IAAyB,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;SACnC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;SAChH,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,OAAe;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;YAC/B,OAAO,IAAyB,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAY;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;AAChF,CAAC"}

package/dist/src/config/lexicons/zh-CN.d.ts

@@ -0,0 +1,21 @@
+/**
+ * @module config/lexicons/zh-CN
+ *
+ * 简体中文词法表 - Aster CNL 的中文皮肤。
+ *
+ * **设计策略**：混合策略
+ * - 法律文书风格：声明类关键词使用【】标记，如【模块】【定义】
+ * - 把字句结构：模式匹配使用"把 X 分为"结构
+ * - 直觉自然：控制流关键词使用日常中文，如"若"、"否则"、"返回"
+ *
+ * **标点符号**：
+ * - 使用中文标点：。，、：
+ * - 字符串使用直角引号：「」
+ * - 标记使用方括号：【】
+ */
+import type { Lexicon } from './types.js';
+/**
+ * 简体中文词法表。
+ */
+export declare const ZH_CN: Lexicon;
+//# sourceMappingURL=zh-CN.d.ts.map

package/dist/src/config/lexicons/zh-CN.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zh-CN.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/zh-CN.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,OAwInB,CAAC"}

package/dist/src/config/lexicons/zh-CN.js

@@ -0,0 +1,139 @@
+/**
+ * @module config/lexicons/zh-CN
+ *
+ * 简体中文词法表 - Aster CNL 的中文皮肤。
+ *
+ * **设计策略**：混合策略
+ * - 法律文书风格：声明类关键词使用【】标记，如【模块】【定义】
+ * - 把字句结构：模式匹配使用"把 X 分为"结构
+ * - 直觉自然：控制流关键词使用日常中文，如"若"、"否则"、"返回"
+ *
+ * **标点符号**：
+ * - 使用中文标点：。，、：
+ * - 字符串使用直角引号：「」
+ * - 标记使用方括号：【】
+ */
+import { SemanticTokenKind } from '../token-kind.js';
+/**
+ * 简体中文词法表。
+ */
+export const ZH_CN = {
+    id: 'zh-CN',
+    name: '简体中文',
+    direction: 'ltr',
+    keywords: {
+        // 模块声明（使用【】标记增强辨识度）
+        [SemanticTokenKind.MODULE_DECL]: '【模块】',
+        [SemanticTokenKind.IMPORT]: '引用',
+        [SemanticTokenKind.IMPORT_ALIAS]: '作为',
+        // 类型定义（使用【】标记）
+        [SemanticTokenKind.TYPE_DEF]: '【定义】',
+        [SemanticTokenKind.TYPE_WITH]: '包含',
+        [SemanticTokenKind.TYPE_ONE_OF]: '为以下之一',
+        // 函数定义
+        [SemanticTokenKind.FUNC_TO]: '入参',
+        [SemanticTokenKind.FUNC_PRODUCE]: '产出',
+        [SemanticTokenKind.FUNC_PERFORMS]: '执行',
+        // 控制流
+        [SemanticTokenKind.IF]: '若',
+        [SemanticTokenKind.OTHERWISE]: '否则',
+        [SemanticTokenKind.MATCH]: '把',
+        [SemanticTokenKind.WHEN]: '当',
+        [SemanticTokenKind.RETURN]: '返回',
+        [SemanticTokenKind.FOR_EACH]: '对每个',
+        [SemanticTokenKind.IN]: '在',
+        // 变量操作
+        [SemanticTokenKind.LET]: '令',
+        [SemanticTokenKind.BE]: '为',
+        [SemanticTokenKind.SET]: '将',
+        [SemanticTokenKind.TO_WORD]: '设为',
+        // 布尔运算
+        [SemanticTokenKind.OR]: '或',
+        [SemanticTokenKind.AND]: '且',
+        [SemanticTokenKind.NOT]: '非',
+        // 算术运算
+        [SemanticTokenKind.PLUS]: '加',
+        [SemanticTokenKind.MINUS_WORD]: '减',
+        [SemanticTokenKind.TIMES]: '乘',
+        [SemanticTokenKind.DIVIDED_BY]: '除以',
+        // 比较运算
+        [SemanticTokenKind.LESS_THAN]: '小于',
+        [SemanticTokenKind.GREATER_THAN]: '大于',
+        [SemanticTokenKind.EQUALS_TO]: '等于',
+        [SemanticTokenKind.IS]: '是',
+        // 类型构造
+        [SemanticTokenKind.MAYBE]: '可选',
+        [SemanticTokenKind.OPTION_OF]: '选项',
+        [SemanticTokenKind.RESULT_OF]: '结果',
+        [SemanticTokenKind.OK_OF]: '成功',
+        [SemanticTokenKind.ERR_OF]: '失败',
+        [SemanticTokenKind.SOME_OF]: '有值',
+        [SemanticTokenKind.NONE]: '无',
+        // 字面量
+        [SemanticTokenKind.TRUE]: '真',
+        [SemanticTokenKind.FALSE]: '假',
+        [SemanticTokenKind.NULL]: '空',
+        // 基础类型
+        [SemanticTokenKind.TEXT]: '文本',
+        [SemanticTokenKind.INT_TYPE]: '整数',
+        [SemanticTokenKind.FLOAT_TYPE]: '小数',
+        [SemanticTokenKind.BOOL_TYPE]: '布尔',
+        // 效果声明
+        [SemanticTokenKind.IO]: '输入输出',
+        [SemanticTokenKind.CPU]: '计算',
+        // 工作流（使用【】标记）
+        [SemanticTokenKind.WORKFLOW]: '【流程】',
+        [SemanticTokenKind.STEP]: '【步骤】',
+        [SemanticTokenKind.DEPENDS]: '依赖',
+        [SemanticTokenKind.ON]: '于',
+        [SemanticTokenKind.COMPENSATE]: '补偿',
+        [SemanticTokenKind.RETRY]: '重试',
+        [SemanticTokenKind.TIMEOUT]: '超时',
+        [SemanticTokenKind.MAX_ATTEMPTS]: '最多尝试',
+        [SemanticTokenKind.BACKOFF]: '退避',
+        // 异步操作
+        [SemanticTokenKind.WITHIN]: '范围',
+        [SemanticTokenKind.SCOPE]: '域',
+        [SemanticTokenKind.START]: '启动',
+        [SemanticTokenKind.ASYNC]: '异步',
+        [SemanticTokenKind.AWAIT]: '等待',
+        [SemanticTokenKind.WAIT_FOR]: '等候',
+        // 约束声明
+        [SemanticTokenKind.REQUIRED]: '必填',
+        [SemanticTokenKind.BETWEEN]: '介于',
+        [SemanticTokenKind.AT_LEAST]: '至少',
+        [SemanticTokenKind.AT_MOST]: '至多',
+        [SemanticTokenKind.MATCHING]: '匹配',
+        [SemanticTokenKind.PATTERN]: '模式',
+    },
+    punctuation: {
+        statementEnd: '。',
+        listSeparator: '，',
+        enumSeparator: '、',
+        blockStart: '：',
+        stringQuotes: {
+            open: '「',
+            close: '」',
+        },
+        markers: {
+            open: '【',
+            close: '】',
+        },
+    },
+    canonicalization: {
+        fullWidthToHalf: true, // 全角数字和运算符转半角
+        whitespaceMode: 'chinese', // 中文不使用空格分隔
+        removeArticles: false, // 中文没有冠词
+        // 引号规范化已在 canonicalizer 中统一处理（支持智能引号和直引号）
+        // 不再需要自定义规则
+    },
+    messages: {
+        unexpectedToken: '意外的符号：{token}',
+        expectedKeyword: '期望关键词「{keyword}」',
+        undefinedVariable: '未定义的变量：{name}',
+        typeMismatch: '类型不匹配：期望 {expected}，实际 {actual}',
+        unterminatedString: '未终止的字符串',
+        invalidIndentation: '无效的缩进：必须是2个空格的倍数',
+    },
+};
+//# sourceMappingURL=zh-CN.js.map

package/dist/src/config/lexicons/zh-CN.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zh-CN.js","sourceRoot":"","sources":["../../../../src/config/lexicons/zh-CN.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAY;IAC5B,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,MAAM;IACZ,SAAS,EAAE,KAAK;IAEhB,QAAQ,EAAE;QACR,oBAAoB;QACpB,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,MAAM;QACvC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI;QAChC,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,IAAI;QAEtC,eAAe;QACf,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,MAAM;QACpC,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,OAAO;QAExC,OAAO;QACP,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,IAAI;QACtC,CAAC,iBAAiB,CAAC,aAAa,CAAC,EAAE,IAAI;QAEvC,MAAM;QACN,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAC3B,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG;QAC9B,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG;QAC7B,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI;QAChC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,KAAK;QACnC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAE3B,OAAO;QACP,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,GAAG;QAC5B,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAC3B,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,GAAG;QAC5B,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QAEjC,OAAO;QACP,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAC3B,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,GAAG;QAC5B,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,GAAG;QAE5B,OAAO;QACP,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG;QAC7B,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,GAAG;QACnC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG;QAC9B,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI;QAEpC,OAAO;QACP,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,IAAI;QACtC,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAE3B,OAAO;QACP,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QACnC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI;QAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG;QAE7B,MAAM;QACN,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG;QAC7B,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG;QAC9B,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG;QAE7B,OAAO;QACP,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI;QAC9B,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI;QAClC,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI;QACpC,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,IAAI;QAEnC,OAAO;QACP,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,MAAM;QAC9B,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,IAAI;QAE7B,cAAc;QACd,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,MAAM;QACpC,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,MAAM;QAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,GAAG;QAC3B,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,IAAI;QACpC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,MAAM;QACxC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QAEjC,OAAO;QACP,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI;QAChC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,GAAG;QAC9B,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI;QAC/B,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI;QAElC,OAAO;QACP,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI;QAClC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI;QAClC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;QACjC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI;QAClC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI;KAClC;IAED,WAAW,EAAE;QACX,YAAY,EAAE,GAAG;QACjB,aAAa,EAAE,GAAG;QAClB,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,GAAG;QACf,YAAY,EAAE;YACZ,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,GAAG;SACX;QACD,OAAO,EAAE;YACP,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,GAAG;SACX;KACF;IAED,gBAAgB,EAAE;QAChB,eAAe,EAAE,IAAI,EAAE,cAAc;QACrC,cAAc,EAAE,SAAS,EAAE,YAAY;QACvC,cAAc,EAAE,KAAK,EAAE,SAAS;QAChC,0CAA0C;QAC1C,YAAY;KACb;IAED,QAAQ,EAAE;QACR,eAAe,EAAE,eAAe;QAChC,eAAe,EAAE,kBAAkB;QACnC,iBAAiB,EAAE,eAAe;QAClC,YAAY,EAAE,iCAAiC;QAC/C,kBAAkB,EAAE,SAAS;QAC7B,kBAAkB,EAAE,kBAAkB;KACvC;CACF,CAAC"}

package/dist/src/config/runtime.d.ts

@@ -0,0 +1,2 @@
+export declare const ENFORCE_CAPABILITIES: boolean;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/src/config/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../src/config/runtime.ts"],"names":[],"mappings":"AAYA,eAAO,MAAM,oBAAoB,SAA6C,CAAC"}

package/dist/src/config/runtime.js

@@ -0,0 +1,13 @@
+/**
+ * 运行时配置：控制安全特性的默认行为
+ *
+ * ENFORCE_CAPABILITIES: 能力校验开关
+ * - 默认: true (启用)
+ * - 关闭: 设置环境变量 ASTER_CAP_EFFECTS_ENFORCE=0
+ * - 显式开启: 设置环境变量 ASTER_CAP_EFFECTS_ENFORCE=1
+ *
+ * 注意：为保证生产环境安全，建议保持默认开启
+ */
+import { ConfigService } from './config-service.js';
+export const ENFORCE_CAPABILITIES = ConfigService.getInstance().effectsEnforce;
+//# sourceMappingURL=runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../src/config/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC,cAAc,CAAC"}

package/dist/src/config/semantic.d.ts

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

package/dist/src/config/semantic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../../src/config/semantic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAMH;;;;;;;GAOG;AACH,oBAAY,MAAM;IAChB,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,IAAI,SAAS;CACd;AAED;;;;;GAKG;AACH,QAAA,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAItC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,MAAM,OAAO,UAAU,CAE/E;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAEzD;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,IAAI,MAAM,EAAE,CAExC;AAED;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,SAAS,MAAM,EAQxC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAEzC,CAAC;AAMF;;;;GAIG;AACH,oBAAY,cAAc;IACxB,IAAI,SAAS;IACb,GAAG,QAAQ;IACX,IAAI,SAAS;IACb,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,QAAQ,YAAY;IACpB,GAAG,QAAQ;IACX,OAAO,YAAY;IACnB,SAAS,cAAc;CACxB;AAED;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CASjE,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAO3E;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,IAAI,MAAM,EAAE,CAEnD;AAMD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsEL,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,OAAO,EAAE,EAAE,iBAAiB,CAsErE,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,CAMlE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAMlE;AAMD;;;;GAIG;AACH,eAAO,MAAM,aAAa,UAAU,CAAC;AAErC;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEpD"}