modality-ts 0.0.8 → 0.0.10

package/dist/extract/engine/ts/transition/statement-summary.js

@@ -0,0 +1,502 @@
+import * as ts from "typescript";
+import { callName, literalValue } from "../ast.js";
+import { uniqueStrings } from "../ids.js";
+import { setterArgumentExpr } from "./expressions.js";
+import { parseGuardExpression } from "./guards.js";
+import { bindConstStatement } from "./locals.js";
+export function isLoopStatement(statement) {
+    return (ts.isForStatement(statement) ||
+        ts.isForInStatement(statement) ||
+        ts.isForOfStatement(statement) ||
+        ts.isWhileStatement(statement) ||
+        ts.isDoStatement(statement));
+}
+export function summarizeHandlerStatements(handler, setters, options = {}) {
+    if (ts.isCallExpression(handler.body)) {
+        const summary = summarizeSetterCall(handler.body, setters);
+        return summary ? [summary] : undefined;
+    }
+    if (!ts.isBlock(handler.body))
+        return undefined;
+    return summarizeStatements(handler.body.statements, setters, options);
+}
+export function summarizeStatements(statements, setters, options = {}) {
+    const result = summarizeStatementList(statements, setters, {
+        locals: new Map(options.initialLocals),
+        handlers: options.handlers,
+    });
+    return result?.summaries;
+}
+export function summarizeAsyncSegment(statements, setters) {
+    return uniqueSummariesByEffect(summarizeStatements(statements, setters) ??
+        fallbackSummaries(statements, setters));
+}
+export function summarizeSetterStatement(statement, setters, locals = new Map()) {
+    if (!ts.isExpressionStatement(statement) ||
+        !ts.isCallExpression(statement.expression))
+        return undefined;
+    return summarizeSetterCall(statement.expression, setters, locals);
+}
+export function summarizeSetterCall(call, setters, locals = new Map()) {
+    const setterCall = setterCallFrom(call, setters);
+    if (!setterCall)
+        return undefined;
+    return summarizeSetterWrite(setterCall, setters, locals);
+}
+export function summarizeSetterWrite(setterCall, setters, locals = new Map()) {
+    const assignment = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals);
+    if (!assignment) {
+        return {
+            effect: { kind: "havoc", var: setterCall.setter.varId },
+            reads: [],
+        };
+    }
+    return {
+        effect: {
+            kind: "assign",
+            var: setterCall.setter.varId,
+            expr: assignment.expr,
+        },
+        reads: assignment.reads,
+    };
+}
+export function setterCallFrom(call, setters) {
+    if (ts.isIdentifier(call.expression) && call.arguments.length === 1) {
+        const setter = setters.get(call.expression.text);
+        const argument = call.arguments[0];
+        return setter && argument ? { setter, argument } : undefined;
+    }
+    const name = callName(call.expression);
+    const atomArg = call.arguments[0];
+    if (name &&
+        call.arguments.length === 2 &&
+        atomArg &&
+        ts.isIdentifier(atomArg)) {
+        const setter = setters.get(`${name}:${atomArg.text}`);
+        const argument = call.arguments[1];
+        return setter && argument ? { setter, argument } : undefined;
+    }
+    return undefined;
+}
+export function settersWrittenIn(node, setters) {
+    const found = [];
+    const visit = (candidate) => {
+        if (ts.isCallExpression(candidate)) {
+            const setterCall = setterCallFrom(candidate, setters);
+            if (setterCall)
+                found.push(setterCall.setter);
+        }
+        ts.forEachChild(candidate, visit);
+    };
+    visit(node);
+    return found;
+}
+export function escapedSettersInStatement(statement, setters) {
+    const found = [];
+    const visit = (candidate) => {
+        if (ts.isCallExpression(candidate))
+            found.push(...escapedSetters(candidate, setters));
+        ts.forEachChild(candidate, visit);
+    };
+    visit(statement);
+    return uniqueSetters(found);
+}
+export function escapedSetters(call, setters, locals = new Map()) {
+    return call.arguments
+        .filter(ts.isIdentifier)
+        .map((arg) => setters.get(arg.text) ?? locals.get(arg.text)?.setter)
+        .filter((setter) => Boolean(setter));
+}
+export function uniqueSetters(setters) {
+    const byVar = new Map();
+    for (const setter of setters)
+        byVar.set(setter.varId, setter);
+    return [...byVar.values()].sort((left, right) => left.varId.localeCompare(right.varId));
+}
+export function uniqueSummariesByEffect(summaries) {
+    const seen = new Set();
+    const out = [];
+    for (const summary of summaries) {
+        const key = JSON.stringify(summary.effect);
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(summary);
+    }
+    return out;
+}
+export function effectWriteVars(effect) {
+    if (effect.kind === "assign" ||
+        effect.kind === "havoc" ||
+        effect.kind === "choose")
+        return [effect.var];
+    if (effect.kind === "seq")
+        return effect.effects.flatMap(effectWriteVars);
+    if (effect.kind === "if")
+        return [...effectWriteVars(effect.then), ...effectWriteVars(effect.else)];
+    if (effect.kind === "enqueue" || effect.kind === "dequeue")
+        return ["sys:pending"];
+    if (effect.kind === "navigate")
+        return ["sys:route", "sys:history"];
+    return [...effect.ref.declaredWrites];
+}
+export function identityEffect() {
+    return { kind: "seq", effects: [] };
+}
+export function effectFromSummaries(summaries) {
+    const effects = summaries.map((summary) => summary.effect);
+    if (effects.length === 0)
+        return identityEffect();
+    const effect = effects[0];
+    return effects.length === 1 && effect ? effect : { kind: "seq", effects };
+}
+export function singleSetterEffect(statement, setters) {
+    if (ts.isBlock(statement) && statement.statements.length === 1)
+        return setterAssignEffect(statement.statements[0], setters);
+    return setterAssignEffect(statement, setters);
+}
+export function setterAssignEffect(statement, setters) {
+    if (!ts.isExpressionStatement(statement) ||
+        !ts.isCallExpression(statement.expression))
+        return undefined;
+    const call = statement.expression;
+    if (!ts.isIdentifier(call.expression) || call.arguments.length !== 1)
+        return undefined;
+    const setter = setters.get(call.expression.text);
+    const value = literalValue(call.arguments[0]);
+    if (!setter || value === undefined)
+        return undefined;
+    return { kind: "assign", var: setter.varId, expr: { kind: "lit", value } };
+}
+function summarizeStatementList(statements, setters, state) {
+    const summaries = [];
+    for (const statement of statements) {
+        if (ts.isIfStatement(statement)) {
+            const guardedRest = summarizeGuardedRest(statement, statements.slice(statements.indexOf(statement) + 1), setters, state);
+            if (guardedRest) {
+                summaries.push(...guardedRest.summaries);
+                return { summaries, terminated: guardedRest.terminated };
+            }
+        }
+        const result = summarizeStatement(statement, setters, state);
+        if (!result)
+            return undefined;
+        summaries.push(...result.summaries);
+        if (result.terminated)
+            return { summaries, terminated: true };
+    }
+    return { summaries, terminated: false };
+}
+function summarizeGuardedRest(statement, rest, setters, state) {
+    const thenExits = exitsWithoutEffects(statement.thenStatement);
+    const elseExits = statement.elseStatement
+        ? exitsWithoutEffects(statement.elseStatement)
+        : false;
+    if (thenExits === elseExits)
+        return undefined;
+    const condition = parseGuardExpression(statement.expression, setters, state.locals);
+    const restResult = summarizeStatementList(rest, setters, {
+        ...state,
+        locals: new Map(state.locals),
+    });
+    if (!condition || !restResult)
+        return undefined;
+    const restEffect = effectFromSummaries(restResult.summaries);
+    if (restEffect.kind === "seq" && restEffect.effects.length === 0)
+        return { summaries: [], terminated: thenExits || elseExits };
+    return {
+        summaries: [
+            {
+                effect: {
+                    kind: "if",
+                    cond: condition.expr,
+                    // biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
+                    then: thenExits ? identityEffect() : restEffect,
+                    else: elseExits ? identityEffect() : restEffect,
+                },
+                reads: uniqueStrings([
+                    ...condition.reads,
+                    ...restResult.summaries.flatMap((summary) => summary.reads),
+                ]),
+            },
+        ],
+        terminated: restResult.terminated,
+    };
+}
+function exitsWithoutEffects(statement) {
+    if (ts.isReturnStatement(statement))
+        return true;
+    if (ts.isBlock(statement)) {
+        const meaningful = statement.statements.filter((child) => !ts.isEmptyStatement(child));
+        return (meaningful.length > 0 &&
+            meaningful.every((child) => exitsWithoutEffects(child)));
+    }
+    return false;
+}
+function summarizeStatement(statement, setters, state) {
+    if (ts.isEmptyStatement(statement))
+        return emptyResult();
+    if (ts.isBlock(statement)) {
+        const child = summarizeStatementList(statement.statements, setters, {
+            ...state,
+            locals: new Map(state.locals),
+        });
+        return child ?? fallbackResult(statement, setters);
+    }
+    if (ts.isVariableStatement(statement)) {
+        if (bindConstStatement(statement, setters, state.locals))
+            return emptyResult();
+        return fallbackResult(statement, setters);
+    }
+    if (ts.isExpressionStatement(statement)) {
+        const call = expressionCall(statement.expression);
+        if (call) {
+            const helper = helperSummariesFromCall(call, state.handlers, setters);
+            if (helper)
+                return { summaries: helper, terminated: false };
+            const summary = summarizeSetterCall(call, setters, state.locals);
+            if (summary)
+                return { summaries: [summary], terminated: false };
+        }
+        return fallbackResult(statement, setters);
+    }
+    if (ts.isIfStatement(statement))
+        return summarizeIfStatement(statement, setters, state);
+    if (ts.isSwitchStatement(statement))
+        return summarizeSwitchStatement(statement, setters, state);
+    if (ts.isTryStatement(statement))
+        return summarizeTryStatement(statement, setters, state);
+    if (isLoopStatement(statement))
+        return summarizeLoopStatement(statement, setters);
+    if (ts.isReturnStatement(statement))
+        return {
+            summaries: fallbackSummaries([statement], setters),
+            terminated: true,
+        };
+    if (ts.isBreakStatement(statement) || ts.isContinueStatement(statement))
+        return { summaries: [], terminated: true };
+    if (ts.isLabeledStatement(statement))
+        return summarizeStatement(statement.statement, setters, state);
+    return fallbackResult(statement, setters);
+}
+function summarizeIfStatement(statement, setters, state) {
+    const thenResult = summarizeStatement(statement.thenStatement, setters, {
+        ...state,
+        locals: new Map(state.locals),
+    });
+    const elseResult = statement.elseStatement
+        ? summarizeStatement(statement.elseStatement, setters, {
+            ...state,
+            locals: new Map(state.locals),
+        })
+        : emptyResult();
+    const condition = parseGuardExpression(statement.expression, setters, state.locals);
+    if (!condition || !thenResult || !elseResult) {
+        return {
+            summaries: fallbackSummaries([statement], setters),
+            terminated: false,
+        };
+    }
+    const thenEffect = effectFromSummaries(thenResult.summaries);
+    const elseEffect = effectFromSummaries(elseResult.summaries);
+    if (thenEffect.kind === "seq" && thenEffect.effects.length === 0) {
+        if (elseEffect.kind === "seq" && elseEffect.effects.length === 0)
+            return emptyResult(thenResult.terminated && elseResult.terminated);
+    }
+    return {
+        summaries: [
+            {
+                effect: {
+                    kind: "if",
+                    cond: condition.expr,
+                    // biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
+                    then: thenEffect,
+                    else: elseEffect,
+                },
+                reads: uniqueStrings([
+                    ...condition.reads,
+                    ...thenResult.summaries.flatMap((summary) => summary.reads),
+                    ...elseResult.summaries.flatMap((summary) => summary.reads),
+                ]),
+            },
+        ],
+        terminated: thenResult.terminated && elseResult.terminated,
+    };
+}
+function summarizeSwitchStatement(statement, setters, state) {
+    const discriminant = parseGuardExpression(statement.expression, setters, state.locals);
+    if (!discriminant) {
+        return {
+            summaries: fallbackSummaries([statement], setters),
+            terminated: false,
+        };
+    }
+    const branches = [];
+    for (let index = 0; index < statement.caseBlock.clauses.length; index += 1) {
+        const clause = statement.caseBlock.clauses[index];
+        if (!clause)
+            continue;
+        const result = summarizeStatementList(clause.statements, setters, {
+            ...state,
+            locals: new Map(state.locals),
+        });
+        if (!result)
+            return {
+                summaries: fallbackSummaries([statement], setters),
+                terminated: false,
+            };
+        if (index < statement.caseBlock.clauses.length - 1 && !result.terminated)
+            return {
+                summaries: fallbackSummaries([statement], setters),
+                terminated: false,
+            };
+        if (ts.isDefaultClause(clause)) {
+            branches.push({ reads: [], result });
+            continue;
+        }
+        const literal = literalValue(clause.expression);
+        const value = literal !== undefined
+            ? { expr: { kind: "lit", value: literal }, reads: [] }
+            : parseGuardExpression(clause.expression, setters, state.locals);
+        if (!value)
+            return {
+                summaries: fallbackSummaries([statement], setters),
+                terminated: false,
+            };
+        branches.push({
+            cond: { kind: "eq", args: [discriminant.expr, value.expr] },
+            reads: value.reads,
+            result,
+        });
+    }
+    const effect = branches
+        .slice()
+        .reverse()
+        .reduce((fallback, branch) => {
+        const branchEffect = effectFromSummaries(branch.result.summaries);
+        if (!branch.cond)
+            return branchEffect;
+        return {
+            kind: "if",
+            cond: branch.cond,
+            // biome-ignore lint/suspicious/noThenProperty: Effect IR serializes if branches with a "then" field.
+            then: branchEffect,
+            else: fallback,
+        };
+    }, identityEffect());
+    return {
+        summaries: effect.kind === "seq" && effect.effects.length === 0
+            ? []
+            : [
+                {
+                    effect,
+                    reads: uniqueStrings([
+                        ...discriminant.reads,
+                        ...branches.flatMap((branch) => branch.reads),
+                        ...branches.flatMap((branch) => branch.result.summaries.flatMap((summary) => summary.reads)),
+                    ]),
+                },
+            ],
+        terminated: branches.length > 0 &&
+            branches.every((branch) => branch.result.terminated),
+    };
+}
+function summarizeTryStatement(statement, setters, state) {
+    if (statement.catchClause) {
+        return {
+            summaries: fallbackSummaries([statement], setters),
+            terminated: false,
+        };
+    }
+    const tryResult = summarizeStatementList(statement.tryBlock.statements, setters, {
+        ...state,
+        locals: new Map(state.locals),
+    });
+    const finallyResult = statement.finallyBlock
+        ? summarizeStatementList(statement.finallyBlock.statements, setters, {
+            ...state,
+            locals: new Map(state.locals),
+        })
+        : emptyResult();
+    if (!tryResult || !finallyResult)
+        return {
+            summaries: fallbackSummaries([statement], setters),
+            terminated: false,
+        };
+    return {
+        summaries: [...tryResult.summaries, ...finallyResult.summaries],
+        terminated: tryResult.terminated || finallyResult.terminated,
+    };
+}
+function summarizeLoopStatement(statement, setters) {
+    if (containsAwait(statement))
+        return undefined;
+    const loopSetters = uniqueSetters(settersWrittenIn(statement, setters));
+    return {
+        summaries: loopSetters.map((setter) => ({
+            effect: { kind: "havoc", var: setter.varId },
+            reads: [],
+        })),
+        terminated: false,
+    };
+}
+function helperSummariesFromCall(call, handlers, setters) {
+    if (!handlers ||
+        !ts.isIdentifier(call.expression) ||
+        call.arguments.length !== 0)
+        return undefined;
+    const helper = handlers.get(call.expression.text);
+    return helper
+        ? summarizeHandlerStatements(helper, setters, { handlers })
+        : undefined;
+}
+function fallbackResult(statement, setters) {
+    return {
+        summaries: fallbackSummaries([statement], setters),
+        terminated: false,
+    };
+}
+function fallbackSummaries(statements, setters) {
+    const summaries = [];
+    for (const statement of statements) {
+        for (const setter of escapedSettersInStatement(statement, setters)) {
+            summaries.push({
+                effect: { kind: "havoc", var: setter.varId },
+                reads: [],
+            });
+        }
+        for (const setter of settersWrittenIn(statement, setters)) {
+            summaries.push({
+                effect: { kind: "havoc", var: setter.varId },
+                reads: [],
+            });
+        }
+    }
+    return uniqueSummariesByEffect(summaries);
+}
+function emptyResult(terminated = false) {
+    return { summaries: [], terminated };
+}
+function expressionCall(expression) {
+    if (ts.isCallExpression(expression))
+        return expression;
+    if (ts.isVoidExpression(expression) &&
+        ts.isCallExpression(expression.expression))
+        return expression.expression;
+    return undefined;
+}
+function containsAwait(node) {
+    let found = false;
+    const visit = (candidate) => {
+        if (found)
+            return;
+        if (ts.isAwaitExpression(candidate)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(candidate, visit);
+    };
+    visit(node);
+    return found;
+}
+//# sourceMappingURL=statement-summary.js.map

package/dist/extract/engine/ts/transition/statement-summary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-summary.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/statement-summary.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAQ1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAiBjD,MAAM,UAAU,eAAe,CAAC,SAAkB;IAChD,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAA2B,EAC3B,OAAmC,EACnC,UAAmC,EAAE;IAErC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAmC,EACnC,OAAmC,EACnC,UAAmC,EAAE;IAErC,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,EAAE;QACzD,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC;QACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,OAAO,MAAM,EAAE,SAAS,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,OAAmC;IAEnC,OAAO,uBAAuB,CAC5B,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QACtC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,UAAU,GAAG,kBAAkB,CACnC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,MAAM,EACjB,OAAO,EACP,MAAM,CACP,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE;YACvD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;YAC5B,IAAI,EAAE,UAAU,CAAC,IAAI;SACtB;QACD,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI;QACJ,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,OAAO;QACP,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EACxB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,SAAuB,EACvB,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,OAAO,IAAI,CAAC,SAAS;SAClB,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC;SACvB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACnE,MAAM,CAAC,CAAC,MAAM,EAA2B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAiC;IAEjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAAmC;IAEnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,IAAI,KAAK,QAAQ;QAExB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QACxD,OAAO,CAAC,aAAa,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAAmC;IAEnC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5D,OAAO,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAuC;IAEvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAmC,EACnC,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,oBAAoB,CACtC,SAAS,EACT,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EACnD,OAAO,EACP,KAAK,CACN,CAAC;YACF,IAAI,WAAW,EAAE,CAAC;gBAChB,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACzC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,IAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa;QACvC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC;QAC9C,CAAC,CAAC,KAAK,CAAC;IACV,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE;QACvD,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC9D,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,IAAI,SAAS,EAAE,CAAC;IAC/D,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;oBAC/C,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;iBAChD;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAuB;IAClD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CACvC,CAAC;QACF,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAuB,EACvB,OAAmC,EACnC,KAA4B;IAE5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAAE,OAAO,WAAW,EAAE,CAAC;IACzD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE;YAClE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,OAAO,KAAK,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC;YACtD,OAAO,WAAW,EAAE,CAAC;QACvB,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtE,IAAI,MAAM;gBAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,OAAO;gBAAE,OAAO,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7B,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC9B,OAAO,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,eAAe,CAAC,SAAS,CAAC;QAC5B,OAAO,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACrE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAClC,OAAO,kBAAkB,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,OAAmC,EACnC,KAA4B;IAE5B,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;QACtE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa;QACxC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;YACnD,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC9D,OAAO,WAAW,CAAC,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IACD,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,UAAU;iBACjB;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC3D,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,YAAY,GAAG,oBAAoB,CACvC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAIR,EAAE,CAAC;IACT,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE;YAChE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YACT,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU;YACtE,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,KAAK,GACT,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK;YACR,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;YAC3D,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ;SACpB,KAAK,EAAE;SACP,OAAO,EAAE;SACT,MAAM,CAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,YAAY,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,qGAAqG;YACrG,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,QAAQ;SACf,CAAC;IACJ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;IACvB,OAAO;QACL,SAAS,EACP,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAClD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,MAAM;oBACN,KAAK,EAAE,aAAa,CAAC;wBACnB,GAAG,YAAY,CAAC,KAAK;wBACrB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;wBAC7C,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAC5D;qBACF,CAAC;iBACH;aACF;QACP,UAAU,EACR,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,SAA0B,EAC1B,OAAmC,EACnC,KAA4B;IAE5B,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,sBAAsB,CACtC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAC7B,OAAO,EACP;QACE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CACF,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAAC,YAAY;QAC1C,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE;YACjE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,IAAI,CAAC,SAAS,IAAI,CAAC,aAAa;QAC9B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,OAAO;QACL,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,aAAa,CAAC,SAAS,CAAC;QAC/D,UAAU,EAAE,SAAS,CAAC,UAAU,IAAI,aAAa,CAAC,UAAU;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAuB,EACvB,OAAmC;IAEnC,IAAI,aAAa,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,WAAW,GAAG,aAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE,OAAO;QACL,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;YAC5C,KAAK,EAAE,EAAE;SACV,CAAC,CAAC;QACH,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,QAAqD,EACrD,OAAmC;IAEnC,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAE3B,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM;QACX,CAAC,CAAC,0BAA0B,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,SAAuB,EACvB,OAAmC;IAEnC,OAAO;QACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QAClD,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAmC,EACnC,OAAmC;IAEnC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YACnE,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,WAAW,CAAC,UAAU,GAAG,KAAK;IACrC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CACrB,UAAyB;IAEzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvD,IACE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1C,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/extract/engine/ts/transition/timers.d.ts

@@ -0,0 +1,15 @@
+import * as ts from "typescript";
+import type { Transition } from "modality-ts/core";
+import type { ExtractableHandler, EffectSummary, SetterBinding } from "../types.js";
+export declare function refSetterTaint(node: ts.Node, setters: Map<string, SetterBinding>): {
+    varId: string;
+    node: ts.Node;
+} | undefined;
+export declare function timerSetterTaints(node: ts.Node, setters: Map<string, SetterBinding>): {
+    varId: string;
+    node: ts.Node;
+}[];
+export declare function transitionsFromTimerCall(source: ts.SourceFile, fileName: string, node: ts.Node, setters: Map<string, SetterBinding>, component: string): Transition[];
+export declare function timerCallbackSummaries(callback: ExtractableHandler, setters: Map<string, SetterBinding>): EffectSummary[] | undefined;
+export declare function handlerSchedulesModeledTimer(attribute: ts.JsxAttribute, handlers: Map<string, ExtractableHandler>, setters: Map<string, SetterBinding>): boolean;
+//# sourceMappingURL=timers.d.ts.map

package/dist/extract/engine/ts/transition/timers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timers.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/timers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EACV,kBAAkB,EAClB,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AASrB,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;CAAE,GAAG,SAAS,CAuB9C;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;CAAE,EAAE,CAcpC;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,GAChB,UAAU,EAAE,CAgCd;AAED,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,GAAG,SAAS,CAE7B;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACzC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CA2BT"}

package/dist/extract/engine/ts/transition/timers.js

@@ -0,0 +1,109 @@
+import * as ts from "typescript";
+import { callName, isUseRefCall, lineAndColumn, } from "../ast.js";
+import { handlerExpression } from "../components.js";
+import { safeId, uniqueStrings } from "../ids.js";
+import { effectWriteVars, settersWrittenIn, uniqueSetters, } from "./effects.js";
+import { stateNameForVar } from "./handlers.js";
+import { summarizeHandlerStatements } from "./statement-summary.js";
+export function refSetterTaint(node, setters) {
+    if (ts.isVariableDeclaration(node) &&
+        node.initializer &&
+        isUseRefCall(node.initializer)) {
+        const arg = node.initializer.arguments[0];
+        if (arg && ts.isIdentifier(arg)) {
+            const setter = setters.get(arg.text);
+            if (setter)
+                return { varId: setter.varId, node: arg };
+        }
+    }
+    if (ts.isBinaryExpression(node) &&
+        node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+        ts.isPropertyAccessExpression(node.left) &&
+        node.left.name.text === "current" &&
+        ts.isIdentifier(node.right)) {
+        const setter = setters.get(node.right.text);
+        if (setter)
+            return { varId: setter.varId, node: node.right };
+    }
+    return undefined;
+}
+export function timerSetterTaints(node, setters) {
+    if (!ts.isCallExpression(node))
+        return [];
+    const name = callName(node.expression);
+    if (name !== "setTimeout" && name !== "setInterval")
+        return [];
+    const callback = node.arguments[0];
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)))
+        return [];
+    if (timerCallbackSummaries(callback, setters))
+        return [];
+    return uniqueSetters(settersWrittenIn(callback.body, setters)).map((setter) => ({ varId: setter.varId, node: callback }));
+}
+export function transitionsFromTimerCall(source, fileName, node, setters, component) {
+    if (!ts.isCallExpression(node))
+        return [];
+    const name = callName(node.expression);
+    if (name !== "setTimeout" && name !== "setInterval")
+        return [];
+    const callback = node.arguments[0];
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)))
+        return [];
+    const summaries = timerCallbackSummaries(callback, setters);
+    if (!summaries || summaries.length === 0)
+        return [];
+    const effects = summaries.map((summary) => summary.effect);
+    const writes = uniqueStrings(effects.flatMap(effectWriteVars));
+    const suffix = writes.map((id) => stateNameForVar(id, setters) ?? safeId(id)).join("_") ||
+        "callback";
+    return [
+        {
+            id: `${component}.${name}.${suffix}`,
+            cls: "env",
+            label: { kind: "timer", key: `${component}.${name}.${suffix}` },
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard: { kind: "lit", value: true },
+            effect: effects.length === 1 ? effects[0] : { kind: "seq", effects },
+            reads: uniqueStrings(summaries.flatMap((summary) => summary.reads)),
+            writes,
+            confidence: effects.some((effect) => effect.kind === "havoc")
+                ? "over-approx"
+                : "exact",
+        },
+    ];
+}
+export function timerCallbackSummaries(callback, setters) {
+    return summarizeHandlerStatements(callback, setters);
+}
+export function handlerSchedulesModeledTimer(attribute, handlers, setters) {
+    if (!attribute.initializer)
+        return false;
+    const expression = ts.isJsxExpression(attribute.initializer)
+        ? attribute.initializer.expression
+        : undefined;
+    const handler = handlerExpression(expression, handlers);
+    if (!handler)
+        return false;
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isCallExpression(node)) {
+            const name = callName(node.expression);
+            const callback = node.arguments[0];
+            if ((name === "setTimeout" || name === "setInterval") &&
+                callback &&
+                (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+                timerCallbackSummaries(callback, setters)) {
+                found = true;
+                return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(handler.body);
+    return found;
+}
+//# sourceMappingURL=timers.js.map