@compelem/compiler 0.30.0-beta.1 → 0.30.0-beta.4

package/LICENSE

@@ -1,21 +1,21 @@
-MIT License
-
-Copyright (c) 2026 holyhigh2
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.
+MIT License
+
+Copyright (c) 2026 holyhigh2
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,3 @@
-# @compelem/compiler
-
+# @compelem/compiler
+
 [compelem](https://github.com/holyhigh2/compelem) 的**编译器**

package/dist/index.d.ts

@@ -1,6 +1,6 @@
-import { a as ComponentAnalysis, c as ReactiveKind, i as CompilerOptions, n as compelemCompiler, o as DEBUG_DIV, r as CompiledStatic, s as ReactiveField, t as VitePluginOptions } from "./vite-BtG-4Z6L.js";
+import { a as ComponentAnalysis, c as ReactiveKind, i as CompilerOptions, n as compelemCompiler, o as DEBUG_DIV, r as CompiledStatic, s as ReactiveField, t as VitePluginOptions } from "./vite-D178A0gy.js";
 
-//#region src/utils/oxc.d.ts
+//#region src/utils/ast.d.ts
 interface ParsedFile {
   program: any;
   /** 源码中所有 import 声明：本地名 → { source, imported } */
@@ -9,9 +9,10 @@ interface ParsedFile {
     imported: string;
   }>;
 }
+/** 解析 TS 源码为 AST（带缓存，LRU：命中回尾、超限逐出最老）。 */
+declare function parse(code: string, id?: string): ParsedFile;
 //#endregion
 //#region src/analyze/component.d.ts
-
 /** 判断某个 import source 是否指向 compelem 本体。 */
 declare function isCompelemSource(source: string): boolean;
 /** 从 import 表里挑出 compelem 相关绑定：本地名 → 原始导入名。 */
@@ -24,6 +25,11 @@ declare function collectCompelemImports(imports: ParsedFile['imports']): Map<str
  */
 declare function analyzeFile(code: string, id: string, parsed: ParsedFile): ComponentAnalysis[];
 //#endregion
+//#region src/analyze/inline-template-methods.d.ts
+
+/** 兼容旧 API：只返回改写后的源码。compile.ts 用 WithEdits 版本保留坐标映射。 */
+declare function inlineTemplateMethods(code: string, parsed: ParsedFile): string;
+//#endregion
 //#region src/analyze/template.d.ts
 
 interface TemplateIssue {
@@ -37,21 +43,20 @@ interface TemplateIssue {
 }
 //#endregion
 //#region src/analyze/render-body.d.ts
-
 /** 主视图依赖提取结果。 */
 interface RenderAnalysis {
   /** 主视图依赖路径（对应 ViewDepMap） */
   viewDeps: string[];
   /** 子视图依赖：回调节点 start 偏移 → 路径列表 */
   subViewDeps: Map<number, string[]>;
-  /** 降级原因列表（空表示未降级） */
-  degrades: string[];
+  /** 阻断原因列表（空表示通过）。非空 ⇒ `assertStaticAnalysis` 抛 `StaticAnalysisError`。 */
+  blockers: string[];
   /**
    * 硬性违规（当前只有 D7：模板内直接嵌套模板）。
    *
-   * 与 degrades 的区别：degrades 是「静态推不出，放弃注入（降级）」，
-   * errors 是「写法违反约束，必须改代码」——二者都导致降级，但 errors 需要在
-   * 构建期报给用户，因为它是可修的、且修掉后才能启用编译期产物。
+   * 与 `blockers` 都是「不可编译」，二者的区别只在**归因**：`blockers` 是
+   * 「静态推不出结论」（D0/D3/D4/D5/D6），`errors` 是「写法违反约束，用户可修」
+   * （D7）—— 故 errors 带源码区间，供构建期定位到具体位置。
    */
   errors: TemplateIssue[];
 }
@@ -60,17 +65,14 @@ declare function analyzeRender(comp: ComponentAnalysis, sinks?: {
   mainHits: any[];
 }): RenderAnalysis;
 //#endregion
-//#region src/analyze/degrade.d.ts
+//#region src/analyze/static-gate.d.ts
 
 /**
- * 汇总单个组件的静态分析结论。
- * 命中任何一条 ⇒ 抛错（调用方拿不到「凑合能跑」的产物）。
+ * 静态分析闸门：汇总单个组件的结论，命中任何一条即抛 `StaticAnalysisError`。
+ *
+ * 无返回值 —— 只有「通过」与「抛错」两种结局（见本文件头 §架构前提）。
  */
-declare function decideDegrade(comp: ComponentAnalysis, ra: RenderAnalysis): {
-  degraded: false;
-  reason: null;
-  errors: RenderAnalysis['errors'];
-};
+declare function assertStaticAnalysis(comp: ComponentAnalysis, ra: RenderAnalysis): void;
 /**
  * 静态分析未通过。`name` 让它在堆栈里一眼可辨。 */
 declare class StaticAnalysisError extends Error {
@@ -82,9 +84,7 @@ declare class StaticAnalysisError extends Error {
 //#endregion
 //#region src/codegen/inject.d.ts
 interface InjectOptions {
-  /** 是否生成取值函数 */
-  buildVars?: boolean;
-  /** 无视图组件标记：注入 noView: true（不创建 Shadow DOM） */
+  /** 无视图组件标记：注入 noView: true（不创建 Shadow DOM）*/
   noView?: boolean;
 }
 /** `buildStaticLiteral` 可选生成物（任一缺失则对应字段不注入）。 */
@@ -99,20 +99,15 @@ interface StaticLiteralCodes {
   fx?: string;
   /** watch effect 工厂数组 */
   watchEffects?: string;
+  /** `entries` 是否已内联**同文件**基类的 @watch —— 决定 watchEffects 是否还拼父类数组 */
+  inlinedWatchAncestors?: boolean;
   /** cssVars effect 工厂（读 CSS 依赖信号 → 更新自定义属性） */
   cssEffect?: string;
-  /** 结构指令元数据占位字段，运行时从不读取（分派参数在 pointEffects 内） */
-  dirMeta?: string;
   buildTemplate?: string;
   /** 子视图表（结构指令的子模板元数据）：`subViews: { <subId>: { buildTemplate, fx } }` */
   subViews?: string;
   /**
-   * 抽出的表达式中用到的 `super.METHOD` 名。注入到 class 体：
-   * `__ce_s_METHOD(...a){return super.METHOD(...a)}`，
-   * 保留 home-object 的 super 绑定，供静态取值函数经 `__comp` 调用。
-   */
-  superHelpers?: string[];
-  /** `__ce_static__.props` 字面量值（@prop 前移，analyze/field-extract.ts） */
+   /** `__ce_static__.props` 字面量值（@prop 前移，analyze/field-extract.ts） */
   props?: string;
   /** `__ce_static__.states` 字面量值（@state 前移） */
   states?: string;
@@ -129,11 +124,23 @@ interface CtorInsertPlan {
   pos: number;
   /** true = 类无构造体 → 合成 `constructor(...__a){ super(...__a); ... }` */
   synthesize: boolean;
+  /**
+   * 警告级诊断（W 通道）：super(…) 不在构造体顶层语句位时给出——
+   * 插入点只能退到构造体末尾，prop/state 初始值写入晚于分支内用户语句，
+   * 与原生字段初始化时机不严格等价。调用方转成 severity:'warn' 诊断。
+   */
+  warn?: string;
 }
 /** 文件级运行时函数 import 注入参数。 */
 interface ImportInjectOptions {
   /** 需要导入的运行时函数名（已定名，含可能的 __ce_ 别名） */
   helpers?: string[];
+  /**
+   * helper 的本地名 → 原始导出名。仅当本地名与导出名不同（冲突别名）时需要；
+   * 缺省按同名导入。例如 `{ __ce_signal: 'signal' }` →
+   * `import { signal as __ce_signal } from 'compelem'`。
+   */
+  helperAliases?: Record<string, string>;
   /** 定位到的 compelem import 声明：有命名 specifier 则原位扩展，否则新增独立行 */
   helperImport?: {
     decl: any;
@@ -143,6 +150,8 @@ interface ImportInjectOptions {
   helpersAnchor?: number;
   /** 需要从 **myfx** 注入的运行时函数名（方法装饰器前移的 debounce/throttle/once） */
   myfxHelpers?: string[];
+  /** myfx helper 的本地名 → 原始导出名（同 helperAliases） */
+  myfxAliases?: Record<string, string>;
   /** 定位到的 myfx import 声明：有命名 specifier 则原位扩展，否则新增独立行 */
   myfxImport?: {
     decl: any;
@@ -155,6 +164,12 @@ interface ImportInjectOptions {
   topLevel?: string;
   /** topLevel 的插入锚点（紧跟其后的偏移） */
   topLevelAnchor?: number;
+  /** inline 预变换的原始坐标编辑；在 class 注入前统一 overwrite。 */
+  inlineEdits?: Array<{
+    start: number;
+    end: number;
+    text: string;
+  }>;
 }
 /** 生成 `static __ce_static__ = {...}` 的源码文本。 */
 declare function buildStaticLiteral(opts: InjectOptions, codes?: StaticLiteralCodes): string;
@@ -215,22 +230,15 @@ interface CompileResult {
   /** 本次编译的诊断信息（组件级） */
   diagnostics: Array<{
     className: string;
-    degraded: boolean;
-    reason: string | null;
     viewDeps: number;
-    /** 硬性违规（D7 嵌套模板），需在构建期暴露给用户 */
-    errors: Array<{
-      start: number;
-      end: number;
-      exprStart: number;
-      exprEnd: number;
-      message: string;
-    }>;
-    /** 约定错误（emit/@prop/@computed/@csscope 静态校验），与降级无关 */
+    /**
+     * 约定错误（emit/@prop/@computed/@csscope 静态校验）。
+     */
     conventionErrors: Array<{
       start: number;
       end: number;
       message: string;
+      severity?: 'warn';
     }>;
     /** 静态依赖清单（每组件无条件填充；options.verbose 时输出人类可读格式） */
     deps?: DepSummary;
@@ -260,20 +268,11 @@ interface VarMapEntry {
   }>;
 }
 /**
- * 默认的参与编译判定：`.ts` 且源码里出现 `extends CompElem` 或 `@tag`。
- *
- * 额外放行**家族装饰器**形态：mixin 文件（`export function mix(B) { class M extends B { @prop … } }`）
- * 既不含 `extends CompElem` 也不含 `@tag`（`@tag` 挂在具体组件上），但必须参与编译，
- * 否则其中的 `@prop/@state/@computed` 不会被剥离、注入的 `__ce_static__` 缺失，
- * 而运行时这几个装饰器是 no-op ⇒ 属性静默退化成普通实例字段。
- * 精确性由 `collectMixinClasses` 的「顶层函数体内 + 带 compelem 家族装饰器」把关，
- * 这里放宽只是让文件进入管线。
- *
- * ⚠️ 保持只收 `.ts`：IIFE 打包产物（`.js`）里指令名不在 scope，放宽会触发 D3 误报。
+ * 默认的参与编译判定：`.ts` 且源码里出现 `extends CompElem` 或 `@tag`
  */
 declare function defaultInclude(id: string, code: string): boolean;
-/** 编译单个文件。不会抛出：解析失败时原样返回。 */
+/** 编译单个文件。解析失败时原样返回；静态分析/模板 codegen 失败会抛 StaticAnalysisError。 */
 declare function compileFile(code: string, id: string, options?: CompilerOptions): CompileResult;
 //#endregion
-export { type CompileResult, type CompiledStatic, type CompilerOptions, type ComponentAnalysis, DEBUG_DIV, type DepSummary, type ReactiveField, type ReactiveKind, type RenderAnalysis, StaticAnalysisError, type VitePluginOptions, analyzeFile, analyzeRender, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, decideDegrade, defaultInclude, injectInto, isCompelemSource };
+export { type CompileResult, type CompiledStatic, type CompilerOptions, type ComponentAnalysis, DEBUG_DIV, type DepSummary, type ReactiveField, type ReactiveKind, type RenderAnalysis, StaticAnalysisError, type VitePluginOptions, analyzeFile, analyzeRender, assertStaticAnalysis, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, defaultInclude, injectInto, inlineTemplateMethods, isCompelemSource, parse };
 //# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -1,3 +1,3 @@
-import { a as buildStaticLiteral, c as analyzeRender, d as analyzeFile, f as collectCompelemImports, i as defaultInclude, l as StaticAnalysisError, o as injectInto, p as isCompelemSource, r as compileFile, s as DEBUG_DIV, t as compelemCompiler, u as decideDegrade } from "./vite-DU4Nznh4.js";
+import { a as buildStaticLiteral, c as StaticAnalysisError, d as analyzeRender, f as analyzeFile, h as parse, i as defaultInclude, l as assertStaticAnalysis, m as isCompelemSource, o as injectInto, p as collectCompelemImports, r as compileFile, s as DEBUG_DIV, t as compelemCompiler, u as inlineTemplateMethods } from "./vite-CY_6E-Ut.js";
 
-export { DEBUG_DIV, StaticAnalysisError, analyzeFile, analyzeRender, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, decideDegrade, defaultInclude, injectInto, isCompelemSource };
+export { DEBUG_DIV, StaticAnalysisError, analyzeFile, analyzeRender, assertStaticAnalysis, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, defaultInclude, injectInto, inlineTemplateMethods, isCompelemSource, parse };