@llui/compiler 0.3.0

package/dist/modules/each-memo.js

@@ -0,0 +1,115 @@
+// `each-memo` — wraps `each({ items: (s) => ... })` accessor in
+// `memo(accessor, mask)` when the accessor allocates a new array on
+// every call (filter/map/slice/sort/etc.). Each's runtime same-ref
+// fast path handles non-allocating accessors (`(s) => s.items`)
+// already, so wrap is gated on `accessorAllocatesArray`.
+//
+// Fires top-down (transformCallEnter) — wraps the each() call's
+// items accessor before children are visited. Subsequent passes
+// (dedup, mask-injection, the inline element rewrites still in
+// transform.ts) see the wrapped form, which is structurally
+// transparent: `memo(...)` is a CallExpression that still resolves
+// to the same logical accessor at runtime.
+//
+// The module signals back via a per-file slot (`EACH_MEMO_SLOT`)
+// when at least one wrap occurred. The umbrella reads it to decide
+// whether `cleanupImports` must add `memo` to the @llui/dom imports.
+import ts from 'typescript';
+import { computeAccessorMask, createMaskLiteral, isHelperCall } from '../transform.js';
+export const EACH_MEMO_SLOT = 'each-memo:state';
+export function eachMemoModule(options) {
+    const { fieldBits, viewHelperNames, viewHelperAliases } = options;
+    return {
+        name: 'each-memo',
+        compilerVersion: '^0.3.0',
+        diagnostics: [],
+        visitors: {},
+        transformCallEnter(ctx, node) {
+            if (!isHelperCall(node.expression, 'each', viewHelperNames, viewHelperAliases))
+                return null;
+            const arg = node.arguments[0];
+            if (!arg || !ts.isObjectLiteralExpression(arg))
+                return null;
+            let itemsProp = null;
+            for (const prop of arg.properties) {
+                if (ts.isPropertyAssignment(prop) &&
+                    ts.isIdentifier(prop.name) &&
+                    prop.name.text === 'items') {
+                    itemsProp = prop;
+                    break;
+                }
+            }
+            if (!itemsProp)
+                return null;
+            const accessor = itemsProp.initializer;
+            if (!ts.isArrowFunction(accessor) && !ts.isFunctionExpression(accessor))
+                return null;
+            // Only wrap allocating accessors — each's same-ref fast path
+            // handles `(s) => s.items` correctly without memo.
+            if (!accessorAllocatesArray(accessor.body))
+                return null;
+            const { mask, readsState } = computeAccessorMask(accessor, fieldBits);
+            if (mask === 0 && !readsState)
+                return null; // constant, nothing to memoize
+            const finalMask = mask === 0 && readsState ? 0xffffffff | 0 : mask;
+            const f = ctx.factory;
+            const wrapped = f.createCallExpression(f.createIdentifier('memo'), undefined, [
+                accessor,
+                createMaskLiteral(f, finalMask),
+            ]);
+            const newProps = arg.properties.map((p) => p === itemsProp ? f.createPropertyAssignment('items', wrapped) : p);
+            const newArg = f.createObjectLiteralExpression(newProps, true);
+            const slot = ctx.analysis.perModule.get(EACH_MEMO_SLOT);
+            if (slot)
+                slot.usesMemo = true;
+            else
+                ctx.analysis.perModule.set(EACH_MEMO_SLOT, { usesMemo: true });
+            return f.createCallExpression(node.expression, node.typeArguments, [
+                newArg,
+                ...node.arguments.slice(1),
+            ]);
+        },
+    };
+}
+const ALLOCATING_METHODS = new Set([
+    'filter',
+    'map',
+    'slice',
+    'sort',
+    'reverse',
+    'concat',
+    'flat',
+    'flatMap',
+    'reduce',
+]);
+function accessorAllocatesArray(body) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (ts.isCallExpression(n) &&
+            ts.isPropertyAccessExpression(n.expression) &&
+            ts.isIdentifier(n.expression.name) &&
+            ALLOCATING_METHODS.has(n.expression.name.text)) {
+            found = true;
+            return;
+        }
+        if (ts.isArrayLiteralExpression(n) && n.elements.some((el) => ts.isSpreadElement(el))) {
+            found = true;
+            return;
+        }
+        if (ts.isCallExpression(n) &&
+            ts.isPropertyAccessExpression(n.expression) &&
+            ts.isIdentifier(n.expression.expression) &&
+            n.expression.expression.text === 'Array' &&
+            ts.isIdentifier(n.expression.name) &&
+            n.expression.name.text === 'from') {
+            found = true;
+            return;
+        }
+        ts.forEachChild(n, walk);
+    }
+    walk(body);
+    return found;
+}
+//# sourceMappingURL=each-memo.js.map

package/dist/modules/each-memo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"each-memo.js","sourceRoot":"","sources":["../../src/modules/each-memo.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,oEAAoE;AACpE,mEAAmE;AACnE,gEAAgE;AAChE,yDAAyD;AACzD,EAAE;AACF,gEAAgE;AAChE,gEAAgE;AAChE,+DAA+D;AAC/D,4DAA4D;AAC5D,mEAAmE;AACnE,2CAA2C;AAC3C,EAAE;AACF,iEAAiE;AACjE,mEAAmE;AACnE,qEAAqE;AAErE,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAetF,MAAM,CAAC,MAAM,cAAc,GAAG,iBAAiB,CAAA;AAE/C,MAAM,UAAU,cAAc,CAAC,OAA8B;IAC3D,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAA;IACjE,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;QAEZ,kBAAkB,CAAC,GAAG,EAAE,IAAI;YAC1B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,iBAAiB,CAAC;gBAAE,OAAO,IAAI,CAAA;YAC3F,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;YAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAA;YAE3D,IAAI,SAAS,GAAiC,IAAI,CAAA;YAClD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAClC,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;oBAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAC1B,CAAC;oBACD,SAAS,GAAG,IAAI,CAAA;oBAChB,MAAK;gBACP,CAAC;YACH,CAAC;YACD,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAI,CAAA;YAE3B,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAA;YACtC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAA;YAEpF,6DAA6D;YAC7D,mDAAmD;YACnD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;YAEvD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YACrE,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,IAAI,CAAA,CAAC,+BAA+B;YAC1E,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAElE,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAA;YACrB,MAAM,OAAO,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE;gBAC5E,QAAQ;gBACR,iBAAiB,CAAC,CAAC,EAAE,SAAS,CAAC;aAChC,CAAC,CAAA;YACF,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CACnE,CAAA;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,6BAA6B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YAC9D,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAA6B,CAAA;YACnF,IAAI,IAAI;gBAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;;gBACzB,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAkB,CAAC,CAAA;YACnF,OAAO,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE;gBACjE,MAAM;gBACN,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;aAC3B,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;AACH,CAAC;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,QAAQ;IACR,KAAK;IACL,OAAO;IACP,MAAM;IACN,SAAS;IACT,QAAQ;IACR,MAAM;IACN,SAAS;IACT,QAAQ;CACT,CAAC,CAAA;AAEF,SAAS,sBAAsB,CAAC,IAAoC;IAClE,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,SAAS,IAAI,CAAC,CAAU;QACtB,IAAI,KAAK;YAAE,OAAM;QACjB,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACtB,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;YAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YAClC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAC9C,CAAC;YACD,KAAK,GAAG,IAAI,CAAA;YACZ,OAAM;QACR,CAAC;QACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACtF,KAAK,GAAG,IAAI,CAAA;YACZ,OAAM;QACR,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACtB,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;YAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;YACxC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;YACxC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YAClC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACjC,CAAC;YACD,KAAK,GAAG,IAAI,CAAA;YACZ,OAAM;QACR,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,KAAK,CAAA;AACd,CAAC","sourcesContent":["// `each-memo` — wraps `each({ items: (s) => ... })` accessor in\n// `memo(accessor, mask)` when the accessor allocates a new array on\n// every call (filter/map/slice/sort/etc.). Each's runtime same-ref\n// fast path handles non-allocating accessors (`(s) => s.items`)\n// already, so wrap is gated on `accessorAllocatesArray`.\n//\n// Fires top-down (transformCallEnter) — wraps the each() call's\n// items accessor before children are visited. Subsequent passes\n// (dedup, mask-injection, the inline element rewrites still in\n// transform.ts) see the wrapped form, which is structurally\n// transparent: `memo(...)` is a CallExpression that still resolves\n// to the same logical accessor at runtime.\n//\n// The module signals back via a per-file slot (`EACH_MEMO_SLOT`)\n// when at least one wrap occurred. The umbrella reads it to decide\n// whether `cleanupImports` must add `memo` to the @llui/dom imports.\n\nimport ts from 'typescript'\nimport type { CompilerModule } from '../module.js'\nimport { computeAccessorMask, createMaskLiteral, isHelperCall } from '../transform.js'\n\nexport interface EachMemoModuleOptions {\n  fieldBits: Map<string, number>\n  /** View-helper names — gates `isHelperCall` on each() under aliased shapes. */\n  viewHelperNames: Set<string>\n  /** Destructured view-helper aliases (e.g. `{ each: e }` → `e` → `each`). */\n  viewHelperAliases: Map<string, string>\n}\n\nexport interface EachMemoSlot {\n  /** True when the module wrapped at least one each() items accessor. */\n  usesMemo: boolean\n}\n\nexport const EACH_MEMO_SLOT = 'each-memo:state'\n\nexport function eachMemoModule(options: EachMemoModuleOptions): CompilerModule {\n  const { fieldBits, viewHelperNames, viewHelperAliases } = options\n  return {\n    name: 'each-memo',\n    compilerVersion: '^0.3.0',\n    diagnostics: [],\n    visitors: {},\n\n    transformCallEnter(ctx, node) {\n      if (!isHelperCall(node.expression, 'each', viewHelperNames, viewHelperAliases)) return null\n      const arg = node.arguments[0]\n      if (!arg || !ts.isObjectLiteralExpression(arg)) return null\n\n      let itemsProp: ts.PropertyAssignment | null = null\n      for (const prop of arg.properties) {\n        if (\n          ts.isPropertyAssignment(prop) &&\n          ts.isIdentifier(prop.name) &&\n          prop.name.text === 'items'\n        ) {\n          itemsProp = prop\n          break\n        }\n      }\n      if (!itemsProp) return null\n\n      const accessor = itemsProp.initializer\n      if (!ts.isArrowFunction(accessor) && !ts.isFunctionExpression(accessor)) return null\n\n      // Only wrap allocating accessors — each's same-ref fast path\n      // handles `(s) => s.items` correctly without memo.\n      if (!accessorAllocatesArray(accessor.body)) return null\n\n      const { mask, readsState } = computeAccessorMask(accessor, fieldBits)\n      if (mask === 0 && !readsState) return null // constant, nothing to memoize\n      const finalMask = mask === 0 && readsState ? 0xffffffff | 0 : mask\n\n      const f = ctx.factory\n      const wrapped = f.createCallExpression(f.createIdentifier('memo'), undefined, [\n        accessor,\n        createMaskLiteral(f, finalMask),\n      ])\n      const newProps = arg.properties.map((p) =>\n        p === itemsProp ? f.createPropertyAssignment('items', wrapped) : p,\n      )\n      const newArg = f.createObjectLiteralExpression(newProps, true)\n      const slot = ctx.analysis.perModule.get(EACH_MEMO_SLOT) as EachMemoSlot | undefined\n      if (slot) slot.usesMemo = true\n      else ctx.analysis.perModule.set(EACH_MEMO_SLOT, { usesMemo: true } as EachMemoSlot)\n      return f.createCallExpression(node.expression, node.typeArguments, [\n        newArg,\n        ...node.arguments.slice(1),\n      ])\n    },\n  }\n}\n\nconst ALLOCATING_METHODS = new Set([\n  'filter',\n  'map',\n  'slice',\n  'sort',\n  'reverse',\n  'concat',\n  'flat',\n  'flatMap',\n  'reduce',\n])\n\nfunction accessorAllocatesArray(body: ts.ConciseBody | ts.Expression): boolean {\n  let found = false\n  function walk(n: ts.Node): void {\n    if (found) return\n    if (\n      ts.isCallExpression(n) &&\n      ts.isPropertyAccessExpression(n.expression) &&\n      ts.isIdentifier(n.expression.name) &&\n      ALLOCATING_METHODS.has(n.expression.name.text)\n    ) {\n      found = true\n      return\n    }\n    if (ts.isArrayLiteralExpression(n) && n.elements.some((el) => ts.isSpreadElement(el))) {\n      found = true\n      return\n    }\n    if (\n      ts.isCallExpression(n) &&\n      ts.isPropertyAccessExpression(n.expression) &&\n      ts.isIdentifier(n.expression.expression) &&\n      n.expression.expression.text === 'Array' &&\n      ts.isIdentifier(n.expression.name) &&\n      n.expression.name.text === 'from'\n    ) {\n      found = true\n      return\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(body)\n  return found\n}\n"]}

package/dist/modules/effect-without-handler.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerModule } from '../module.js';
+export declare function effectWithoutHandlerModule(): CompilerModule;
+//# sourceMappingURL=effect-without-handler.d.ts.map

package/dist/modules/effect-without-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-without-handler.d.ts","sourceRoot":"","sources":["../../src/modules/effect-without-handler.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AA6ClD,wBAAgB,0BAA0B,IAAI,cAAc,CA6C3D"}

package/dist/modules/effect-without-handler.js

@@ -0,0 +1,92 @@
+// `effect-without-handler` — errors when a component's update returns
+// effects (a non-empty second array in the `[state, effects]` tuple)
+// but the component declares no `onEffect` handler. The runtime only
+// handles `delay` and `log` automatically; any other effect is silently
+// dropped. Migrated from
+// `@llui/eslint-plugin/src/rules/effect-without-handler.ts`.
+import ts from 'typescript';
+import { rangeFromOffsets } from '../diagnostic.js';
+import { findComponentCalls } from './_shared.js';
+function getConfigArg(call) {
+    const arg = call.arguments[0];
+    if (!arg || !ts.isObjectLiteralExpression(arg))
+        return undefined;
+    return arg;
+}
+function findProp(obj, name) {
+    for (const prop of obj.properties) {
+        if (ts.isPropertyAssignment(prop) && ts.isIdentifier(prop.name) && prop.name.text === name) {
+            return prop;
+        }
+    }
+    return undefined;
+}
+/**
+ * True when the function body contains an array literal of length 2
+ * whose second element is a non-empty array — the `[state, [effect1, …]]`
+ * pattern. We walk the whole body because the return may be inside
+ * a switch branch; we don't try to scope to "actually reached" returns,
+ * matching the ESLint rule's coarse-but-useful heuristic.
+ */
+function returnsNonEmptyEffects(body) {
+    let found = false;
+    const walk = (n) => {
+        if (found)
+            return;
+        if (ts.isArrayLiteralExpression(n) && n.elements.length === 2) {
+            const second = n.elements[1];
+            if (second && ts.isArrayLiteralExpression(second) && second.elements.length > 0) {
+                found = true;
+                return;
+            }
+        }
+        ts.forEachChild(n, walk);
+    };
+    walk(body);
+    return found;
+}
+export function effectWithoutHandlerModule() {
+    return {
+        name: 'effect-without-handler',
+        compilerVersion: '^0.3.0',
+        diagnostics: [
+            {
+                id: 'llui/effect-without-handler',
+                description: 'update() returns effects but the component has no onEffect handler — effects will be silently dropped.',
+            },
+        ],
+        visitors: {
+            [ts.SyntaxKind.SourceFile]: (ctx, node) => {
+                const visited = node;
+                const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true);
+                for (const call of findComponentCalls(sf)) {
+                    const config = getConfigArg(call);
+                    if (!config)
+                        continue;
+                    const updateProp = findProp(config, 'update');
+                    const onEffectProp = findProp(config, 'onEffect');
+                    if (!updateProp || onEffectProp)
+                        continue;
+                    const fn = updateProp.initializer;
+                    if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn))
+                        continue;
+                    if (!fn.body)
+                        continue;
+                    if (!returnsNonEmptyEffects(fn.body))
+                        continue;
+                    ctx.reportDiagnostic({
+                        id: 'llui/effect-without-handler',
+                        severity: 'error',
+                        category: 'composition',
+                        message: 'Component returns effects from update() but has no onEffect handler. Only `delay` and `log` are handled by the core runtime; any other effect is silently dropped. Add an `onEffect` handler — typically via `handleEffects<Effect>().on(...).else(...)` — or remove the effect.',
+                        location: {
+                            file: sf.fileName,
+                            range: rangeFromOffsets(sf.text, updateProp.name.getStart(sf), updateProp.name.getEnd()),
+                        },
+                    });
+                }
+            },
+        },
+    };
+}
+//# sourceMappingURL=effect-without-handler.js.map

package/dist/modules/effect-without-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-without-handler.js","sourceRoot":"","sources":["../../src/modules/effect-without-handler.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,qEAAqE;AACrE,qEAAqE;AACrE,wEAAwE;AACxE,yBAAyB;AACzB,6DAA6D;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAEjD,SAAS,YAAY,CAAC,IAAuB;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAChE,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,QAAQ,CACf,GAA+B,EAC/B,IAAY;IAEZ,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3F,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,IAAa;IAC3C,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,KAAK;YAAE,OAAM;QACjB,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC5B,IAAI,MAAM,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChF,KAAK,GAAG,IAAI,CAAA;gBACZ,OAAM;YACR,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,eAAe,EAAE,QAAQ;QACzB,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,6BAA6B;gBACjC,WAAW,EACT,wGAAwG;aAC3G;SACF;QACD,QAAQ,EAAE;YACR,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;gBACxC,MAAM,OAAO,GAAG,IAAqB,CAAA;gBACrC,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC5F,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;oBACjC,IAAI,CAAC,MAAM;wBAAE,SAAQ;oBACrB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;oBAC7C,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;oBACjD,IAAI,CAAC,UAAU,IAAI,YAAY;wBAAE,SAAQ;oBACzC,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAA;oBACjC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;wBAAE,SAAQ;oBACrE,IAAI,CAAC,EAAE,CAAC,IAAI;wBAAE,SAAQ;oBACtB,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,CAAC;wBAAE,SAAQ;oBAE9C,GAAG,CAAC,gBAAgB,CAAC;wBACnB,EAAE,EAAE,6BAA6B;wBACjC,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,aAAa;wBACvB,OAAO,EACL,kRAAkR;wBACpR,QAAQ,EAAE;4BACR,IAAI,EAAE,EAAE,CAAC,QAAQ;4BACjB,KAAK,EAAE,gBAAgB,CACrB,EAAE,CAAC,IAAI,EACP,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAC5B,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CACzB;yBACF;qBACF,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF;KACF,CAAA;AACH,CAAC","sourcesContent":["// `effect-without-handler` — errors when a component's update returns\n// effects (a non-empty second array in the `[state, effects]` tuple)\n// but the component declares no `onEffect` handler. The runtime only\n// handles `delay` and `log` automatically; any other effect is silently\n// dropped. Migrated from\n// `@llui/eslint-plugin/src/rules/effect-without-handler.ts`.\n\nimport ts from 'typescript'\nimport { rangeFromOffsets } from '../diagnostic.js'\nimport type { CompilerModule } from '../module.js'\nimport { findComponentCalls } from './_shared.js'\n\nfunction getConfigArg(call: ts.CallExpression): ts.ObjectLiteralExpression | undefined {\n  const arg = call.arguments[0]\n  if (!arg || !ts.isObjectLiteralExpression(arg)) return undefined\n  return arg\n}\n\nfunction findProp(\n  obj: ts.ObjectLiteralExpression,\n  name: string,\n): ts.PropertyAssignment | undefined {\n  for (const prop of obj.properties) {\n    if (ts.isPropertyAssignment(prop) && ts.isIdentifier(prop.name) && prop.name.text === name) {\n      return prop\n    }\n  }\n  return undefined\n}\n\n/**\n * True when the function body contains an array literal of length 2\n * whose second element is a non-empty array — the `[state, [effect1, …]]`\n * pattern. We walk the whole body because the return may be inside\n * a switch branch; we don't try to scope to \"actually reached\" returns,\n * matching the ESLint rule's coarse-but-useful heuristic.\n */\nfunction returnsNonEmptyEffects(body: ts.Node): boolean {\n  let found = false\n  const walk = (n: ts.Node): void => {\n    if (found) return\n    if (ts.isArrayLiteralExpression(n) && n.elements.length === 2) {\n      const second = n.elements[1]\n      if (second && ts.isArrayLiteralExpression(second) && second.elements.length > 0) {\n        found = true\n        return\n      }\n    }\n    ts.forEachChild(n, walk)\n  }\n  walk(body)\n  return found\n}\n\nexport function effectWithoutHandlerModule(): CompilerModule {\n  return {\n    name: 'effect-without-handler',\n    compilerVersion: '^0.3.0',\n    diagnostics: [\n      {\n        id: 'llui/effect-without-handler',\n        description:\n          'update() returns effects but the component has no onEffect handler — effects will be silently dropped.',\n      },\n    ],\n    visitors: {\n      [ts.SyntaxKind.SourceFile]: (ctx, node) => {\n        const visited = node as ts.SourceFile\n        const sf = ts.createSourceFile(visited.fileName, visited.text, ts.ScriptTarget.Latest, true)\n        for (const call of findComponentCalls(sf)) {\n          const config = getConfigArg(call)\n          if (!config) continue\n          const updateProp = findProp(config, 'update')\n          const onEffectProp = findProp(config, 'onEffect')\n          if (!updateProp || onEffectProp) continue\n          const fn = updateProp.initializer\n          if (!ts.isArrowFunction(fn) && !ts.isFunctionExpression(fn)) continue\n          if (!fn.body) continue\n          if (!returnsNonEmptyEffects(fn.body)) continue\n\n          ctx.reportDiagnostic({\n            id: 'llui/effect-without-handler',\n            severity: 'error',\n            category: 'composition',\n            message:\n              'Component returns effects from update() but has no onEffect handler. Only `delay` and `log` are handled by the core runtime; any other effect is silently dropped. Add an `onEffect` handler — typically via `handleEffects<Effect>().on(...).else(...)` — or remove the effect.',\n            location: {\n              file: sf.fileName,\n              range: rangeFromOffsets(\n                sf.text,\n                updateProp.name.getStart(sf),\n                updateProp.name.getEnd(),\n              ),\n            },\n          })\n        }\n      },\n    },\n  }\n}\n"]}

package/dist/modules/element-rewrite.d.ts

@@ -0,0 +1,22 @@
+import type { CompilerModule } from '../module.js';
+export interface ElementRewriteModuleOptions {
+    /** localName → originalName for element-helper imports (alias-aware). */
+    importedHelpers: Map<string, string>;
+    fieldBits: Map<string, number>;
+    fieldBitsHi: Map<string, number>;
+}
+export interface ElementRewriteSlot {
+    /** Helpers whose call sites the module successfully rewrote. */
+    compiled: Set<string>;
+    /** Helpers that bailed (kept their import — runtime falls back). */
+    bailed: Set<string>;
+    /** Module emitted at least one `elSplit(...)` call. */
+    usesElSplit: boolean;
+    /** Module emitted at least one `elTemplate(...)` call. */
+    usesElTemplate: boolean;
+    /** Module emitted at least one `__cloneStaticTemplate(...)` call. */
+    usesCloneStaticTemplate: boolean;
+}
+export declare const ELEMENT_REWRITE_SLOT = "element-rewrite:state";
+export declare function elementRewriteModule(options: ElementRewriteModuleOptions): CompilerModule;
+//# sourceMappingURL=element-rewrite.d.ts.map

package/dist/modules/element-rewrite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"element-rewrite.d.ts","sourceRoot":"","sources":["../../src/modules/element-rewrite.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAMlD,MAAM,WAAW,2BAA2B;IAC1C,yEAAyE;IACzE,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACpC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,gEAAgE;IAChE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrB,oEAAoE;IACpE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACnB,uDAAuD;IACvD,WAAW,EAAE,OAAO,CAAA;IACpB,0DAA0D;IAC1D,cAAc,EAAE,OAAO,CAAA;IACvB,qEAAqE;IACrE,uBAAuB,EAAE,OAAO,CAAA;CACjC;AAED,eAAO,MAAM,oBAAoB,0BAA0B,CAAA;AAE3D,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,GAAG,cAAc,CAyCzF"}