draft-ole 0.9.0

package/dist/transformer/format-diagnostics.js

@@ -0,0 +1,50 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.formatTransformerDiagnostic = formatTransformerDiagnostic;
+exports.writeTransformerDiagnostics = writeTransformerDiagnostics;
+/**
+ * draftole-transformer 由来の TypeScript Diagnostic を 1 件 1 行のフラット形式に整形する。
+ *
+ * 形式:
+ *   - file + start 有り: `[draftole-transformer <Category>] <fileName>:<line>:<col> <message>\n`
+ *   - それ以外         : `[draftole-transformer <Category>] <message>\n`
+ *
+ * 行・列は 1-origin、message は `DiagnosticMessageChain` の場合 top-level のみ採用する。
+ *
+ * 本モジュールは副作用を持たず、文字列の整形のみを行う純関数群。
+ * 書き出し先（stderr / 集約配列等）の選択は呼び出し側の責務。
+ *
+ * Requirements: TXDX-1（transformer 診断の silent drop 解消）
+ *
+ * @module transformer/format-diagnostics
+ */
+const typescript_1 = __importDefault(require("typescript"));
+/**
+ * 単一の Diagnostic を 1 行のテキストに整形する（改行を含む）。
+ */
+function formatTransformerDiagnostic(diag) {
+    const category = typescript_1.default.DiagnosticCategory[diag.category];
+    const message = typeof diag.messageText === 'string'
+        ? diag.messageText
+        : diag.messageText.messageText;
+    if (diag.file !== undefined && diag.start !== undefined) {
+        const { line, character } = diag.file.getLineAndCharacterOfPosition(diag.start);
+        return `[draftole-transformer ${category}] ${diag.file.fileName}:${line + 1}:${character + 1} ${message}\n`;
+    }
+    return `[draftole-transformer ${category}] ${message}\n`;
+}
+/**
+ * Diagnostic 配列を整形して与えられた `WritableStream` に書き出す。
+ * 空配列の場合は何もしない。
+ */
+function writeTransformerDiagnostics(diags, stream) {
+    if (diags.length === 0)
+        return;
+    for (const d of diags) {
+        stream.write(formatTransformerDiagnostic(d));
+    }
+}
+//# sourceMappingURL=format-diagnostics.js.map

package/dist/transformer/format-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format-diagnostics.js","sourceRoot":"","sources":["../../src/transformer/format-diagnostics.ts"],"names":[],"mappings":";;;;;AAqBA,kEAWC;AAMD,kEAQC;AA9CD;;;;;;;;;;;;;;;GAeG;AACH,4DAA4B;AAE5B;;GAEG;AACH,SAAgB,2BAA2B,CAAC,IAAmB;IAC7D,MAAM,QAAQ,GAAG,oBAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtD,MAAM,OAAO,GACX,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ;QAClC,CAAC,CAAC,IAAI,CAAC,WAAW;QAClB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChF,OAAO,yBAAyB,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,OAAO,IAAI,CAAC;IAC9G,CAAC;IACD,OAAO,yBAAyB,QAAQ,KAAK,OAAO,IAAI,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,SAAgB,2BAA2B,CACzC,KAA+B,EAC/B,MAA6B;IAE7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC"}

package/dist/transformer/handler-ir-extractor.d.ts

@@ -0,0 +1,71 @@
+/**
+ * handler-ir-extractor: `ts.ArrowFunction` → `HandlerIR`
+ *
+ * Task 4.2:
+ * - 引数名・式本体/ブロック本体の正規化
+ * - `const`/`let`/パラメータの `localDecls` 収集
+ * - 空本体 `() => {}` は warning を発しつつ継続
+ *
+ * 対応 requirements: 2.2, 2.6, 4.6
+ */
+import * as ts from 'typescript';
+/**
+ * ハンドラ識別子の種別
+ */
+export type IdentifierKind = {
+    tag: 'state';
+    runtimeId: string;
+} | {
+    tag: 'event-param';
+} | {
+    tag: 'local';
+} | {
+    tag: 'builtin';
+    name: string;
+} | {
+    tag: 'unknown';
+};
+/**
+ * ハンドラ本体内の識別子参照
+ */
+export interface IdentifierRef {
+    readonly name: string;
+    readonly node: ts.Identifier;
+    readonly symbol: ts.Symbol | undefined;
+    readonly kind: IdentifierKind;
+}
+/**
+ * アロー関数ハンドラの中間表現
+ */
+export interface HandlerIR {
+    /** 元の ArrowFunction AST ノード */
+    readonly node: ts.ArrowFunction;
+    /** 第1引数名（"e" / "event" / null: 引数なし） */
+    readonly paramName: string | null;
+    /** 第1引数の型テキスト（"MouseEvent" 等、情報用。null: 型注釈なし or 引数なし） */
+    readonly paramTypeText: string | null;
+    /** const/let/パラメータで束縛されるローカル名の集合 */
+    readonly localDecls: Set<string>;
+    /** 本体内の参照識別子一覧（後続の whitelist-validator が使用） */
+    readonly referencedIdentifiers: IdentifierRef[];
+    /** 式本体アロー（ブロックでない）なら true */
+    readonly isExpressionBody: boolean;
+}
+/**
+ * extractHandlerIR の戻り値
+ */
+export interface HandlerIRResult {
+    /** 抽出された IR（空本体の場合も返す） */
+    readonly ir: HandlerIR | undefined;
+    /** 空本体の場合に生成される warning（それ以外は undefined） */
+    readonly warning: ts.Diagnostic | undefined;
+}
+/**
+ * `ts.ArrowFunction` から `HandlerIR` を抽出する。
+ *
+ * @param arrowFn  対象のアロー関数 AST ノード
+ * @param sourceFile  ソースファイル（診断情報用）
+ * @returns HandlerIRResult
+ */
+export declare function extractHandlerIR(arrowFn: ts.ArrowFunction, sourceFile: ts.SourceFile): HandlerIRResult;
+//# sourceMappingURL=handler-ir-extractor.d.ts.map

package/dist/transformer/handler-ir-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler-ir-extractor.d.ts","sourceRoot":"","sources":["../../src/transformer/handler-ir-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC;;GAEG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,GAAG,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,GAAG,EAAE,aAAa,CAAA;CAAE,GACtB;IAAE,GAAG,EAAE,OAAO,CAAA;CAAE,GAChB;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAEvB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,+BAA+B;IAC/B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC;IAChC,wCAAwC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,oCAAoC;IACpC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,+CAA+C;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,aAAa,EAAE,CAAC;IAChD,6BAA6B;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,SAAS,CAAC;IACnC,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,CAAC;CAC7C;AAiFD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,EAAE,CAAC,aAAa,EACzB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,eAAe,CAoDjB"}

package/dist/transformer/handler-ir-extractor.js

@@ -0,0 +1,171 @@
+"use strict";
+/**
+ * handler-ir-extractor: `ts.ArrowFunction` → `HandlerIR`
+ *
+ * Task 4.2:
+ * - 引数名・式本体/ブロック本体の正規化
+ * - `const`/`let`/パラメータの `localDecls` 収集
+ * - 空本体 `() => {}` は warning を発しつつ継続
+ *
+ * 対応 requirements: 2.2, 2.6, 4.6
+ */
+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.extractHandlerIR = extractHandlerIR;
+const ts = __importStar(require("typescript"));
+// ---- ヘルパー ----------------------------------------------------------------
+/**
+ * ブロック本体が空かどうかを判定する
+ */
+function isEmptyBlock(block) {
+    return block.statements.length === 0;
+}
+/**
+ * ブロック内の const/let 宣言変数名を収集する（ネストされたブロックも再帰的に走査）
+ *
+ * ネストされた if/for/while ブロック内の `const` / `let` も
+ * 同一ハンドラ内のローカルとして扱う（Req 3.1「ハンドラ内ローカル」）。
+ */
+function collectLocalDeclsFromBlock(block) {
+    const decls = new Set();
+    function visitStatement(stmt) {
+        if (ts.isVariableStatement(stmt)) {
+            for (const decl of stmt.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name)) {
+                    decls.add(decl.name.text);
+                }
+            }
+        }
+        else if (ts.isBlock(stmt)) {
+            for (const s of stmt.statements) {
+                visitStatement(s);
+            }
+        }
+        else if (ts.isIfStatement(stmt)) {
+            visitStatement(stmt.thenStatement);
+            if (stmt.elseStatement !== undefined) {
+                visitStatement(stmt.elseStatement);
+            }
+        }
+        else if (ts.isForStatement(stmt) || ts.isForInStatement(stmt) || ts.isForOfStatement(stmt)) {
+            visitStatement(stmt.statement);
+        }
+        else if (ts.isWhileStatement(stmt) || ts.isDoStatement(stmt)) {
+            visitStatement(stmt.statement);
+        }
+        else if (ts.isTryStatement(stmt)) {
+            visitStatement(stmt.tryBlock);
+            if (stmt.catchClause !== undefined) {
+                visitStatement(stmt.catchClause.block);
+            }
+            if (stmt.finallyBlock !== undefined) {
+                visitStatement(stmt.finallyBlock);
+            }
+        }
+    }
+    for (const stmt of block.statements) {
+        visitStatement(stmt);
+    }
+    return decls;
+}
+/**
+ * 警告 ts.Diagnostic を生成するヘルパー
+ */
+function createWarningDiagnostic(node, messageText) {
+    const sourceFile = node.getSourceFile();
+    const start = node.getStart(sourceFile, false);
+    const length = node.getWidth(sourceFile);
+    return {
+        file: sourceFile,
+        start,
+        length,
+        messageText,
+        category: ts.DiagnosticCategory.Warning,
+        code: 9002,
+        source: 'draftole-transformer',
+    };
+}
+// ---- メイン実装 --------------------------------------------------------------
+/**
+ * `ts.ArrowFunction` から `HandlerIR` を抽出する。
+ *
+ * @param arrowFn  対象のアロー関数 AST ノード
+ * @param sourceFile  ソースファイル（診断情報用）
+ * @returns HandlerIRResult
+ */
+function extractHandlerIR(arrowFn, sourceFile) {
+    // ---- 引数情報の抽出 ---------------------------------------------------------
+    let paramName = null;
+    let paramTypeText = null;
+    const localDecls = new Set();
+    if (arrowFn.parameters.length > 0) {
+        const firstParam = arrowFn.parameters[0];
+        if (ts.isIdentifier(firstParam.name)) {
+            paramName = firstParam.name.text;
+            localDecls.add(paramName);
+        }
+        if (firstParam.type !== undefined) {
+            paramTypeText = firstParam.type.getText(sourceFile);
+        }
+    }
+    // ---- 本体の判定 -------------------------------------------------------------
+    const body = arrowFn.body;
+    const isExpressionBody = !ts.isBlock(body);
+    // ---- 空本体の検出 -----------------------------------------------------------
+    let warning;
+    if (ts.isBlock(body) && isEmptyBlock(body)) {
+        warning = createWarningDiagnostic(arrowFn, 'DraftOle DT002: arrow function handler has empty body `() => {}`. ' +
+            'This handler will be registered but will have no effect.');
+    }
+    // ---- ブロック本体の localDecls 収集 -----------------------------------------
+    if (ts.isBlock(body)) {
+        const blockDecls = collectLocalDeclsFromBlock(body);
+        for (const name of blockDecls) {
+            localDecls.add(name);
+        }
+    }
+    // ---- 参照識別子は空（後続の identifier-collector が担当） -------------------
+    const referencedIdentifiers = [];
+    const ir = {
+        node: arrowFn,
+        paramName,
+        paramTypeText,
+        localDecls,
+        referencedIdentifiers,
+        isExpressionBody,
+    };
+    return { ir, warning };
+}
+//# sourceMappingURL=handler-ir-extractor.js.map

package/dist/transformer/handler-ir-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler-ir-extractor.js","sourceRoot":"","sources":["../../src/transformer/handler-ir-extractor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4IH,4CAuDC;AAjMD,+CAAiC;AAoDjC,6EAA6E;AAE7E;;GAEG;AACH,SAAS,YAAY,CAAC,KAAe;IACnC,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CAAC,KAAe;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,SAAS,cAAc,CAAC,IAAkB;QACxC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,cAAc,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACnC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBACrC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7F,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACnC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACpC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,cAAc,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,IAAa,EACb,WAAmB;IAEnB,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO;QACvC,IAAI,EAAE,IAAqC;QAC3C,MAAM,EAAE,sBAAsB;KAC/B,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E;;;;;;GAMG;AACH,SAAgB,gBAAgB,CAC9B,OAAyB,EACzB,UAAyB;IAEzB,yEAAyE;IACzE,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,aAAa,GAAkB,IAAI,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,MAAM,gBAAgB,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAE3C,0EAA0E;IAC1E,IAAI,OAAkC,CAAC;IACvC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,uBAAuB,CAC/B,OAAO,EACP,oEAAoE;YAClE,0DAA0D,CAC7D,CAAC;IACJ,CAAC;IAED,uEAAuE;IACvE,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,qBAAqB,GAAoB,EAAE,CAAC;IAElD,MAAM,EAAE,GAAc;QACpB,IAAI,EAAE,OAAO;QACb,SAAS;QACT,aAAa;QACb,UAAU;QACV,qBAAqB;QACrB,gBAAgB;KACjB,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AACzB,CAAC"}

package/dist/transformer/handler-serializer.d.ts

@@ -0,0 +1,56 @@
+/**
+ * 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
+ */
+import * as ts from 'typescript';
+import type { HandlerIR } from './handler-ir-extractor.ts';
+/**
+ * serializeHandler の入力
+ */
+export interface HandlerSerializerInput {
+    /** 抽出済み HandlerIR */
+    readonly ir: HandlerIR;
+    /** State シンボル → _runtimeId 文字列 のマップ */
+    readonly stateIdMap: Map<ts.Symbol, string>;
+    /**
+     * each スコープのパラメータ識別子名 → ランタイム変数名 のマップ。
+     * `.each()` 内ハンドラで `item.get()` などを `__draftole__.state(itemId).get()` に変換するために使用。
+     * Identifier 引数（非 StringLiteral）で state() を生成する点が stateIdMap と異なる。
+     */
+    readonly eachScopeParams?: Map<string, string>;
+    /**
+     * モジュールレベルのゼロ引数アロー関数をインライン展開するマップ。
+     * `addTodo()` のような呼び出しをハンドラ直書きコードに変換するために使用。
+     */
+    readonly inlineMap?: ReadonlyMap<string, ts.ArrowFunction>;
+}
+/**
+ * serializeHandler の出力
+ */
+export interface SerializedHandler {
+    /** 変換後の JS コード文字列（ハンドラ本体相当） */
+    readonly code: string;
+    /** イベントリスナ関数の仮引数名リスト（e.g. ["e"] or []） */
+    readonly params: readonly string[];
+}
+/**
+ * `HandlerIR` と `stateIdMap` からハンドラ本体を `SerializedHandler` に変換する。
+ *
+ * - `ts.transform` + 自家製 visitor で識別子を `__draftole__.state(id)...` 連鎖に置換
+ * - `ts.createPrinter()` で JS として emit（型注釈は TypeScript が自動除去）
+ * - 識別子の置換対象: stateIdMap に Symbol が含まれる Identifier ノード
+ *
+ * @param input HandlerSerializerInput
+ * @returns SerializedHandler
+ */
+export declare function serializeHandler(input: HandlerSerializerInput): SerializedHandler;
+//# sourceMappingURL=handler-serializer.d.ts.map

package/dist/transformer/handler-serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler-serializer.d.ts","sourceRoot":"","sources":["../../src/transformer/handler-serializer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAI3D;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,qBAAqB;IACrB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,uCAAuC;IACvC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC;CAC5D;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,+BAA+B;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AA+OD;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,sBAAsB,GAAG,iBAAiB,CAwGjF"}