draft-ole 0.9.0

package/dist/transformer/handler-serializer.js

@@ -0,0 +1,315 @@
+"use strict";
+/**
+ * handler-serializer: `HandlerIR` + `stateIdMap` → `SerializedHandler { code, params }`
+ *
+ * Task 6.1:
+ * - `HandlerIR` と `stateIdMap: Map<ts.Symbol, string>` を受け取り、
+ *   ハンドラ本体のアロー関数を `__draftole__.state("<runtimeId>")...` 形式の JS 文字列に変換する
+ * - `ts.transform` + 自家製 visitor で識別子を PropertyAccess 連鎖に置換
+ * - 最終 JS は `ts.createPrinter()` で emit（型注釈は tsc が自動除去）
+ * - 式本体アロー (`() => expr`) もブロック本体 (`() => { ... }`) も同一 IR で処理
+ *
+ * 対応 requirements: 4.2, 4.3, 4.4, 4.5, 4.6, 4.7, 4.9
+ * 対応 design: handler-serializer, D-8
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.serializeHandler = serializeHandler;
+const ts = __importStar(require("typescript"));
+// ---- ランタイム API 名 -------------------------------------------------------
+/** ランタイムグローバル名 */
+const RUNTIME_GLOBAL = '__draftole__';
+/** state() メソッド名 */
+const RUNTIME_STATE_METHOD = 'state';
+// ---- ヘルパー ----------------------------------------------------------------
+/**
+ * `__draftole__.state("<runtimeId>")` の CallExpression を生成する。
+ *
+ * 生成 AST:
+ *   __draftole__.state("<runtimeId>")
+ * = CallExpression(
+ *     PropertyAccessExpression(Identifier("__draftole__"), "state"),
+ *     [StringLiteral("<runtimeId>")]
+ *   )
+ */
+function createStateCall(runtimeId, factory) {
+    const draftoleIdent = factory.createIdentifier(RUNTIME_GLOBAL);
+    const stateAccess = factory.createPropertyAccessExpression(draftoleIdent, factory.createIdentifier(RUNTIME_STATE_METHOD));
+    return factory.createCallExpression(stateAccess, 
+    /* typeArgs */ undefined, [factory.createStringLiteral(runtimeId)]);
+}
+/**
+ * `__draftole__.state(paramVar)` の CallExpression を生成する。
+ *
+ * `createStateCall` との違い: 引数が StringLiteral ではなく Identifier である。
+ * `.each()` 内ハンドラで `item` のような each スコープパラメータを動的に解決するために使用する。
+ *
+ * 生成 AST:
+ *   __draftole__.state(itemId)
+ * = CallExpression(
+ *     PropertyAccessExpression(Identifier("__draftole__"), "state"),
+ *     [Identifier(paramVar)]  ← StringLiteral ではない
+ *   )
+ *
+ * @param paramVar ランタイム変数名（例: "itemId"）
+ * @param factory  ts.NodeFactory
+ */
+function createDynamicStateCall(paramVar, factory) {
+    const draftoleIdent = factory.createIdentifier(RUNTIME_GLOBAL);
+    const stateAccess = factory.createPropertyAccessExpression(draftoleIdent, factory.createIdentifier(RUNTIME_STATE_METHOD));
+    return factory.createCallExpression(stateAccess, 
+    /* typeArgs */ undefined, [factory.createIdentifier(paramVar)]);
+}
+/**
+ * stateIdMap から「識別子名 → runtimeId」のシンプルなマップを構築する。
+ * whitelist-validator によって事前チェック済みの識別子のみが変換対象となるため、
+ * 名前ベースの照合で十分。
+ */
+function buildNameMap(stateIdMap) {
+    const nameMap = new Map();
+    for (const [sym, runtimeId] of stateIdMap) {
+        nameMap.set(sym.getName(), runtimeId);
+    }
+    return nameMap;
+}
+/**
+ * ArrowFunction の内部アロー（二次コールバック）を function 式に変換するノードファクトリ。
+ *
+ * `state.update(t => expr)` の `t => expr` を
+ * `function(t) { return expr; }` に変換する（Req 4.3, D-8）。
+ */
+function arrowToFunctionExpression(arrow, factory, visitor, context) {
+    // パラメータを変換（型注釈を除去するため visitEachChild を通す）
+    const transformedParams = arrow.parameters.map((p) => ts.visitEachChild(p, visitor, context));
+    // 本体を変換
+    let block;
+    if (ts.isBlock(arrow.body)) {
+        const transformedBlock = ts.visitEachChild(arrow.body, visitor, context);
+        block = transformedBlock;
+    }
+    else {
+        // 式本体 → return 文に変換してから再帰的に visitor を適用
+        const transformedExpr = ts.visitNode(arrow.body, visitor);
+        block = factory.createBlock([factory.createReturnStatement(transformedExpr)], 
+        /* multiline */ true);
+    }
+    return factory.createFunctionExpression(
+    /* modifiers */ undefined, 
+    /* asteriskToken */ undefined, 
+    /* name */ undefined, 
+    /* typeParams */ undefined, transformedParams, 
+    /* returnType */ undefined, block);
+}
+// ---- visitor ----------------------------------------------------------------
+/**
+ * ハンドラ本体を走査し、state 識別子を `__draftole__.state(id)` に置換する visitor を返す。
+ *
+ * 置換ルール（design §handler-serializer 変換規則表）:
+ * - `stateIdent` (stateIdMap に名前が含まれる) → `__draftole__.state("<runtimeId>")`
+ * - PropertyAccessExpression の name 側（右辺）は置換対象外
+ * - ArrowFunction（内部アロー: outerArrow と異なる）→ function 式に変換
+ * - ExpressionStatement のゼロ引数呼び出しで inlineMap に含まれる → 本体をインライン展開
+ * - その他ノードは再帰的に走査
+ *
+ * @param nameMap    識別子名 → runtimeId のマップ
+ * @param outerArrow 外側の ArrowFunction（これ自体は変換対象外）
+ * @param context    ts.TransformationContext
+ * @param inlineMap  ゼロ引数モジュールレベル関数インライン展開マップ（省略可）
+ */
+function createStateReplacingVisitor(nameMap, outerArrow, context, inlineMap, eachScopeParams) {
+    const factory = context.factory;
+    function visitor(node) {
+        // ---- ゼロ引数モジュールレベル関数呼び出しをインライン展開 ----------------
+        // `addTodo()` のような ExpressionStatement を関数本体のステートメントで置換する。
+        // Block 内の Statement ノードに対してのみ適用（visitEachChild が配列を処理）。
+        if (inlineMap !== undefined && ts.isExpressionStatement(node)) {
+            const expr = node.expression;
+            if (ts.isCallExpression(expr) &&
+                ts.isIdentifier(expr.expression) &&
+                expr.arguments.length === 0) {
+                const funcArrow = inlineMap.get(expr.expression.text);
+                if (funcArrow !== undefined && ts.isBlock(funcArrow.body)) {
+                    // インライン展開: 関数本体の各ステートメントを visitor で変換して返す
+                    return funcArrow.body.statements.map((s) => ts.visitEachChild(s, visitor, context));
+                }
+            }
+        }
+        // ---- ArrowFunction（内部アロー）を function 式に変換 --------------------
+        // outerArrow 自体は変換しない（body だけを変換する）
+        if (ts.isArrowFunction(node) && node !== outerArrow) {
+            return arrowToFunctionExpression(node, factory, visitor, context);
+        }
+        // ---- TypeScript 型アサーション（`expr as T`）を除去 ----------------------
+        // シリアライズ後のコードは JavaScript として評価されるため型アサーションを除去する。
+        if (ts.isAsExpression(node)) {
+            return ts.visitNode(node.expression, visitor);
+        }
+        // `<T>expr` 形式の型アサーションも除去（古い TS 記法）
+        if (ts.isTypeAssertionExpression(node)) {
+            return ts.visitNode(node.expression, visitor);
+        }
+        // ---- Identifier の置換 --------------------------------------------------
+        if (ts.isIdentifier(node)) {
+            // PropertyAccessExpression の name 側（右辺）はスキップ
+            // 例: `count.get()` の `get` は変換しない
+            const parent = node.parent;
+            if (ts.isPropertyAccessExpression(parent) &&
+                parent.name === node) {
+                return node;
+            }
+            // each スコープパラメータなら Identifier 引数で動的置換（nameMap より先に評価）
+            const dynamicParamVar = eachScopeParams === null || eachScopeParams === void 0 ? void 0 : eachScopeParams.get(node.text);
+            if (dynamicParamVar !== undefined) {
+                return createDynamicStateCall(dynamicParamVar, factory);
+            }
+            // stateIdMap に含まれる名前なら置換
+            const runtimeId = nameMap.get(node.text);
+            if (runtimeId !== undefined) {
+                return createStateCall(runtimeId, factory);
+            }
+            return node;
+        }
+        // ---- TypeAssertion / AsExpression: 型注釈を除去 -------------------------
+        // `(e.target as HTMLInputElement)` → `(e.target)` ではなく、
+        // TypeScript Printer が --target ES2019 では as 式のまま出力するため
+        // ここでは変換せず、Printer の emitFlags に任せる。
+        // (型注釈除去は本来 tsc の仕事: TypeScript の transform emit でのみ除去される)
+        // ---- その他ノード: 再帰的に走査 -----------------------------------------
+        return ts.visitEachChild(node, visitor, context);
+    }
+    return visitor;
+}
+// ---- emit ヘルパー -----------------------------------------------------------
+/**
+ * 変換済みの Statement[] を結合して JS コード文字列を返す。
+ */
+function printStatements(statements, sourceFile, printer) {
+    return statements
+        .map((stmt) => printer.printNode(ts.EmitHint.Unspecified, stmt, sourceFile))
+        .join('\n');
+}
+// ---- メイン実装 -------------------------------------------------------------
+/**
+ * `HandlerIR` と `stateIdMap` からハンドラ本体を `SerializedHandler` に変換する。
+ *
+ * - `ts.transform` + 自家製 visitor で識別子を `__draftole__.state(id)...` 連鎖に置換
+ * - `ts.createPrinter()` で JS として emit（型注釈は TypeScript が自動除去）
+ * - 識別子の置換対象: stateIdMap に Symbol が含まれる Identifier ノード
+ *
+ * @param input HandlerSerializerInput
+ * @returns SerializedHandler
+ */
+function serializeHandler(input) {
+    const { ir, stateIdMap } = input;
+    // ---- params の決定 (Req 4.4) -----------------------------------------------
+    const params = ir.paramName !== null ? [ir.paramName] : [];
+    // ---- 準備 -------------------------------------------------------------------
+    const arrowFn = ir.node;
+    const sourceFile = arrowFn.getSourceFile();
+    const nameMap = buildNameMap(stateIdMap);
+    // ---- ts.transform で AST 変換 -----------------------------------------------
+    // ArrowFunction の body を含む SourceFile を transform する。
+    // visitor は body 内のノードのみを実質的に書き換える（outerArrow の body から走査）。
+    const transformResult = ts.transform(sourceFile, [
+        (context) => {
+            const visitor = createStateReplacingVisitor(nameMap, arrowFn, context, input.inlineMap, input.eachScopeParams);
+            return (sf) => {
+                // SourceFile 全体を走査するが、変換対象は arrowFn 内のノードのみ
+                return ts.visitEachChild(sf, visitor, context);
+            };
+        },
+    ], {
+        target: ts.ScriptTarget.ES2019,
+        module: ts.ModuleKind.CommonJS,
+    });
+    const transformedSf = transformResult.transformed[0];
+    // ---- 変換後の ArrowFunction を探す -----------------------------------------
+    // 変換後 SourceFile から元の arrowFn に対応するノードを探す。
+    // transform は元のノードと対応する変換後ノードを返すが、
+    // visitEachChild は新しいノードを作成するため pos は保持しない。
+    // 代わりに、元の arrowFn の pos/end と合致するノードを探す。
+    let transformedArrow;
+    const targetPos = arrowFn.pos;
+    const targetEnd = arrowFn.end;
+    function findTransformedArrow(node) {
+        if (ts.isArrowFunction(node) &&
+            node.pos === targetPos &&
+            node.end === targetEnd) {
+            transformedArrow = node;
+            return;
+        }
+        // 変換で pos が変わった場合のフォールバック: 最初の ArrowFunction
+        ts.forEachChild(node, findTransformedArrow);
+    }
+    findTransformedArrow(transformedSf);
+    // pos/end で見つからない場合、変換後の SourceFile 内の最初の ArrowFunction を使う
+    // （変換によって pos が変わることがある）
+    if (transformedArrow === undefined) {
+        function findFirstArrow(node) {
+            if (transformedArrow !== undefined)
+                return;
+            if (ts.isArrowFunction(node)) {
+                transformedArrow = node;
+                return;
+            }
+            ts.forEachChild(node, findFirstArrow);
+        }
+        findFirstArrow(transformedSf);
+    }
+    transformResult.dispose();
+    // ---- emit -------------------------------------------------------------------
+    const printer = ts.createPrinter({
+        newLine: ts.NewLineKind.LineFeed,
+        omitTrailingSemicolon: false,
+        removeComments: false,
+    });
+    // 変換後の ArrowFunction が見つからなかった場合はエラー
+    if (transformedArrow === undefined) {
+        throw new Error('[handler-serializer] Failed to locate transformed ArrowFunction');
+    }
+    let code;
+    if (ir.isExpressionBody) {
+        // 式本体: body expression を直接 emit
+        const bodyExpr = transformedArrow.body;
+        code = printer.printNode(ts.EmitHint.Expression, bodyExpr, transformedSf);
+    }
+    else {
+        // ブロック本体: 各 statement を emit して結合
+        const block = transformedArrow.body;
+        code = printStatements(block.statements, transformedSf, printer);
+    }
+    return { code, params };
+}
+//# sourceMappingURL=handler-serializer.js.map

package/dist/transformer/handler-serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler-serializer.js","sourceRoot":"","sources":["../../src/transformer/handler-serializer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6RH,4CAwGC;AAnYD,+CAAiC;AAoCjC,2EAA2E;AAE3E,kBAAkB;AAClB,MAAM,cAAc,GAAG,cAAc,CAAC;AAEtC,oBAAoB;AACpB,MAAM,oBAAoB,GAAG,OAAO,CAAC;AAErC,6EAA6E;AAE7E;;;;;;;;;GASG;AACH,SAAS,eAAe,CAAC,SAAiB,EAAE,OAAuB;IACjE,MAAM,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,8BAA8B,CACxD,aAAa,EACb,OAAO,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAC/C,CAAC;IACF,OAAO,OAAO,CAAC,oBAAoB,CACjC,WAAW;IACX,cAAc,CAAC,SAAS,EACxB,CAAC,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CACzC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,sBAAsB,CAAC,QAAgB,EAAE,OAAuB;IACvE,MAAM,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,8BAA8B,CACxD,aAAa,EACb,OAAO,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAC/C,CAAC;IACF,OAAO,OAAO,CAAC,oBAAoB,CACjC,WAAW;IACX,cAAc,CAAC,SAAS,EACxB,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,UAAkC;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAChC,KAAuB,EACvB,OAAuB,EACvB,OAAmB,EACnB,OAAiC;IAEjC,0CAA0C;IAC1C,MAAM,iBAAiB,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnD,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CACvC,CAAC;IAEF,QAAQ;IACR,IAAI,KAAe,CAAC;IACpB,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,gBAAgB,GAAG,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAa,CAAC;QACrF,KAAK,GAAG,gBAAgB,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,wCAAwC;QACxC,MAAM,eAAe,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAkB,CAAC;QAC3E,KAAK,GAAG,OAAO,CAAC,WAAW,CACzB,CAAC,OAAO,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAC;QAChD,eAAe,CAAC,IAAI,CACrB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,wBAAwB;IACrC,eAAe,CAAC,SAAS;IACzB,mBAAmB,CAAC,SAAS;IAC7B,UAAU,CAAC,SAAS;IACpB,gBAAgB,CAAC,SAAS,EAC1B,iBAAiB;IACjB,gBAAgB,CAAC,SAAS,EAC1B,KAAK,CACN,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,SAAS,2BAA2B,CAClC,OAA4B,EAC5B,UAA4B,EAC5B,OAAiC,EACjC,SAAiD,EACjD,eAAqC;IAErC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,SAAS,OAAO,CAAC,IAAa;QAC5B,mDAAmD;QACnD,2DAA2D;QAC3D,yDAAyD;QACzD,IAAI,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAC3B,CAAC;gBACD,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1D,0CAA0C;oBAC1C,OAAO,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAiB,CAC9D,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,oCAAoC;QACpC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACpD,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACpE,CAAC;QAED,iEAAiE;QACjE,kDAAkD;QAClD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAkB,CAAC;QACjE,CAAC;QACD,oCAAoC;QACpC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAkB,CAAC;QACjE,CAAC;QAED,yEAAyE;QACzE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,6CAA6C;YAC7C,kCAAkC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBACrC,MAAM,CAAC,IAAI,KAAK,IAAI,EACpB,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,sDAAsD;YACtD,MAAM,eAAe,GAAG,eAAe,aAAf,eAAe,uBAAf,eAAe,CAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,sBAAsB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YAC1D,CAAC;YAED,yBAAyB;YACzB,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC7C,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAED,sEAAsE;QACtE,wDAAwD;QACxD,wDAAwD;QACxD,qCAAqC;QACrC,2DAA2D;QAE3D,gEAAgE;QAChE,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAE7E;;GAEG;AACH,SAAS,eAAe,CACtB,UAAmC,EACnC,UAAyB,EACzB,OAAmB;IAEnB,OAAO,UAAU;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;SAC3E,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,2EAA2E;AAE3E;;;;;;;;;GASG;AACH,SAAgB,gBAAgB,CAAC,KAA6B;IAC5D,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAEjC,4EAA4E;IAC5E,MAAM,MAAM,GAAa,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAErE,8EAA8E;IAC9E,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC;IACxB,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAEzC,6EAA6E;IAC7E,sDAAsD;IACtD,4DAA4D;IAE5D,MAAM,eAAe,GAAG,EAAE,CAAC,SAAS,CAClC,UAAU,EACV;QACE,CAAC,OAAiC,EAAiC,EAAE;YACnE,MAAM,OAAO,GAAG,2BAA2B,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YAE/G,OAAO,CAAC,EAAiB,EAAiB,EAAE;gBAC1C,4CAA4C;gBAC5C,OAAO,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAkB,CAAC;YAClE,CAAC,CAAC;QACJ,CAAC;KACF,EACD;QACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;KAC/B,CACF,CAAC;IAEF,MAAM,aAAa,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAErD,wEAAwE;IACxE,2CAA2C;IAC3C,mCAAmC;IACnC,4CAA4C;IAC5C,yCAAyC;IAEzC,IAAI,gBAA8C,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAE9B,SAAS,oBAAoB,CAAC,IAAa;QACzC,IACE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,IAAI,CAAC,GAAG,KAAK,SAAS;YACtB,IAAI,CAAC,GAAG,KAAK,SAAS,EACtB,CAAC;YACD,gBAAgB,GAAG,IAAI,CAAC;YACxB,OAAO;QACT,CAAC;QACD,6CAA6C;QAC7C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC9C,CAAC;IAED,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAEpC,4DAA4D;IAC5D,yBAAyB;IACzB,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,SAAS,cAAc,CAAC,IAAa;YACnC,IAAI,gBAAgB,KAAK,SAAS;gBAAE,OAAO;YAC3C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,gBAAgB,GAAG,IAAI,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACxC,CAAC;QACD,cAAc,CAAC,aAAa,CAAC,CAAC;IAChC,CAAC;IAED,eAAe,CAAC,OAAO,EAAE,CAAC;IAE1B,gFAAgF;IAChF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;QAC/B,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ;QAChC,qBAAqB,EAAE,KAAK;QAC5B,cAAc,EAAE,KAAK;KACtB,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;IAED,IAAI,IAAY,CAAC;IACjB,IAAI,EAAE,CAAC,gBAAgB,EAAE,CAAC;QACxB,gCAAgC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAqB,CAAC;QACxD,IAAI,GAAG,OAAO,CAAC,SAAS,CACtB,EAAE,CAAC,QAAQ,CAAC,UAAU,EACtB,QAAQ,EACR,aAAa,CACd,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,kCAAkC;QAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAgB,CAAC;QAChD,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC"}

package/dist/transformer/helper-context-resolver.d.ts

@@ -0,0 +1,180 @@
+/**
+ * helper-context-resolver — `.on(arrow)` を内包する helper の発見・eligibility 判定・call-site 列挙
+ *
+ * 仕様: `.kiro/specs/helper-inline-recovery/`
+ *   - design.md §Components and Interfaces / helper-context-resolver.ts
+ *   - requirements.md 1.1, 1.4, 2.3, 3.1, 3.2, 3.3
+ *
+ * 単一責任:
+ *   1. `.on` CallExpression の AST 上方向 walk-up で直近 helper 宣言を発見
+ *   2. helper の eligibility（module-level / const / zero-param / arrow initializer）を判定
+ *   3. accepted helper の call-site を同一 SourceFile から列挙
+ *   4. rejected helper から DT014 診断を生成
+ *
+ * 副作用なしの純粋関数のみ。`fileDiagnostics` への push は呼び出し側（index.ts）の責務。
+ *
+ * Task 1.1: 型定義と内部 helper（symbol 解決・宣言形状判定）のみを実装する。
+ *           findEnclosingHelper / findHelperCallSites / buildEnclosingHelperDiagnostic は
+ *           それぞれ task 1.2 / 1.3 / 1.4 で追加する。
+ */
+import * as ts from 'typescript';
+import type { OnCallInfo } from './call-detector';
+import { type EachScopeContext } from './each-state-rewriter';
+import type { PreCheckOutcome, TransformerBaseContext } from './per-call-context';
+/** `.on` を内包する直近 helper を発見した結果（discriminated union）。 */
+export type EnclosingHelperResult = {
+    readonly kind: 'none';
+} | {
+    readonly kind: 'accepted';
+    readonly helper: AcceptedEnclosingHelper;
+} | {
+    readonly kind: 'rejected';
+    readonly rejection: RejectedEnclosingHelper;
+};
+/** 採用された helper。call-site をすべて含む。 */
+export interface AcceptedEnclosingHelper {
+    readonly name: string;
+    /** モジュールレベル `const name = () => ...` の VariableDeclaration */
+    readonly declaration: ts.VariableDeclaration;
+    /** 宣言右辺の ArrowFunction（zero-param） */
+    readonly arrow: ts.ArrowFunction;
+    /** 同一 SourceFile 内のすべての呼び出し位置（helper 自身の `.on` 内包 CallExpression は除外） */
+    readonly callSites: readonly ts.CallExpression[];
+}
+/** 不採用理由（discriminated union）。 */
+export type EnclosingHelperRejectionReason = {
+    readonly code: 'not-module-level';
+} | {
+    readonly code: 'mutable-binding';
+} | {
+    readonly code: 'function-declaration';
+} | {
+    readonly code: 'non-arrow-initializer';
+} | {
+    readonly code: 'has-parameters';
+    readonly paramCount: number;
+} | {
+    readonly code: 'no-call-sites';
+} | {
+    readonly code: 'ambiguous-call-sites';
+    readonly callSiteCount: number;
+};
+/** 不採用 helper の情報（DT014 診断生成元）。 */
+export interface RejectedEnclosingHelper {
+    readonly name: string;
+    /** 不採用となった helper 宣言（VariableDeclaration / FunctionDeclaration / Parameter 等） */
+    readonly declaration: ts.Declaration;
+    /** トリガとなった `.on` CallExpression（診断アンカー） */
+    readonly onCallExpr: ts.CallExpression;
+    readonly reason: EnclosingHelperRejectionReason;
+}
+/** DT014 診断コード: enclosing-helper recovery 不可能な helper 形状。`hasFileError` 集計除外用に index.ts へも export する。 */
+export declare const DT014_CODE: number & {
+    __brand: "DT014";
+};
+/**
+ * `RejectedEnclosingHelper` から DT014 診断を生成する。
+ *
+ * - `code`: 9014（`__brand: 'DT014'`）
+ * - `source`: `'draftole-transformer'`
+ * - `relatedInformation`: reason code + helper 宣言位置 1 件
+ *
+ * 診断アンカーはトリガとなった `.on` CallExpression。helper 宣言位置は
+ * `relatedInformation` 経由でユーザに提示する。
+ *
+ * @param rejection findEnclosingHelper の rejection
+ * @param sourceFile  該当 SourceFile
+ * @param category    `ts.DiagnosticCategory.Error | Warning | Suggestion`
+ * @returns DT014 診断
+ */
+export declare function buildEnclosingHelperDiagnostic(rejection: RejectedEnclosingHelper, sourceFile: ts.SourceFile, category: ts.DiagnosticCategory): ts.Diagnostic;
+/**
+ * 同一 SourceFile 内で `helperDecl` を呼び出している CallExpression を列挙する。
+ *
+ * マッチ条件:
+ *   - CallExpression の `expression` が Identifier
+ *   - その Identifier から `resolveValueDeclaration` を辿った結果が `helperDecl` と同一
+ *
+ * helper 自身の body 内からの自己再帰呼び出しも CallExpression として列挙される
+ * （実用上は再帰 helper はそもそも task 1.2 で reject されるため問題にならない）。
+ *
+ * @param helperDecl  helper の宣言（VariableDeclaration）
+ * @param sourceFile  探索対象 SourceFile
+ * @param checker     TypeChecker（symbol 解決に使用）
+ * @returns           call-site CallExpression の配列（出現順）
+ */
+export declare function findHelperCallSites(helperDecl: ts.VariableDeclaration, sourceFile: ts.SourceFile, checker: ts.TypeChecker): readonly ts.CallExpression[];
+/**
+ * `.on(arrow)` CallExpression を内包する直近 helper を探索する。
+ *
+ * アルゴリズム:
+ *   1. `onCallExpr.parent` から SourceFile に達するまで AST 親方向に walk-up
+ *   2. 最初に出会う関数式（ArrowFunction / FunctionExpression）または FunctionDeclaration を
+ *      enclosing function 候補とする
+ *   3. 候補が ArrowFunction かつ親が VariableDeclaration の場合のみ eligibility を判定
+ *   4. それ以外（callback として使われた arrow、function expression、function declaration 等）は
+ *      reject または `none` を返す
+ *
+ * 注意:
+ *   - `.on` の **handler 引数**（`.on("click", () => ...)` の第 2 引数）は走査しない
+ *     （node.parent チェインは `.on` 自身を経由するため、handler 内へ降りない）
+ *   - callSites の列挙は本関数では行わない（task 1.3 で `findHelperCallSites` 統合）
+ *   - accepted の callSites は本実装段階では常に空配列。完全な統合は task 1.3 完了後。
+ *
+ * @param onCallExpr `.on(event, arrow)` の CallExpression
+ * @param sourceFile 解析対象 SourceFile
+ * @param checker TypeChecker（将来の型ベース拡張用、現時点では未使用）
+ * @returns 採否判定結果
+ */
+export declare function findEnclosingHelper(onCallExpr: ts.CallExpression, sourceFile: ts.SourceFile, checker: ts.TypeChecker): EnclosingHelperResult;
+/** `tryEnclosingHelperRecovery` の戻り値。 */
+export type EnclosingHelperRecovery = 
+/** helper を内包しない通常の `.on(arrow)` → 既存パイプライン続行 */
+{
+    readonly kind: 'pass-through';
+}
+/**
+ * helper 経由で each scope を継承した（または each 外で確定した）→ context を使う
+ *
+ * Task 3.2: `paramSymbols` は helper-aware 経路で
+ * `collectEachScopeParamSymbols` を `helperCallSites` 付きで呼んだ結果。
+ * `context === null` (each 外確定) や Symbol 取得不可の場合は `undefined`。
+ */
+ | {
+    readonly kind: 'inherited';
+    readonly context: EachScopeContext | null;
+    readonly paramSymbols: Set<ts.Symbol> | undefined;
+}
+/** 採用不能な helper 形状 → DT014 を発行して当該 handler はスキップ */
+ | {
+    readonly kind: 'rejected';
+    readonly diagnostic: ts.Diagnostic;
+};
+/**
+ * `.on(arrow)` を内包する helper を発見し、each scope 継承または DT014 発行を決定する。
+ *
+ * 分岐:
+ *   - helper 不在 (`kind: 'none'`): `pass-through`（既存ロジックに委ねる）
+ *   - helper 採用 (`kind: 'accepted'`): `detectEachScopeContext` を helperCallSites 付きで
+ *     呼び出し、結果を `inherited` で返す。null（全 call-site が each 外 / ambiguous）の
+ *     場合も `inherited { context: null }` として返し、呼び出し側が ambiguous を判定する。
+ *   - helper 不採用 (`kind: 'rejected'`): DT014 を生成して返す
+ */
+export declare function tryEnclosingHelperRecovery(onCallExpr: ts.CallExpression, sourceFile: ts.SourceFile, checker: ts.TypeChecker): EnclosingHelperRecovery;
+/**
+ * Phase 1 per-call delegate: helper-aware pre-check の outcome を構築する。
+ *
+ * 内部で `tryEnclosingHelperRecovery` を呼び、3 経路の discriminated union を
+ * `PreCheckOutcome` (flat shape) に変換する薄いラッパ。factory main loop は本関数を
+ * 呼んで `PreCheckOutcome` を受け取り、`diagnostics` に Error カテゴリが含まれる場合に
+ * 当該 .on() 呼出をスキップする。
+ *
+ * Mapping:
+ *   - pass-through → { helperPathUsed: false, inheritedEachContext: null, ..., diagnostics: [] }
+ *   - inherited    → { helperPathUsed: true, inheritedEachContext: ctx, inheritedEachParamSymbols, diagnostics: [] }
+ *   - rejected     → { helperPathUsed: false, inheritedEachContext: null, ..., diagnostics: [diag] }
+ *
+ * relocated/added in transformer-index-pipeline-split task 3.1.
+ */
+export declare function runHelperAwarePreCheck(base: TransformerBaseContext, callInfo: OnCallInfo): PreCheckOutcome;
+//# sourceMappingURL=helper-context-resolver.d.ts.map

package/dist/transformer/helper-context-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-context-resolver.d.ts","sourceRoot":"","sources":["../../src/transformer/helper-context-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,uBAAuB,CAAC;AAM/B,OAAO,KAAK,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAIlF,yDAAyD;AACzD,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAA;CAAE,CAAC;AAE/E,qCAAqC;AACrC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IAC7C,sCAAsC;IACtC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC;IACjC,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;CAClD;AAED,kCAAkC;AAClC,MAAM,MAAM,8BAA8B,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,GACpC;IAAE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAA;CAAE,GACzC;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9E,mCAAmC;AACnC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC;IACrC,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,cAAc,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,8BAA8B,CAAC;CACjD;AAQD,yGAAyG;AACzG,eAAO,MAAM,UAAU,EAAW,MAAM,GAAG;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAsBhE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,uBAAuB,EAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,EAAE,CAAC,kBAAkB,GAC9B,EAAE,CAAC,UAAU,CAmCf;AAID;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,mBAAmB,EAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,SAAS,EAAE,CAAC,cAAc,EAAE,CAe9B;AAID;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,qBAAqB,CA+GvB;AAID,yCAAyC;AACzC,MAAM,MAAM,uBAAuB;AACjC,iDAAiD;AAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE;AACnC;;;;;;GAMG;GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CACnD;AACH,oDAAoD;GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAA;CAAE,CAAC;AAEtE;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,uBAAuB,CAyDzB;AAID;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,sBAAsB,EAC5B,QAAQ,EAAE,UAAU,GACnB,eAAe,CAQjB"}