@tsonic/frontend 0.0.4 → 0.0.11

package/dist/ir/validation/yield-lowering-pass.js

@@ -0,0 +1,548 @@
+/**
+ * Yield Lowering Pass
+ *
+ * Transforms yield expressions in generator functions into IrYieldStatement nodes.
+ * This pass runs after IR building and before numeric proof pass.
+ *
+ * Supported patterns:
+ * - `yield expr;` → IrYieldStatement with no receiveTarget
+ * - `const x = yield expr;` → IrYieldStatement with receiveTarget = identifierPattern
+ * - `x = yield expr;` → IrYieldStatement with receiveTarget = identifierPattern
+ * - `const {a, b} = yield expr;` → IrYieldStatement with receiveTarget = objectPattern
+ * - `const [a, b] = yield expr;` → IrYieldStatement with receiveTarget = arrayPattern
+ *
+ * Unsupported patterns (emit TSN6101 diagnostic):
+ * - `foo(yield x)` - yield in call argument
+ * - `yield x + yield y` - multiple yields in expression
+ * - `[yield x, 1]` - yield in array literal
+ * - `{a: yield x}` - yield in object literal
+ * - `cond ? yield a : b` - yield in ternary
+ */
+import { createDiagnostic, } from "../../types/diagnostic.js";
+/**
+ * Create a source location for a module
+ */
+const moduleLocation = (ctx) => ({
+    file: ctx.filePath,
+    line: 1,
+    column: 1,
+    length: 1,
+});
+/**
+ * Check if an expression contains a yield expression anywhere in its tree.
+ */
+const containsYield = (expr) => {
+    switch (expr.kind) {
+        case "yield":
+            return true;
+        case "binary":
+        case "logical":
+            return containsYield(expr.left) || containsYield(expr.right);
+        case "unary":
+        case "update":
+        case "await":
+        case "spread":
+            return containsYield(expr.expression);
+        case "conditional":
+            return (containsYield(expr.condition) ||
+                containsYield(expr.whenTrue) ||
+                containsYield(expr.whenFalse));
+        case "assignment":
+            return ((expr.left.kind !== "identifierPattern" &&
+                expr.left.kind !== "arrayPattern" &&
+                expr.left.kind !== "objectPattern" &&
+                containsYield(expr.left)) ||
+                containsYield(expr.right));
+        case "memberAccess":
+            return (containsYield(expr.object) ||
+                (typeof expr.property !== "string" && containsYield(expr.property)));
+        case "call":
+        case "new":
+            return (containsYield(expr.callee) ||
+                expr.arguments.some((a) => containsYield(a)));
+        case "array":
+            return expr.elements.some((e) => e !== undefined && containsYield(e));
+        case "object":
+            return expr.properties.some((p) => {
+                if (p.kind === "property") {
+                    return ((typeof p.key !== "string" && containsYield(p.key)) ||
+                        containsYield(p.value));
+                }
+                return containsYield(p.expression);
+            });
+        case "templateLiteral":
+            return expr.expressions.some((e) => containsYield(e));
+        case "arrowFunction":
+        case "functionExpression":
+            // Don't recurse into nested functions - they have their own generator context
+            return false;
+        default:
+            return false;
+    }
+};
+/**
+ * Count the number of yield expressions in an expression tree.
+ */
+const countYields = (expr) => {
+    switch (expr.kind) {
+        case "yield":
+            return 1 + (expr.expression ? countYields(expr.expression) : 0);
+        case "binary":
+        case "logical":
+            return countYields(expr.left) + countYields(expr.right);
+        case "unary":
+        case "update":
+        case "await":
+        case "spread":
+            return countYields(expr.expression);
+        case "conditional":
+            return (countYields(expr.condition) +
+                countYields(expr.whenTrue) +
+                countYields(expr.whenFalse));
+        case "assignment":
+            return ((expr.left.kind !== "identifierPattern" &&
+                expr.left.kind !== "arrayPattern" &&
+                expr.left.kind !== "objectPattern"
+                ? countYields(expr.left)
+                : 0) + countYields(expr.right));
+        case "memberAccess":
+            return (countYields(expr.object) +
+                (typeof expr.property !== "string" ? countYields(expr.property) : 0));
+        case "call":
+        case "new":
+            return (countYields(expr.callee) +
+                expr.arguments.reduce((sum, a) => sum + countYields(a), 0));
+        case "array":
+            return expr.elements.reduce((sum, e) => sum + (e !== undefined ? countYields(e) : 0), 0);
+        case "object":
+            return expr.properties.reduce((sum, p) => {
+                if (p.kind === "property") {
+                    return (sum +
+                        (typeof p.key !== "string" ? countYields(p.key) : 0) +
+                        countYields(p.value));
+                }
+                return sum + countYields(p.expression);
+            }, 0);
+        case "templateLiteral":
+            return expr.expressions.reduce((sum, e) => sum + countYields(e), 0);
+        case "arrowFunction":
+        case "functionExpression":
+            return 0;
+        default:
+            return 0;
+    }
+};
+/**
+ * Create an IrYieldStatement from a yield expression.
+ */
+const createYieldStatement = (yieldExpr, receiveTarget, receivedType) => ({
+    kind: "yieldStatement",
+    output: yieldExpr.expression,
+    delegate: yieldExpr.delegate,
+    receiveTarget,
+    receivedType,
+});
+/**
+ * Create an IrGeneratorReturnStatement from a return statement's expression.
+ * This captures the return value for generators with TReturn.
+ */
+const createGeneratorReturnStatement = (expression) => ({
+    kind: "generatorReturnStatement",
+    expression,
+});
+/**
+ * Emit diagnostic for unsupported yield position.
+ */
+const emitUnsupportedYieldDiagnostic = (ctx, position, location) => {
+    ctx.diagnostics.push(createDiagnostic("TSN6101", "error", `Yield expression in ${position} is not supported`, location ?? moduleLocation(ctx), "Extract yield to a separate statement: `const result = yield expr; use(result);`"));
+};
+/**
+ * Process a statement in a generator function body.
+ * Returns the transformed statement(s) - may return multiple statements
+ * when a single statement is split.
+ */
+const processStatement = (stmt, ctx) => {
+    if (!ctx.inGenerator) {
+        // Not in generator - just recurse into nested functions
+        return processNonGeneratorStatement(stmt, ctx);
+    }
+    switch (stmt.kind) {
+        case "expressionStatement": {
+            const expr = stmt.expression;
+            // Pattern 1: yield expr; (yield in statement position)
+            if (expr.kind === "yield") {
+                return createYieldStatement(expr, undefined, undefined);
+            }
+            // Pattern 3: x = yield expr; (assignment with yield on right)
+            if (expr.kind === "assignment" &&
+                expr.right.kind === "yield" &&
+                !expr.right.delegate) {
+                // Only support simple assignment operators (=)
+                if (expr.operator !== "=") {
+                    emitUnsupportedYieldDiagnostic(ctx, "compound assignment", expr.right.sourceSpan);
+                    return stmt;
+                }
+                // Extract the target pattern
+                const target = expr.left;
+                if (target.kind === "identifierPattern" ||
+                    target.kind === "arrayPattern" ||
+                    target.kind === "objectPattern") {
+                    return createYieldStatement(expr.right, target, expr.right.inferredType);
+                }
+                // Assignment to member expression or other LHS - not supported
+                emitUnsupportedYieldDiagnostic(ctx, "assignment to complex target", expr.right.sourceSpan);
+                return stmt;
+            }
+            // Check for yield in unsupported positions
+            if (containsYield(expr)) {
+                emitUnsupportedYieldDiagnostic(ctx, "complex expression", expr.sourceSpan);
+            }
+            return stmt;
+        }
+        case "variableDeclaration": {
+            // Pattern 2: const x = yield expr; (variable declaration with yield initializer)
+            const transformedDeclarations = [];
+            for (const decl of stmt.declarations) {
+                if (decl.initializer?.kind === "yield" && !decl.initializer.delegate) {
+                    // Check for multiple yields in initializer
+                    if (countYields(decl.initializer) > 1) {
+                        emitUnsupportedYieldDiagnostic(ctx, "multiple yields in initializer", decl.initializer.sourceSpan);
+                        transformedDeclarations.push({
+                            kind: "variableDeclaration",
+                            declarationKind: stmt.declarationKind,
+                            declarations: [decl],
+                            isExported: false,
+                        });
+                        continue;
+                    }
+                    // Transform to yield statement with receiveTarget
+                    transformedDeclarations.push(createYieldStatement(decl.initializer, decl.name, decl.type ?? decl.initializer.inferredType));
+                }
+                else if (decl.initializer && containsYield(decl.initializer)) {
+                    // Yield nested in initializer expression - not supported
+                    emitUnsupportedYieldDiagnostic(ctx, "nested initializer expression", decl.initializer.sourceSpan);
+                    transformedDeclarations.push({
+                        kind: "variableDeclaration",
+                        declarationKind: stmt.declarationKind,
+                        declarations: [decl],
+                        isExported: false,
+                    });
+                }
+                else {
+                    // No yield - keep original declaration
+                    transformedDeclarations.push({
+                        kind: "variableDeclaration",
+                        declarationKind: stmt.declarationKind,
+                        declarations: [decl],
+                        isExported: false,
+                    });
+                }
+            }
+            // Return single statement or array of statements
+            if (transformedDeclarations.length === 1 &&
+                transformedDeclarations[0] !== undefined) {
+                return transformedDeclarations[0];
+            }
+            return transformedDeclarations;
+        }
+        case "blockStatement":
+            return {
+                ...stmt,
+                statements: stmt.statements.flatMap((s) => {
+                    const result = processStatement(s, ctx);
+                    return Array.isArray(result) ? result : [result];
+                }),
+            };
+        case "ifStatement":
+            return {
+                ...stmt,
+                thenStatement: flattenStatement(processStatement(stmt.thenStatement, ctx)),
+                elseStatement: stmt.elseStatement
+                    ? flattenStatement(processStatement(stmt.elseStatement, ctx))
+                    : undefined,
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        case "forStatement": {
+            // Check for yield in initializer - not supported
+            if (stmt.initializer) {
+                if (stmt.initializer.kind === "variableDeclaration" &&
+                    stmt.initializer.declarations.some((d) => d.initializer && containsYield(d.initializer))) {
+                    emitUnsupportedYieldDiagnostic(ctx, "for loop initializer");
+                }
+                else if (stmt.initializer.kind !== "variableDeclaration" &&
+                    containsYield(stmt.initializer)) {
+                    emitUnsupportedYieldDiagnostic(ctx, "for loop initializer");
+                }
+            }
+            // Check for yield in condition/update - not supported
+            if (stmt.condition && containsYield(stmt.condition)) {
+                emitUnsupportedYieldDiagnostic(ctx, "for loop condition");
+            }
+            if (stmt.update && containsYield(stmt.update)) {
+                emitUnsupportedYieldDiagnostic(ctx, "for loop update");
+            }
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        }
+        case "forOfStatement":
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    statements: c.statements.flatMap((s) => {
+                        const result = processStatement(s, ctx);
+                        return Array.isArray(result) ? result : [result];
+                    }),
+                })),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: flattenStatement(processStatement(stmt.tryBlock, ctx)),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: flattenStatement(processStatement(stmt.catchClause.body, ctx)),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? flattenStatement(processStatement(stmt.finallyBlock, ctx))
+                    : undefined,
+            };
+        case "returnStatement":
+            // Check for yield in return expression
+            if (stmt.expression && containsYield(stmt.expression)) {
+                emitUnsupportedYieldDiagnostic(ctx, "return expression", stmt.expression.sourceSpan);
+            }
+            // Transform return statements in generators to IrGeneratorReturnStatement
+            // This captures the return value for generators with TReturn
+            // The emitter will emit: __returnValue = expr; yield break;
+            return createGeneratorReturnStatement(stmt.expression);
+        case "throwStatement":
+            // Check for yield in throw expression
+            if (containsYield(stmt.expression)) {
+                emitUnsupportedYieldDiagnostic(ctx, "throw expression", stmt.expression.sourceSpan);
+            }
+            return stmt;
+        default:
+            return stmt;
+    }
+};
+/**
+ * Type guard to check if a result is a single statement (has 'kind' property).
+ */
+const isSingleStatement = (result) => {
+    return "kind" in result && typeof result.kind === "string";
+};
+/**
+ * Flatten a statement result to a single statement (wrap in block if needed).
+ */
+const flattenStatement = (result) => {
+    if (isSingleStatement(result)) {
+        return result;
+    }
+    // result is now readonly IrStatement[]
+    if (result.length === 1 && result[0] !== undefined) {
+        return result[0];
+    }
+    return {
+        kind: "blockStatement",
+        statements: [...result],
+    };
+};
+/**
+ * Process statements in non-generator functions (just recurse into nested generators).
+ */
+const processNonGeneratorStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "functionDeclaration":
+            if (stmt.isGenerator) {
+                const generatorCtx = {
+                    ...ctx,
+                    inGenerator: true,
+                };
+                return {
+                    ...stmt,
+                    body: flattenStatement(processStatement(stmt.body, generatorCtx)),
+                };
+            }
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        case "classDeclaration":
+            return {
+                ...stmt,
+                members: stmt.members.map((m) => processClassMember(m, ctx)),
+            };
+        case "blockStatement":
+            return {
+                ...stmt,
+                statements: stmt.statements.map((s) => processNonGeneratorStatement(s, ctx)),
+            };
+        case "ifStatement":
+            return {
+                ...stmt,
+                thenStatement: processNonGeneratorStatement(stmt.thenStatement, ctx),
+                elseStatement: stmt.elseStatement
+                    ? processNonGeneratorStatement(stmt.elseStatement, ctx)
+                    : undefined,
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                body: processNonGeneratorStatement(stmt.body, ctx),
+            };
+        case "forStatement":
+            // Only process the body - initializer can't contain nested generator functions
+            return {
+                ...stmt,
+                body: processNonGeneratorStatement(stmt.body, ctx),
+            };
+        case "forOfStatement":
+            return {
+                ...stmt,
+                body: processNonGeneratorStatement(stmt.body, ctx),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    statements: c.statements.map((s) => processNonGeneratorStatement(s, ctx)),
+                })),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: processNonGeneratorStatement(stmt.tryBlock, ctx),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: processNonGeneratorStatement(stmt.catchClause.body, ctx),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? processNonGeneratorStatement(stmt.finallyBlock, ctx)
+                    : undefined,
+            };
+        default:
+            return stmt;
+    }
+};
+/**
+ * Process class members, looking for generator methods.
+ */
+const processClassMember = (member, ctx) => {
+    if (member.kind === "methodDeclaration" && member.body) {
+        if (member.isGenerator) {
+            const generatorCtx = {
+                ...ctx,
+                inGenerator: true,
+            };
+            return {
+                ...member,
+                body: flattenStatement(processStatement(member.body, generatorCtx)),
+            };
+        }
+        return {
+            ...member,
+            body: flattenStatement(processStatement(member.body, ctx)),
+        };
+    }
+    if (member.kind === "constructorDeclaration" && member.body) {
+        return {
+            ...member,
+            body: flattenStatement(processStatement(member.body, ctx)),
+        };
+    }
+    return member;
+};
+/**
+ * Process a module, transforming yield expressions in generators.
+ */
+const processModule = (module) => {
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+        inGenerator: false,
+    };
+    const processedBody = module.body.map((stmt) => {
+        if (stmt.kind === "functionDeclaration" && stmt.isGenerator) {
+            const generatorCtx = {
+                ...ctx,
+                inGenerator: true,
+            };
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, generatorCtx)),
+            };
+        }
+        return processNonGeneratorStatement(stmt, ctx);
+    });
+    const processedExports = module.exports.map((exp) => {
+        if (exp.kind === "declaration") {
+            if (exp.declaration.kind === "functionDeclaration" &&
+                exp.declaration.isGenerator) {
+                const generatorCtx = {
+                    ...ctx,
+                    inGenerator: true,
+                };
+                return {
+                    ...exp,
+                    declaration: {
+                        ...exp.declaration,
+                        body: flattenStatement(processStatement(exp.declaration.body, generatorCtx)),
+                    },
+                };
+            }
+            return {
+                ...exp,
+                declaration: processNonGeneratorStatement(exp.declaration, ctx),
+            };
+        }
+        return exp;
+    });
+    return {
+        module: {
+            ...module,
+            body: processedBody,
+            exports: processedExports,
+        },
+        diagnostics: ctx.diagnostics,
+    };
+};
+/**
+ * Run yield lowering pass on all modules.
+ *
+ * This pass transforms yield expressions in generator functions into
+ * IrYieldStatement nodes that the emitter can directly consume.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ */
+export const runYieldLoweringPass = (modules) => {
+    const processedModules = [];
+    const allDiagnostics = [];
+    for (const module of modules) {
+        const result = processModule(module);
+        processedModules.push(result.module);
+        allDiagnostics.push(...result.diagnostics);
+    }
+    return {
+        ok: allDiagnostics.length === 0,
+        modules: processedModules,
+        diagnostics: allDiagnostics,
+    };
+};
+//# sourceMappingURL=yield-lowering-pass.js.map

package/dist/ir/validation/yield-lowering-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-lowering-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/yield-lowering-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AAiCnC;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAoB,EAAkB,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QAEd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/D,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAExC,KAAK,aAAa;YAChB,OAAO,CACL,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC7B,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC5B,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAC9B,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;gBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;gBAClC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3B,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAC1B,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO,CACL,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC1B,CAAC,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CACpE,CAAC;QAEJ,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,CACL,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC1B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAC7C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAExE,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC1B,OAAO,CACL,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;wBACnD,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CACvB,CAAC;gBACJ,CAAC;gBACD,OAAO,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACrC,CAAC,CAAC,CAAC;QAEL,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,KAAK,eAAe,CAAC;QACrB,KAAK,oBAAoB;YACvB,8EAA8E;YAC9E,OAAO,KAAK,CAAC;QAEf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAU,EAAE;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAElE,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1D,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEtC,KAAK,aAAa;YAChB,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAC5B,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBACvC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;gBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;gBAChC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxB,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CACjC,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;gBACxB,CAAC,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrE,CAAC;QAEJ,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;gBACxB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC3D,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CACzB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACxD,CAAC,CACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;gBACvC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC1B,OAAO,CACL,GAAG;wBACH,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACpD,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CACrB,CAAC;gBACJ,CAAC;gBACD,OAAO,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACzC,CAAC,EAAE,CAAC,CAAC,CAAC;QAER,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEtE,KAAK,eAAe,CAAC;QACrB,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC;QAEX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,SAA4B,EAC5B,aAAoC,EACpC,YAAgC,EACd,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,SAAS,CAAC,UAAU;IAC5B,QAAQ,EAAE,SAAS,CAAC,QAAQ;IAC5B,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,8BAA8B,GAAG,CACrC,UAAoC,EACR,EAAE,CAAC,CAAC;IAChC,IAAI,EAAE,0BAA0B;IAChC,UAAU;CACX,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,8BAA8B,GAAG,CACrC,GAAoB,EACpB,QAAgB,EAChB,QAAyB,EACnB,EAAE;IACR,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uBAAuB,QAAQ,mBAAmB,EAClD,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,EAC/B,kFAAkF,CACnF,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAiB,EACjB,GAAoB,EACkB,EAAE;IACxC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QACrB,wDAAwD;QACxD,OAAO,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAE7B,uDAAuD;YACvD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,OAAO,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YAC1D,CAAC;YAED,8DAA8D;YAC9D,IACE,IAAI,CAAC,IAAI,KAAK,YAAY;gBAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EACpB,CAAC;gBACD,+CAA+C;gBAC/C,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC1B,8BAA8B,CAC5B,GAAG,EACH,qBAAqB,EACrB,IAAI,CAAC,KAAK,CAAC,UAAU,CACtB,CAAC;oBACF,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,6BAA6B;gBAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;gBACzB,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBACnC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAC9B,MAAM,CAAC,IAAI,KAAK,eAAe,EAC/B,CAAC;oBACD,OAAO,oBAAoB,CACzB,IAAI,CAAC,KAAK,EACV,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,YAAY,CACxB,CAAC;gBACJ,CAAC;gBAED,+DAA+D;gBAC/D,8BAA8B,CAC5B,GAAG,EACH,8BAA8B,EAC9B,IAAI,CAAC,KAAK,CAAC,UAAU,CACtB,CAAC;gBACF,OAAO,IAAI,CAAC;YACd,CAAC;YAED,2CAA2C;YAC3C,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,8BAA8B,CAC5B,GAAG,EACH,oBAAoB,EACpB,IAAI,CAAC,UAAU,CAChB,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,iFAAiF;YACjF,MAAM,uBAAuB,GAAkB,EAAE,CAAC;YAElD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBACrE,2CAA2C;oBAC3C,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtC,8BAA8B,CAC5B,GAAG,EACH,gCAAgC,EAChC,IAAI,CAAC,WAAW,CAAC,UAAU,CAC5B,CAAC;wBACF,uBAAuB,CAAC,IAAI,CAAC;4BAC3B,IAAI,EAAE,qBAAqB;4BAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;4BACrC,YAAY,EAAE,CAAC,IAAI,CAAC;4BACpB,UAAU,EAAE,KAAK;yBAClB,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBAED,kDAAkD;oBAClD,uBAAuB,CAAC,IAAI,CAC1B,oBAAoB,CAClB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,YAAY,CAC3C,CACF,CAAC;gBACJ,CAAC;qBAAM,IAAI,IAAI,CAAC,WAAW,IAAI,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC/D,yDAAyD;oBACzD,8BAA8B,CAC5B,GAAG,EACH,+BAA+B,EAC/B,IAAI,CAAC,WAAW,CAAC,UAAU,CAC5B,CAAC;oBACF,uBAAuB,CAAC,IAAI,CAAC;wBAC3B,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,YAAY,EAAE,CAAC,IAAI,CAAC;wBACpB,UAAU,EAAE,KAAK;qBAClB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,uCAAuC;oBACvC,uBAAuB,CAAC,IAAI,CAAC;wBAC3B,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;wBACrC,YAAY,EAAE,CAAC,IAAI,CAAC;wBACpB,UAAU,EAAE,KAAK;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,iDAAiD;YACjD,IACE,uBAAuB,CAAC,MAAM,KAAK,CAAC;gBACpC,uBAAuB,CAAC,CAAC,CAAC,KAAK,SAAS,EACxC,CAAC;gBACD,OAAO,uBAAuB,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,uBAAuB,CAAC;QACjC,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACxC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACnD,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,aAAa,EAAE,gBAAgB,CAC7B,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1C;gBACD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;oBAC7D,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,iDAAiD;YACjD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IACE,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;oBAC/C,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CACrD,EACD,CAAC;oBACD,8BAA8B,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;gBAC9D,CAAC;qBAAM,IACL,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;oBAC/C,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAC/B,CAAC;oBACD,8BAA8B,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;YACD,sDAAsD;YACtD,IAAI,IAAI,CAAC,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpD,8BAA8B,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9C,8BAA8B,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACzD,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;wBACrC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACnD,CAAC,CAAC;iBACH,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CACxB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CACjB;gBACrB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CACzB;qBACtB;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAE,gBAAgB,CACf,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CACpB;oBACxB,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,iBAAiB;YACpB,uCAAuC;YACvC,IAAI,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,8BAA8B,CAC5B,GAAG,EACH,mBAAmB,EACnB,IAAI,CAAC,UAAU,CAAC,UAAU,CAC3B,CAAC;YACJ,CAAC;YACD,0EAA0E;YAC1E,6DAA6D;YAC7D,4DAA4D;YAC5D,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEzD,KAAK,gBAAgB;YACnB,sCAAsC;YACtC,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnC,8BAA8B,CAC5B,GAAG,EACH,kBAAkB,EAClB,IAAI,CAAC,UAAU,CAAC,UAAU,CAC3B,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,MAA4C,EACrB,EAAE;IACzB,OAAO,MAAM,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AAC7D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,MAA4C,EAC/B,EAAE;IACf,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,uCAAuC;IACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,4BAA4B,GAAG,CACnC,IAAiB,EACjB,GAAoB,EACP,EAAE;IACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,MAAM,YAAY,GAAoB;oBACpC,GAAG,GAAG;oBACN,WAAW,EAAE,IAAI;iBAClB,CAAC;gBACF,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CACtB;iBACtB,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CACb;aACtB,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC7D,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,4BAA4B,CAAC,CAAC,EAAE,GAAG,CAAC,CACrC;aACF,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,aAAa,EAAE,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACpE,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBACvD,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACnD,CAAC;QAEJ,KAAK,cAAc;YACjB,+EAA+E;YAC/E,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACnD,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACnD,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,4BAA4B,CAAC,CAAC,EAAE,GAAG,CAAC,CACrC;iBACF,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,4BAA4B,CACpC,IAAI,CAAC,QAAQ,EACb,GAAG,CACgB;gBACrB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,4BAA4B,CAChC,IAAI,CAAC,WAAW,CAAC,IAAI,EACrB,GAAG,CACgB;qBACtB;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAE,4BAA4B,CAC3B,IAAI,CAAC,YAAY,EACjB,GAAG,CACiB;oBACxB,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CACzB,MAAqB,EACrB,GAAoB,EACL,EAAE;IACjB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,MAAM,YAAY,GAAoB;gBACpC,GAAG,GAAG;gBACN,WAAW,EAAE,IAAI;aAClB,CAAC;YACF,OAAO;gBACL,GAAG,MAAM;gBACT,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CACxB;aACtB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CACf;SACtB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5D,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CACf;SACtB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CACpB,MAAgB,EAC0C,EAAE;IAC5D,MAAM,GAAG,GAAoB;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,YAAY,GAAoB;gBACpC,GAAG,GAAG;gBACN,WAAW,EAAE,IAAI;aAClB,CAAC;YACF,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CACtB;aACtB,CAAC;QACJ,CAAC;QACD,OAAO,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,IACE,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;gBAC9C,GAAG,CAAC,WAAW,CAAC,WAAW,EAC3B,CAAC;gBACD,MAAM,YAAY,GAAoB;oBACpC,GAAG,GAAG;oBACN,WAAW,EAAE,IAAI;iBAClB,CAAC;gBACF,OAAO;oBACL,GAAG,GAAG;oBACN,WAAW,EAAE;wBACX,GAAG,GAAG,CAAC,WAAW;wBAClB,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CACjC;qBACtB;iBACF,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,GAAG,GAAG;gBACN,WAAW,EAAE,4BAA4B,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC;aAChE,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA4B,EACP,EAAE;IACvB,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/yield-lowering-pass.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Tests for Yield Lowering Pass
+ *
+ * Tests:
+ * - containsYield detection
+ * - countYields counting
+ * - Pattern transformations (yield expr, const x = yield, assignment)
+ * - Unsupported position detection (TSN6101)
+ * - Non-generator function handling (no transformation)
+ */
+export {};
+//# sourceMappingURL=yield-lowering-pass.test.d.ts.map

package/dist/ir/validation/yield-lowering-pass.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-lowering-pass.test.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/yield-lowering-pass.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}