@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/parser/span-utils.js

@@ -0,0 +1,90 @@
+function clonePosition(pos) {
+    return { line: pos.line, col: pos.col };
+}
+export function cloneSpan(span) {
+    return {
+        start: clonePosition(span.start),
+        end: clonePosition(span.end),
+    };
+}
+export function spanFromTokens(start, end) {
+    return {
+        start: clonePosition(start.start),
+        end: clonePosition(end.end),
+    };
+}
+function toSpan(source) {
+    if ('span' in source) {
+        return source.span;
+    }
+    return {
+        start: source.start,
+        end: source.end,
+    };
+}
+function isBefore(a, b) {
+    return a.line < b.line || (a.line === b.line && a.col < b.col);
+}
+function isAfter(a, b) {
+    return a.line > b.line || (a.line === b.line && a.col > b.col);
+}
+export function spanFromSources(...sources) {
+    if (sources.length === 0) {
+        return {
+            start: { line: 0, col: 0 },
+            end: { line: 0, col: 0 },
+        };
+    }
+    let start = null;
+    let end = null;
+    for (const source of sources) {
+        const span = toSpan(source);
+        if (!start || isBefore(span.start, start)) {
+            start = span.start;
+        }
+        if (!end || isAfter(span.end, end)) {
+            end = span.end;
+        }
+    }
+    return {
+        start: clonePosition(start),
+        end: clonePosition(end),
+    };
+}
+export function firstSignificantToken(tokens) {
+    for (const tok of tokens) {
+        if (tok.channel !== 'trivia') {
+            return tok;
+        }
+    }
+    return tokens[0];
+}
+export function lastSignificantTokenInStream(tokens) {
+    for (let i = tokens.length - 1; i >= 0; i--) {
+        const tok = tokens[i];
+        if (!tok)
+            continue;
+        if (tok.channel !== 'trivia') {
+            return tok;
+        }
+    }
+    return tokens[tokens.length - 1];
+}
+export function lastConsumedToken(ctx) {
+    let idx = ctx.index - 1;
+    while (idx >= 0) {
+        const tok = ctx.tokens[idx];
+        if (!tok)
+            break;
+        if (tok.channel !== 'trivia') {
+            return tok;
+        }
+        idx--;
+    }
+    return ctx.peek();
+}
+export function assignSpan(node, span) {
+    node.span = span;
+    return node;
+}
+//# sourceMappingURL=span-utils.js.map

package/dist/src/parser/span-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"span-utils.js","sourceRoot":"","sources":["../../../src/parser/span-utils.ts"],"names":[],"mappings":"AAMA,SAAS,aAAa,CAAC,GAAa;IAClC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAY,EAAE,GAAU;IACrD,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,MAAkB;IAChC,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,EAAE,MAAM,CAAC,GAAG;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACxC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,OAAO,CAAC,CAAW,EAAE,CAAW;IACvC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAG,OAAqB;IACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;YAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,GAAoB,IAAI,CAAC;IAClC,IAAI,GAAG,GAAoB,IAAI,CAAC;IAEhC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1C,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACnC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,KAAM,CAAC;QAC5B,GAAG,EAAE,aAAa,CAAC,GAAI,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAwB;IAC5D,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAE,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,MAAwB;IACnE,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAkB;IAClD,IAAI,GAAG,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;IACxB,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;QAChB,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG;YAAE,MAAM;QAChB,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,GAAG,CAAC;QACb,CAAC;QACD,GAAG,EAAE,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,UAAU,CAA2B,IAAO,EAAE,IAAU;IACtE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACjB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/parser/type-inference.d.ts

@@ -0,0 +1,90 @@
+/**
+ * CNL 字段类型推断引擎
+ *
+ * 实现基于命名约定和约束信号的类型推断，使字段定义更接近自然语言。
+ *
+ * 推断优先级（从高到低）：
+ * 1. 显式类型声明（由调用方处理，不在本模块）
+ * 2. 约束驱动推断（Range → 数值类型，Pattern → Text）
+ * 3. 命名约定推断（*Id → Text, *Amount → Float 等）
+ * 4. 默认类型（Text）
+ *
+ * @example
+ * ```typescript
+ * // 命名推断
+ * inferFieldType('applicantId')     // → Text (匹配 *Id)
+ * inferFieldType('loanAmount')      // → Float (匹配 *Amount)
+ * inferFieldType('termMonths')      // → Int (匹配 *Months)
+ * inferFieldType('isApproved')      // → Bool (匹配 is*)
+ *
+ * // 约束驱动推断
+ * inferFieldType('score', [{ kind: 'Range', min: 0, max: 100 }])  // → Int
+ * inferFieldType('rate', [{ kind: 'Range', min: 0.0, max: 1.0 }]) // → Float
+ * ```
+ */
+import type { Constraint, Type } from '../types.js';
+/** 基础类型名称 */
+type PrimitiveTypeName = 'Text' | 'Int' | 'Float' | 'Bool' | 'DateTime';
+/**
+ * 类型推断规则接口
+ */
+export interface TypeInferenceRule {
+    /** 字段名匹配模式 */
+    readonly pattern: RegExp;
+    /** 推断的类型 */
+    readonly type: PrimitiveTypeName;
+    /** 优先级（数值越大优先级越高） */
+    readonly priority: number;
+}
+/**
+ * 默认的字段命名类型推断规则
+ *
+ * 规则按照常见业务领域设计，覆盖：
+ * - 标识符类型（ID、Identifier、Vin）
+ * - 金融类型（Amount、Price、Cost）
+ * - 计数类型（Count、Number、Age）
+ * - 业务指标（Rating、Limit、Premium）
+ * - 布尔类型（isXxx、hasXxx、Flag、Sufficient）
+ * - 时间类型（Date、Time、At）
+ * - 分类类型（Type、Status、Category）
+ * - 产品属性（Make、Model）
+ */
+export declare const NAMING_RULES: readonly TypeInferenceRule[];
+/**
+ * 从约束列表推断类型
+ *
+ * 推断规则：
+ * - Range 约束 → 数值类型（Int 或 Float）
+ * - Pattern 约束 → Text
+ * - Required 约束 → 不影响类型推断
+ *
+ * @param constraints 约束列表
+ * @returns 推断的类型名，如果无法从约束推断则返回 null
+ */
+export declare function inferTypeFromConstraints(constraints: readonly Constraint[]): PrimitiveTypeName | null;
+/**
+ * 推断字段类型
+ *
+ * 按优先级尝试推断：
+ * 1. 约束驱动推断
+ * 2. 命名约定推断
+ * 3. 默认类型（Text）
+ *
+ * @param fieldName 字段名称
+ * @param constraints 可选的约束列表
+ * @returns 推断的类型 AST 节点
+ */
+export declare function inferFieldType(fieldName: string, constraints?: readonly Constraint[]): Type;
+/**
+ * 根据约束修正已推断的类型
+ *
+ * 当字段使用推断类型后又解析到约束时，可能需要修正类型。
+ * 例如：字段名 `value` 默认推断为 Text，但如果有 Range 约束则应为数值类型。
+ *
+ * @param currentType 当前推断的类型
+ * @param constraints 约束列表
+ * @returns 修正后的类型
+ */
+export declare function refineInferredType(currentType: Type, constraints: readonly Constraint[]): Type;
+export {};
+//# sourceMappingURL=type-inference.d.ts.map

package/dist/src/parser/type-inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference.d.ts","sourceRoot":"","sources":["../../../src/parser/type-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAmB,IAAI,EAAE,MAAM,aAAa,CAAC;AAErE,aAAa;AACb,KAAK,iBAAiB,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,UAAU,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,cAAc;IACd,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,YAAY;IACZ,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,qBAAqB;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,iBAAiB,EA+FpD,CAAC;AAKF;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,GAAG,IAAI,CAqBrG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,GAAE,SAAS,UAAU,EAAO,GAAG,IAAI,CAe/F;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CA8B9F"}

package/dist/src/parser/type-inference.js

@@ -0,0 +1,287 @@
+/**
+ * CNL 字段类型推断引擎
+ *
+ * 实现基于命名约定和约束信号的类型推断，使字段定义更接近自然语言。
+ *
+ * 推断优先级（从高到低）：
+ * 1. 显式类型声明（由调用方处理，不在本模块）
+ * 2. 约束驱动推断（Range → 数值类型，Pattern → Text）
+ * 3. 命名约定推断（*Id → Text, *Amount → Float 等）
+ * 4. 默认类型（Text）
+ *
+ * @example
+ * ```typescript
+ * // 命名推断
+ * inferFieldType('applicantId')     // → Text (匹配 *Id)
+ * inferFieldType('loanAmount')      // → Float (匹配 *Amount)
+ * inferFieldType('termMonths')      // → Int (匹配 *Months)
+ * inferFieldType('isApproved')      // → Bool (匹配 is*)
+ *
+ * // 约束驱动推断
+ * inferFieldType('score', [{ kind: 'Range', min: 0, max: 100 }])  // → Int
+ * inferFieldType('rate', [{ kind: 'Range', min: 0.0, max: 1.0 }]) // → Float
+ * ```
+ */
+import { Node } from '../ast/ast.js';
+/**
+ * 默认的字段命名类型推断规则
+ *
+ * 规则按照常见业务领域设计，覆盖：
+ * - 标识符类型（ID、Identifier、Vin）
+ * - 金融类型（Amount、Price、Cost）
+ * - 计数类型（Count、Number、Age）
+ * - 业务指标（Rating、Limit、Premium）
+ * - 布尔类型（isXxx、hasXxx、Flag、Sufficient）
+ * - 时间类型（Date、Time、At）
+ * - 分类类型（Type、Status、Category）
+ * - 产品属性（Make、Model）
+ */
+export const NAMING_RULES = [
+    // 明确的文本字段（避免误匹配 age 等数值后缀）
+    { pattern: /(?:Message|Dosage)$/i, type: 'Text', priority: 11 },
+    // ID 类型 - 各种标识符
+    { pattern: /(?:Id|ID|Identifier)$/i, type: 'Text', priority: 10 },
+    { pattern: /(?:Code|Key|Token|Uuid|Guid|Vin)$/i, type: 'Text', priority: 8 },
+    // 金额/价格类型 - 金融相关（Float 表示精确小数）
+    {
+        pattern: /(?:Amount|Price|Cost|Fee|Total|Balance|Salary|Income|Payment|Percentage|Ratio)$/i,
+        type: 'Float',
+        priority: 10,
+    },
+    // 利率类型 - 通常为小数（APR/APY 在业务中常用整数基点表示，见下方规则）
+    {
+        pattern: /(?:Rate|Interest)$/i,
+        type: 'Float',
+        priority: 9,
+    },
+    // 计数/数量类型 - 整数相关
+    {
+        pattern: /(?:Count|Number|Qty|Quantity|Age|Score|Level|Rank|Index|Size|Length|Width|Height)$/i,
+        type: 'Int',
+        priority: 10,
+    },
+    {
+        pattern: /(?:Checked)$/i,
+        type: 'Int',
+        priority: 8,
+    },
+    // 业务指标类型 - 整数（评级、限额、保费等）
+    {
+        pattern: /(?:Rating|Limit|Premium|Deductible|Multiplier|Deposit|Line|Utilization|Inquiries|Rent|Debt|Cards|Value|Payments)$/i,
+        type: 'Int',
+        priority: 9,
+    },
+    // 经验/工龄类型 - 整数
+    {
+        pattern: /(?:Licensed|Employed|Job|Experience)$/i,
+        type: 'Int',
+        priority: 8,
+    },
+    // 基点表示（整数）
+    {
+        pattern: /(?:Bps|APR|APY)$/i,
+        type: 'Int',
+        priority: 9,
+    },
+    // 时间单位（整数）
+    {
+        pattern: /(?:Years?|Months?|Weeks?|Days?|Hours?|Minutes?|Seconds?)$/i,
+        type: 'Int',
+        priority: 9,
+    },
+    // 布尔类型 - 前缀匹配
+    {
+        pattern: /^(?:is|has|can|should|was|will|did|does|allow|enable|disable|active|valid|require)/i,
+        type: 'Bool',
+        priority: 11,
+    },
+    // 布尔类型 - 后缀匹配
+    {
+        pattern: /(?:Flag|Enabled|Disabled|Active|Valid|Approved|Rejected|Completed|Confirmed|Sufficient|Success|Passed|Verified)$/i,
+        type: 'Bool',
+        priority: 8,
+    },
+    // 日期时间类型
+    {
+        pattern: /(?:Date|Time|At|Timestamp|Created|Updated|Modified|Expired|Birthday|Anniversary)$/i,
+        type: 'DateTime',
+        priority: 10,
+    },
+    // 分类/状态类型 - 文本
+    {
+        pattern: /(?:Type|Status|Category|Kind|Mode)$/i,
+        type: 'Text',
+        priority: 8,
+    },
+    // 产品/车辆属性 - 文本
+    {
+        pattern: /(?:Make|Model|Brand|Manufacturer)$/i,
+        type: 'Text',
+        priority: 7,
+    },
+    // 名称/描述类型 - 明确为文本
+    {
+        pattern: /(?:Name|Title|Description|Comment|Note|Remark|Address|Email|Phone|Url|Path|Reason|Recommendation|Factors|Purpose)$/i,
+        type: 'Text',
+        priority: 7,
+    },
+];
+/** 默认推断类型 */
+const DEFAULT_TYPE = 'Text';
+/**
+ * 从约束列表推断类型
+ *
+ * 推断规则：
+ * - Range 约束 → 数值类型（Int 或 Float）
+ * - Pattern 约束 → Text
+ * - Required 约束 → 不影响类型推断
+ *
+ * @param constraints 约束列表
+ * @returns 推断的类型名，如果无法从约束推断则返回 null
+ */
+export function inferTypeFromConstraints(constraints) {
+    let inferred = null;
+    for (const constraint of constraints) {
+        const constraintType = inferConstraintType(constraint);
+        if (!constraintType) {
+            continue;
+        }
+        if (!inferred) {
+            inferred = constraintType;
+            continue;
+        }
+        // 类型提升：Int + Float → Float
+        if (inferred === 'Int' && constraintType === 'Float') {
+            inferred = 'Float';
+        }
+    }
+    return inferred;
+}
+/**
+ * 推断字段类型
+ *
+ * 按优先级尝试推断：
+ * 1. 约束驱动推断
+ * 2. 命名约定推断
+ * 3. 默认类型（Text）
+ *
+ * @param fieldName 字段名称
+ * @param constraints 可选的约束列表
+ * @returns 推断的类型 AST 节点
+ */
+export function inferFieldType(fieldName, constraints = []) {
+    // 优先使用约束推断
+    const constraintDriven = inferTypeFromConstraints(constraints);
+    if (constraintDriven) {
+        return createPrimitiveType(constraintDriven);
+    }
+    // 其次使用命名推断
+    const nameDriven = inferFromName(fieldName);
+    if (nameDriven) {
+        return createPrimitiveType(nameDriven);
+    }
+    // 默认类型
+    return createPrimitiveType(DEFAULT_TYPE);
+}
+/**
+ * 根据约束修正已推断的类型
+ *
+ * 当字段使用推断类型后又解析到约束时，可能需要修正类型。
+ * 例如：字段名 `value` 默认推断为 Text，但如果有 Range 约束则应为数值类型。
+ *
+ * @param currentType 当前推断的类型
+ * @param constraints 约束列表
+ * @returns 修正后的类型
+ */
+export function refineInferredType(currentType, constraints) {
+    if (constraints.length === 0) {
+        return currentType;
+    }
+    const refined = inferTypeFromConstraints(constraints);
+    if (!refined) {
+        return currentType;
+    }
+    // 检查当前类型是否与约束推断冲突
+    const currentPrimitive = normalizePrimitiveType(currentType);
+    // 如果当前类型与约束推断一致，保持不变
+    if (currentPrimitive && currentPrimitive === refined) {
+        return currentType;
+    }
+    // 如果当前是 Text（默认）而约束要求数值，采用约束推断
+    if (currentPrimitive === 'Text' && (refined === 'Int' || refined === 'Float')) {
+        return createPrimitiveType(refined);
+    }
+    // Int 可以提升为 Float
+    if (currentPrimitive === 'Int' && refined === 'Float') {
+        return createPrimitiveType('Float');
+    }
+    // 其他情况保持当前类型（避免意外修改）
+    return currentType;
+}
+/**
+ * 从单个约束推断类型
+ */
+function inferConstraintType(constraint) {
+    switch (constraint.kind) {
+        case 'Pattern':
+            // Pattern 约束只对文本有意义
+            return 'Text';
+        case 'Range':
+            // Range 约束表示数值类型
+            return hasFractionalBound(constraint) ? 'Float' : 'Int';
+        case 'Required':
+            // Required 不影响类型
+            return null;
+        default:
+            return null;
+    }
+}
+/**
+ * 检查 Range 约束是否包含小数边界
+ */
+function hasFractionalBound(range) {
+    return [range.min, range.max].some((value) => value !== undefined && !Number.isInteger(value));
+}
+/**
+ * 从字段名推断类型
+ */
+function inferFromName(fieldName) {
+    let matchedRule = null;
+    for (const rule of NAMING_RULES) {
+        if (!rule.pattern.test(fieldName)) {
+            continue;
+        }
+        // 选择优先级最高的匹配规则
+        if (!matchedRule || rule.priority > matchedRule.priority) {
+            matchedRule = rule;
+        }
+    }
+    return matchedRule?.type ?? null;
+}
+/**
+ * 将 Type 节点标准化为基础类型名
+ */
+function normalizePrimitiveType(type) {
+    if (type.kind !== 'TypeName') {
+        return null;
+    }
+    switch (type.name) {
+        case 'Text':
+        case 'Int':
+        case 'Bool':
+        case 'Float':
+        case 'DateTime':
+            return type.name;
+        case 'Double':
+            return 'Float';
+        default:
+            return null;
+    }
+}
+/**
+ * 创建基础类型 AST 节点
+ */
+function createPrimitiveType(typeName) {
+    return Node.TypeName(typeName);
+}
+//# sourceMappingURL=type-inference.js.map

package/dist/src/parser/type-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference.js","sourceRoot":"","sources":["../../../src/parser/type-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAkBrC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,YAAY,GAAiC;IACxD,2BAA2B;IAC3B,EAAE,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IAE/D,gBAAgB;IAChB,EAAE,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IACjE,EAAE,OAAO,EAAE,oCAAoC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE5E,+BAA+B;IAC/B;QACE,OAAO,EAAE,kFAAkF;QAC3F,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,EAAE;KACb;IACD,2CAA2C;IAC3C;QACE,OAAO,EAAE,qBAAqB;QAC9B,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,CAAC;KACZ;IAED,iBAAiB;IACjB;QACE,OAAO,EAAE,qFAAqF;QAC9F,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,EAAE;KACb;IACD;QACE,OAAO,EAAE,eAAe;QACxB,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,CAAC;KACZ;IACD,yBAAyB;IACzB;QACE,OAAO,EAAE,oHAAoH;QAC7H,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,CAAC;KACZ;IACD,eAAe;IACf;QACE,OAAO,EAAE,wCAAwC;QACjD,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,CAAC;KACZ;IACD,WAAW;IACX;QACE,OAAO,EAAE,mBAAmB;QAC5B,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,CAAC;KACZ;IACD,WAAW;IACX;QACE,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,CAAC;KACZ;IAED,cAAc;IACd;QACE,OAAO,EAAE,qFAAqF;QAC9F,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,EAAE;KACb;IACD,cAAc;IACd;QACE,OAAO,EAAE,mHAAmH;QAC5H,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,CAAC;KACZ;IAED,SAAS;IACT;QACE,OAAO,EAAE,oFAAoF;QAC7F,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,EAAE;KACb;IAED,eAAe;IACf;QACE,OAAO,EAAE,sCAAsC;QAC/C,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,CAAC;KACZ;IACD,eAAe;IACf;QACE,OAAO,EAAE,qCAAqC;QAC9C,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,CAAC;KACZ;IACD,kBAAkB;IAClB;QACE,OAAO,EAAE,qHAAqH;QAC9H,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,CAAC;KACZ;CACF,CAAC;AAEF,aAAa;AACb,MAAM,YAAY,GAAsB,MAAM,CAAC;AAE/C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAkC;IACzE,IAAI,QAAQ,GAA6B,IAAI,CAAC;IAE9C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,cAAc,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,2BAA2B;QAC3B,IAAI,QAAQ,KAAK,KAAK,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;YACrD,QAAQ,GAAG,OAAO,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,cAAqC,EAAE;IACvF,WAAW;IACX,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;IAC/D,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC;IAED,WAAW;IACX,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;IACP,OAAO,mBAAmB,CAAC,YAAY,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAiB,EAAE,WAAkC;IACtF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,kBAAkB;IAClB,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IAE7D,qBAAqB;IACrB,IAAI,gBAAgB,IAAI,gBAAgB,KAAK,OAAO,EAAE,CAAC;QACrD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,+BAA+B;IAC/B,IAAI,gBAAgB,KAAK,MAAM,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,kBAAkB;IAClB,IAAI,gBAAgB,KAAK,KAAK,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACtD,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,qBAAqB;IACrB,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,UAAsB;IACjD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,oBAAoB;YACpB,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,iBAAiB;YACjB,OAAO,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,KAAK,UAAU;YACb,iBAAiB;YACjB,OAAO,IAAI,CAAC;QACd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,KAAsB;IAChD,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,SAAiB;IACtC,IAAI,WAAW,GAA6B,IAAI,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QACD,eAAe;QACf,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;YACzD,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,WAAW,EAAE,IAAI,IAAI,IAAI,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,IAAU;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAyB,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,QAA2B;IACtD,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC"}

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

@@ -0,0 +1,24 @@
+import type { Type } from '../types.js';
+import type { ParserContext } from './context.js';
+import type { CapabilityKind } from '../config/semantic.js';
+/**
+ * 解析效果列表（io, cpu, 能力等）
+ * @param ctx Parser 上下文
+ * @param error 错误报告函数
+ * @returns 效果字符串数组
+ */
+export declare function parseEffectList(ctx: ParserContext, error: (msg: string) => never): string[];
+/**
+ * 分离基础效果和能力类型
+ * @param effects 效果字符串数组
+ * @param error 错误报告函数
+ * @returns 基础效果、能力类型和是否有显式能力声明
+ */
+export declare function separateEffectsAndCaps(effects: string[], error: (msg: string) => never, effectVars?: ReadonlySet<string>): {
+    baseEffects: string[];
+    effectCaps: CapabilityKind[];
+    hasExplicitCaps: boolean;
+    effectVars: string[];
+};
+export declare function parseType(ctx: ParserContext, error: (msg: string) => never): Type;
+//# sourceMappingURL=type-parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/type-parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAA+C,IAAI,EAAE,MAAM,aAAa,CAAC;AACrF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,KAAK,GAC5B,MAAM,EAAE,CAoFV;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,EAAE,EACjB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,KAAK,EAC7B,UAAU,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B;IACD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,eAAe,EAAE,OAAO,CAAC;IACzB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAuDA;AAuKD,wBAAgB,SAAS,CACvB,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,KAAK,GAC5B,IAAI,CAyDN"}