modality-ts 0.0.8 → 0.0.10

package/dist/extract/engine/ts/static-navigation.js

@@ -0,0 +1,425 @@
+import * as ts from "typescript";
+import { isPropertyAccessLike, lineAndColumn, literalValue, propertyName, startsUppercase, } from "./ast.js";
+import { jsxRouteTarget, normalizeRouteTarget, routeMountGuard, routeMountReads, templateRoutePattern, } from "./routes.js";
+export function staticNavigationTransitions(source, fileName, routePatterns, components) {
+    const transitions = [];
+    const topEnv = topLevelStaticEnv(source);
+    const visit = (node, component, env, depth) => {
+        if (depth > 5)
+            return;
+        if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+            const tag = node.tagName.getText(source);
+            if (tag === "Link") {
+                const extracted = staticLinkTransitions(source, fileName, node, component, env, routePatterns);
+                transitions.push(...extracted);
+            }
+            else if (startsUppercase(tag)) {
+                const decl = components.get(tag);
+                if (decl) {
+                    const props = staticPropsFromAttributes(node.attributes.properties, env);
+                    const inlinedEnv = componentParameterEnv(decl, props, topEnv);
+                    for (const returned of componentReturnExpressions(decl))
+                        visitStaticExpression(returned, tag, inlinedEnv, depth + 1);
+                }
+            }
+        }
+        if (ts.isJsxExpression(node) && node.expression) {
+            visitStaticExpression(node.expression, component, env, depth);
+            return;
+        }
+        ts.forEachChild(node, (child) => visit(child, component, env, depth));
+    };
+    const visitStaticExpression = (expression, component, env, depth) => {
+        if (ts.isParenthesizedExpression(expression) ||
+            ts.isAsExpression(expression) ||
+            ts.isSatisfiesExpression(expression)) {
+            visitStaticExpression(expression.expression, component, env, depth);
+            return;
+        }
+        if (ts.isConditionalExpression(expression)) {
+            const condition = staticValues(expression.condition, env);
+            const bools = condition?.filter((value) => typeof value === "boolean") ?? [];
+            if (bools.length === 1)
+                visitStaticExpression(bools[0] ? expression.whenTrue : expression.whenFalse, component, env, depth);
+            else {
+                visitStaticExpression(expression.whenTrue, component, env, depth);
+                visitStaticExpression(expression.whenFalse, component, env, depth);
+            }
+            return;
+        }
+        if (ts.isBinaryExpression(expression) &&
+            expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+            const condition = staticValues(expression.left, env);
+            if (!condition || condition.some(Boolean))
+                visitStaticExpression(expression.right, component, env, depth);
+            return;
+        }
+        if (ts.isArrayLiteralExpression(expression)) {
+            for (const element of expression.elements)
+                visitStaticExpression(element, component, env, depth);
+            return;
+        }
+        const map = staticMapCall(expression, env);
+        if (map) {
+            for (let index = 0; index < map.items.length; index += 1) {
+                const item = map.items[index];
+                const callbackEnv = new Map(env);
+                const [itemParam, indexParam] = map.callback.parameters;
+                if (itemParam && ts.isIdentifier(itemParam.name))
+                    callbackEnv.set(itemParam.name.text, [item]);
+                if (indexParam && ts.isIdentifier(indexParam.name))
+                    callbackEnv.set(indexParam.name.text, [index]);
+                if (ts.isBlock(map.callback.body)) {
+                    for (const returned of blockReturnExpressions(map.callback.body, callbackEnv))
+                        visitStaticExpression(returned, component, callbackEnv, depth + 1);
+                }
+                else {
+                    visitStaticExpression(map.callback.body, component, callbackEnv, depth + 1);
+                }
+            }
+            return;
+        }
+        visit(expression, component, env, depth);
+    };
+    visit(source, "Anonymous", topEnv, 0);
+    return uniqueStaticTransitions(transitions);
+}
+function uniqueStaticTransitions(transitions) {
+    const seen = new Set();
+    const unique = [];
+    for (const transition of transitions) {
+        const key = canonicalTransitionKey(stripInternalTransition(transition));
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        unique.push(transition);
+    }
+    return unique;
+}
+function staticLinkTransitions(source, fileName, node, component, env, routePatterns) {
+    const toAttr = node.attributes.properties.find((property) => ts.isJsxAttribute(property) &&
+        ts.isIdentifier(property.name) &&
+        property.name.text === "to");
+    if (!toAttr)
+        return [];
+    const legacyTarget = jsxRouteTarget(toAttr, routePatterns);
+    const targets = staticRouteTargetsFromJsxAttribute(toAttr, env, routePatterns);
+    return targets
+        .filter((target) => target.to !== legacyTarget)
+        .map((target) => ({
+        id: `${component}.Link.navigate.${safeId(target.to)}`,
+        cls: "nav",
+        label: {
+            kind: "navigate",
+            mode: "push",
+            to: target.to,
+        },
+        source: [{ file: fileName, ...lineAndColumn(source, toAttr) }],
+        guard: routeMountGuard(component, routePatterns),
+        effect: {
+            kind: "navigate",
+            mode: "push",
+            to: { kind: "lit", value: target.to },
+        },
+        reads: routeMountReads(component, routePatterns),
+        writes: ["sys:route", "sys:history"],
+        confidence: target.confidence,
+        __stableIdKey: `${component}:${toAttr.getText(source)}:${target.to}`,
+    }));
+}
+function staticRouteTargetsFromJsxAttribute(attribute, env, routePatterns) {
+    if (!attribute.initializer)
+        return [];
+    if (ts.isStringLiteral(attribute.initializer)) {
+        return [
+            {
+                to: normalizeRouteTarget(attribute.initializer.text, routePatterns),
+                confidence: "exact",
+            },
+        ];
+    }
+    if (!ts.isJsxExpression(attribute.initializer) ||
+        !attribute.initializer.expression)
+        return [];
+    return staticRouteTargets(attribute.initializer.expression, env, routePatterns);
+}
+function staticRouteTargets(expression, env, routePatterns) {
+    if (ts.isConditionalExpression(expression)) {
+        const condition = staticValues(expression.condition, env);
+        const bools = condition?.filter((value) => typeof value === "boolean") ?? [];
+        if (bools.length === 1)
+            return staticRouteTargets(bools[0] ? expression.whenTrue : expression.whenFalse, env, routePatterns);
+        return uniqueRouteTargets([
+            ...staticRouteTargets(expression.whenTrue, env, routePatterns).map((target) => ({ ...target, confidence: "over-approx" })),
+            ...staticRouteTargets(expression.whenFalse, env, routePatterns).map((target) => ({ ...target, confidence: "over-approx" })),
+        ]);
+    }
+    const staticStrings = staticStringValues(expression, env);
+    if (staticStrings.length > 0) {
+        return uniqueRouteTargets(staticStrings.map((value) => ({
+            to: normalizeRouteTarget(value, routePatterns),
+            confidence: "exact",
+        })));
+    }
+    if (ts.isNoSubstitutionTemplateLiteral(expression)) {
+        return [
+            {
+                to: normalizeRouteTarget(expression.text, routePatterns),
+                confidence: "exact",
+            },
+        ];
+    }
+    if (ts.isTemplateExpression(expression)) {
+        const pattern = templateRoutePattern(expression);
+        return pattern
+            ? [
+                {
+                    to: normalizeRouteTarget(pattern, routePatterns),
+                    confidence: "over-approx",
+                },
+            ]
+            : [];
+    }
+    return ts.isIdentifier(expression)
+        ? routePatterns.map((to) => ({ to, confidence: "over-approx" }))
+        : [];
+}
+function uniqueRouteTargets(targets) {
+    const byTarget = new Map();
+    for (const target of targets) {
+        const current = byTarget.get(target.to);
+        byTarget.set(target.to, current === "exact" && target.confidence === "exact"
+            ? "exact"
+            : (current ?? target.confidence));
+    }
+    return [...byTarget].map(([to, confidence]) => ({ to, confidence }));
+}
+function topLevelStaticEnv(source) {
+    const env = new Map();
+    for (const statement of source.statements) {
+        if (!ts.isVariableStatement(statement))
+            continue;
+        const isConst = (statement.declarationList.flags & ts.NodeFlags.Const) !== 0;
+        if (!isConst)
+            continue;
+        for (const declaration of statement.declarationList.declarations) {
+            if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
+                continue;
+            const values = staticValues(declaration.initializer, env);
+            if (values)
+                env.set(declaration.name.text, values);
+        }
+    }
+    return env;
+}
+function staticPropsFromAttributes(attributes, env) {
+    const props = new Map();
+    for (const attr of attributes) {
+        if (!ts.isJsxAttribute(attr) || !ts.isIdentifier(attr.name))
+            continue;
+        if (!attr.initializer) {
+            props.set(attr.name.text, [true]);
+            continue;
+        }
+        if (ts.isStringLiteral(attr.initializer)) {
+            props.set(attr.name.text, [attr.initializer.text]);
+            continue;
+        }
+        if (ts.isJsxExpression(attr.initializer) && attr.initializer.expression) {
+            const values = staticValues(attr.initializer.expression, env);
+            if (values)
+                props.set(attr.name.text, values);
+        }
+    }
+    return props;
+}
+function componentParameterEnv(component, props, base) {
+    const env = new Map(base);
+    const parameter = component.parameters[0];
+    if (!parameter)
+        return env;
+    if (ts.isIdentifier(parameter.name)) {
+        env.set(parameter.name.text, [
+            Object.fromEntries([...props].map(([key, values]) => [key, values[0] ?? null])),
+        ]);
+    }
+    if (ts.isObjectBindingPattern(parameter.name)) {
+        for (const element of parameter.name.elements) {
+            if (!ts.isIdentifier(element.name))
+                continue;
+            const propName = element.propertyName && ts.isIdentifier(element.propertyName)
+                ? element.propertyName.text
+                : element.name.text;
+            const values = props.get(propName);
+            if (values)
+                env.set(element.name.text, values);
+        }
+    }
+    return env;
+}
+function componentReturnExpressions(component) {
+    if (!component.body)
+        return [];
+    if (!ts.isBlock(component.body))
+        return [component.body];
+    return blockReturnExpressions(component.body, new Map());
+}
+function blockReturnExpressions(block, env) {
+    const returns = [];
+    const locals = new Map(env);
+    for (const statement of block.statements) {
+        if (ts.isVariableStatement(statement)) {
+            for (const declaration of statement.declarationList.declarations) {
+                if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
+                    continue;
+                const values = staticValues(declaration.initializer, locals);
+                if (values)
+                    locals.set(declaration.name.text, values);
+            }
+        }
+        if (ts.isReturnStatement(statement) && statement.expression)
+            returns.push(statement.expression);
+        if (ts.isIfStatement(statement)) {
+            returns.push(...returnExpressionsFromStatement(statement.thenStatement, locals));
+            if (statement.elseStatement)
+                returns.push(...returnExpressionsFromStatement(statement.elseStatement, locals));
+        }
+        if (ts.isForOfStatement(statement)) {
+            const values = staticValues(statement.expression, locals)
+                ?.filter(Array.isArray)
+                .flat() ?? [];
+            for (const value of values) {
+                const loopEnv = new Map(locals);
+                if (ts.isIdentifier(statement.initializer))
+                    loopEnv.set(statement.initializer.text, [value]);
+                else if (ts.isVariableDeclarationList(statement.initializer)) {
+                    const decl = statement.initializer.declarations[0];
+                    if (decl && ts.isIdentifier(decl.name))
+                        loopEnv.set(decl.name.text, [value]);
+                }
+                returns.push(...returnExpressionsFromStatement(statement.statement, loopEnv));
+            }
+        }
+    }
+    return returns;
+}
+function returnExpressionsFromStatement(statement, env) {
+    if (ts.isBlock(statement))
+        return blockReturnExpressions(statement, env);
+    if (ts.isReturnStatement(statement) && statement.expression)
+        return [statement.expression];
+    if (ts.isIfStatement(statement)) {
+        return [
+            ...returnExpressionsFromStatement(statement.thenStatement, env),
+            ...(statement.elseStatement
+                ? returnExpressionsFromStatement(statement.elseStatement, env)
+                : []),
+        ];
+    }
+    return [];
+}
+function staticMapCall(expression, env) {
+    if (!ts.isCallExpression(expression) ||
+        !ts.isPropertyAccessExpression(expression.expression) ||
+        expression.expression.name.text !== "map")
+        return undefined;
+    const callback = expression.arguments[0];
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)))
+        return undefined;
+    const arrays = staticValues(expression.expression.expression, env)?.filter(Array.isArray) ?? [];
+    const items = arrays.flat();
+    return items.length > 0 ? { items, callback } : undefined;
+}
+function staticStringValues(expression, env) {
+    const values = staticValues(expression, env) ?? [];
+    return values.filter((value) => typeof value === "string");
+}
+function staticValues(expression, env) {
+    if (ts.isParenthesizedExpression(expression) ||
+        ts.isAsExpression(expression) ||
+        ts.isSatisfiesExpression(expression))
+        return staticValues(expression.expression, env);
+    const literal = literalValue(expression);
+    if (literal !== undefined)
+        return [literal];
+    if (ts.isNoSubstitutionTemplateLiteral(expression))
+        return [expression.text];
+    if (ts.isIdentifier(expression))
+        return env.get(expression.text)
+            ? [...env.get(expression.text)]
+            : undefined;
+    if (ts.isArrayLiteralExpression(expression)) {
+        const items = [];
+        for (const element of expression.elements) {
+            const values = staticValues(element, env);
+            if (!values || values.length !== 1)
+                return undefined;
+            items.push(values[0]);
+        }
+        return [items];
+    }
+    if (ts.isObjectLiteralExpression(expression)) {
+        const object = {};
+        for (const property of expression.properties) {
+            if (ts.isShorthandPropertyAssignment(property)) {
+                const values = env.get(property.name.text);
+                object[property.name.text] =
+                    values && values.length === 1 ? values[0] : null;
+                continue;
+            }
+            if (!ts.isPropertyAssignment(property))
+                return undefined;
+            const name = propertyName(property.name);
+            if (!name)
+                return undefined;
+            const values = staticValues(property.initializer, env);
+            object[name] = values && values.length === 1 ? values[0] : null;
+        }
+        return [object];
+    }
+    if (isPropertyAccessLike(expression)) {
+        const baseValues = staticValues(expression.expression, env);
+        if (!baseValues)
+            return undefined;
+        const out = [];
+        for (const value of baseValues) {
+            if (!isStaticObject(value))
+                continue;
+            if (Object.hasOwn(value, expression.name.text))
+                out.push(value[expression.name.text]);
+        }
+        return out.length > 0 ? out : undefined;
+    }
+    if (ts.isConditionalExpression(expression)) {
+        const condition = staticValues(expression.condition, env);
+        const bools = condition?.filter((value) => typeof value === "boolean") ?? [];
+        if (bools.length === 1)
+            return staticValues(bools[0] ? expression.whenTrue : expression.whenFalse, env);
+        return [
+            ...(staticValues(expression.whenTrue, env) ?? []),
+            ...(staticValues(expression.whenFalse, env) ?? []),
+        ];
+    }
+    return undefined;
+}
+function isStaticObject(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function stripInternalTransition(transition) {
+    const { __stableIdKey: _ignored, ...publicTransition } = transition;
+    return publicTransition;
+}
+function canonicalTransitionKey(transition) {
+    return JSON.stringify({
+        label: transition.label,
+        guard: transition.guard,
+        effect: transition.effect,
+        reads: transition.reads,
+        writes: transition.writes,
+    });
+}
+function safeId(value) {
+    return (value.replace(/[^A-Za-z0-9]+/g, "_").replace(/^_+|_+$/g, "") || "event");
+}
+//# sourceMappingURL=static-navigation.js.map

package/dist/extract/engine/ts/static-navigation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-navigation.js","sourceRoot":"","sources":["../../../../src/extract/engine/ts/static-navigation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,eAAe,GAChB,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAQrB,MAAM,UAAU,2BAA2B,CACzC,MAAqB,EACrB,QAAgB,EAChB,aAAgC,EAChC,UAA8C;IAE9C,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,CACZ,IAAa,EACb,SAAiB,EACjB,GAAc,EACd,KAAa,EACP,EAAE;QACR,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO;QACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;gBACnB,MAAM,SAAS,GAAG,qBAAqB,CACrC,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,GAAG,EACH,aAAa,CACd,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACjC,CAAC;iBAAM,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjC,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,KAAK,GAAG,yBAAyB,CACrC,IAAI,CAAC,UAAU,CAAC,UAAU,EAC1B,GAAG,CACJ,CAAC;oBACF,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;oBAC9D,KAAK,MAAM,QAAQ,IAAI,0BAA0B,CAAC,IAAI,CAAC;wBACrD,qBAAqB,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAChD,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC;IACF,MAAM,qBAAqB,GAAG,CAC5B,UAAyB,EACzB,SAAiB,EACjB,GAAc,EACd,KAAa,EACP,EAAE;QACR,IACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;YACxC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;YAC7B,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,EACpC,CAAC;YACD,qBAAqB,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACpE,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC1D,MAAM,KAAK,GACT,SAAS,EAAE,MAAM,CACf,CAAC,KAAK,EAAoB,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS,CACxD,IAAI,EAAE,CAAC;YACV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBACpB,qBAAqB,CACnB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EACrD,SAAS,EACT,GAAG,EACH,KAAK,CACN,CAAC;iBACC,CAAC;gBACJ,qBAAqB,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBAClE,qBAAqB,CAAC,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACrE,CAAC;YACD,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;YACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACvE,CAAC;YACD,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;gBACvC,qBAAqB,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACjE,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ;gBACvC,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACxD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,GAAG,EAAE,CAAC;YACR,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACxD,IAAI,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;oBAC9C,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,IAAI,UAAU,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;oBAChD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,KAAK,MAAM,QAAQ,IAAI,sBAAsB,CAC3C,GAAG,CAAC,QAAQ,CAAC,IAAI,EACjB,WAAW,CACZ;wBACC,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACvE,CAAC;qBAAM,CAAC;oBACN,qBAAqB,CACnB,GAAG,CAAC,QAAQ,CAAC,IAAI,EACjB,SAAS,EACT,WAAW,EACX,KAAK,GAAG,CAAC,CACV,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,uBAAuB,CAAC,WAAW,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,uBAAuB,CAC9B,WAA0C;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,sBAAsB,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,QAAgB,EAChB,IAAqD,EACrD,SAAiB,EACjB,GAAc,EACd,aAAgC;IAEhC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9B,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,kCAAkC,CAChD,MAAM,EACN,GAAG,EACH,aAAa,CACd,CAAC;IACF,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,YAAY,CAAC;SAC9C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChB,EAAE,EAAE,GAAG,SAAS,kBAAkB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QACrD,GAAG,EAAE,KAAc;QACnB,KAAK,EAAE;YACL,IAAI,EAAE,UAAmB;YACzB,IAAI,EAAE,MAAe;YACrB,EAAE,EAAE,MAAM,CAAC,EAAE;SACd;QACD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9D,KAAK,EAAE,eAAe,CAAC,SAAS,EAAE,aAAa,CAAC;QAChD,MAAM,EAAE;YACN,IAAI,EAAE,UAAmB;YACzB,IAAI,EAAE,MAAe;YACrB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE;SAC/C;QACD,KAAK,EAAE,eAAe,CAAC,SAAS,EAAE,aAAa,CAAC;QAChD,MAAM,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC;QACpC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,aAAa,EAAE,GAAG,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,EAAE;KACrE,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,kCAAkC,CACzC,SAA0B,EAC1B,GAAc,EACd,aAAgC;IAEhC,IAAI,CAAC,SAAS,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,OAAO;YACL;gBACE,EAAE,EAAE,oBAAoB,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC;gBACnE,UAAU,EAAE,OAAO;aACpB;SACF,CAAC;IACJ,CAAC;IACD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAEjC,OAAO,EAAE,CAAC;IACZ,OAAO,kBAAkB,CACvB,SAAS,CAAC,WAAW,CAAC,UAAU,EAChC,GAAG,EACH,aAAa,CACd,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,GAAc,EACd,aAAgC;IAEhC,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,KAAK,GACT,SAAS,EAAE,MAAM,CACf,CAAC,KAAK,EAAoB,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS,CACxD,IAAI,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,OAAO,kBAAkB,CACvB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EACrD,GAAG,EACH,aAAa,CACd,CAAC;QACJ,OAAO,kBAAkB,CAAC;YACxB,GAAG,kBAAkB,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,GAAG,CAChE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,aAAsB,EAAE,CAAC,CAChE;YACD,GAAG,kBAAkB,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,GAAG,CACjE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,aAAsB,EAAE,CAAC,CAChE;SACF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,aAAa,GAAG,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC1D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,kBAAkB,CACvB,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC5B,EAAE,EAAE,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC;YAC9C,UAAU,EAAE,OAAgB;SAC7B,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO;YACL;gBACE,EAAE,EAAE,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxD,UAAU,EAAE,OAAO;aACpB;SACF,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACjD,OAAO,OAAO;YACZ,CAAC,CAAC;gBACE;oBACE,EAAE,EAAE,oBAAoB,CAAC,OAAO,EAAE,aAAa,CAAC;oBAChD,UAAU,EAAE,aAAa;iBAC1B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;IACT,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAChC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,aAAsB,EAAE,CAAC,CAAC;QACzE,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAuE;IAEvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxC,QAAQ,CAAC,GAAG,CACV,MAAM,CAAC,EAAE,EACT,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO;YAClD,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,CACnC,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,MAAM,GAAG,GAAc,IAAI,GAAG,EAAE,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAAE,SAAS;QACjD,MAAM,OAAO,GACX,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;gBAChE,SAAS;YACX,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YAC1D,IAAI,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,yBAAyB,CAChC,UAA6C,EAC7C,GAAc;IAEd,MAAM,KAAK,GAAc,IAAI,GAAG,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACtE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;YACxE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC9D,IAAI,MAAM;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,SAAwB,EACxB,KAAgB,EAChB,IAAe;IAEf,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,SAAS;QAAE,OAAO,GAAG,CAAC;IAC3B,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE;YAC3B,MAAM,CAAC,WAAW,CAChB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAC5D;SACF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7C,MAAM,QAAQ,GACZ,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC;gBAC3D,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI;gBAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACxB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,0BAA0B,CAAC,SAAwB;IAC1D,IAAI,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAe,EACf,GAAc;IAEd,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;oBAChE,SAAS;gBACX,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;gBAC7D,IAAI,MAAM;oBAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU;YACzD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CACV,GAAG,8BAA8B,CAAC,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,CACnE,CAAC;YACF,IAAI,SAAS,CAAC,aAAa;gBACzB,OAAO,CAAC,IAAI,CACV,GAAG,8BAA8B,CAAC,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,CACnE,CAAC;QACN,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,YAAY,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;gBACxC,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;iBACtB,IAAI,EAAE,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;gBAChC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC;oBACxC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;qBAC9C,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC7D,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBACpC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,CAAC;gBACD,OAAO,CAAC,IAAI,CACV,GAAG,8BAA8B,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAChE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,8BAA8B,CACrC,SAAuB,EACvB,GAAc;IAEd,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,OAAO,sBAAsB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU;QACzD,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,GAAG,8BAA8B,CAAC,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC;YAC/D,GAAG,CAAC,SAAS,CAAC,aAAa;gBACzB,CAAC,CAAC,8BAA8B,CAAC,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC;gBAC9D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,aAAa,CACpB,UAAyB,EACzB,GAAc;IAId,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAChC,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACrD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAEzC,OAAO,SAAS,CAAC;IACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAErE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GACV,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,MAAM,CACzD,KAAK,CAAC,OAAO,CACd,IAAI,EAAE,CAAC;IACV,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5D,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,GAAc;IAEd,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,YAAY,CACnB,UAAyB,EACzB,GAAc;IAEd,IACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAC7B,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;QAEpC,OAAO,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,+BAA+B,CAAC,UAAU,CAAC;QAAE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC7B,OAAO,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YAC7B,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAgC,EAAE,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBACxB,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC5B,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,SAAS;YACrC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC5C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1C,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,KAAK,GACT,SAAS,EAAE,MAAM,CACf,CAAC,KAAK,EAAoB,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS,CACxD,IAAI,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,OAAO,YAAY,CACjB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EACrD,GAAG,CACJ,CAAC;QACJ,OAAO;YACL,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;YACjD,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;SACnD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CACrB,KAAkB;IAElB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,uBAAuB,CAAC,UAA8B;IAC7D,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,gBAAgB,EAAE,GAAG,UAAU,CAAC;IACpE,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAsB;IACpD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CACxE,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,45 @@
+import * as ts from "typescript";
+import type { EffectIR, ExprIR, Locator, Transition, Value } from "modality-ts/core";
+import type { BoundExpr, ExtractableHandler, ExtractionWarning, EffectSummary, SetterBinding } from "../types.js";
+export declare function transitionsFromAsyncHandler(source: ts.SourceFile, fileName: string, attr: string, expression: ExtractableHandler, setters: Map<string, SetterBinding>, component: string, effectApis: Set<string>, asyncOutcomes: Record<string, {
+    success: Value;
+    error?: Value;
+}>, locator: Locator | undefined, routePatterns: readonly string[], warnings: ExtractionWarning[]): Transition[];
+export declare function containsAwaitInLoop(node: ts.Node): boolean;
+export declare function transitionsFromSequentialAwait(source: ts.SourceFile, fileName: string, attr: string, expression: ExtractableHandler, firstAwait: ts.Statement, firstOp: string, preSummaries: readonly EffectSummary[], successStatements: readonly ts.Statement[], setters: Map<string, SetterBinding>, effectApis: Set<string>, component: string, locator: Locator | undefined, warnings: ExtractionWarning[]): Transition[];
+export declare function promiseAllGuard(ops: readonly string[]): ExprIR;
+export declare function confidenceForEffects(effects: readonly EffectIR[]): Transition["confidence"];
+export declare function setterAssignEffect(statement: ts.Statement, setters: Map<string, {
+    varId: string;
+}>): Extract<Transition["effect"], {
+    kind: "assign";
+}> | undefined;
+export declare function expressionStatementAwait(statement: ts.Statement, effectApis: Set<string>): boolean;
+export declare function containsAwaitedEffect(statements: readonly ts.Statement[], effectApis: Set<string>): boolean;
+export declare function awaitedOp(statement: ts.Statement, effectApis: Set<string>): string | undefined;
+export declare function awaitedCall(statement: ts.Statement, effectApis: Set<string>): {
+    op: string;
+    call: ts.CallExpression;
+} | undefined;
+export declare function awaitedCallExpressionInStatement(statement: ts.Statement): ts.CallExpression | undefined;
+export declare function effectOpForCall(name: string, call: ts.CallExpression): string;
+export declare function fetchUrl(argument: ts.Expression | undefined): string | undefined;
+export declare function normalizeFetchUrl(value: string): string;
+export declare function fetchMethod(argument: ts.Expression | undefined): string | undefined;
+export declare function firstNavigationInStatements(statements: readonly ts.Statement[], routePatterns: readonly string[]): {
+    mode: "push" | "replace" | "back";
+    to?: string;
+} | undefined;
+export declare function navigationEffect(navigation: {
+    mode: "push" | "replace" | "back";
+    to?: string;
+}): EffectIR;
+export declare function appendEffect(transition: Transition, effect: EffectIR): Transition;
+export declare function effectCallArgs(call: ts.CallExpression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): {
+    args: Record<string, ExprIR>;
+    reads: string[];
+};
+export declare function promiseAllAwaitOps(statement: ts.Statement, effectApis: Set<string>): string[] | undefined;
+export declare function pendingIs(op: string): Transition["guard"];
+export declare function pendingIsAt(index: number, op: string): Transition["guard"];
+//# sourceMappingURL=async.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"async.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/async.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,KAAK,EACV,QAAQ,EACR,MAAM,EACN,OAAO,EACP,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,SAAS,EACT,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AAOrB,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,kBAAkB,EAC9B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,EAChE,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CA8Ld;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAqB1D;AAED,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,kBAAkB,EAC9B,UAAU,EAAE,EAAE,CAAC,SAAS,EACxB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,SAAS,aAAa,EAAE,EACtC,iBAAiB,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EAC1C,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,QAAQ,EAAE,iBAAiB,EAAE,GAC5B,UAAU,EAAE,CA8Jd;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAI9D;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,SAAS,QAAQ,EAAE,GAC3B,UAAU,CAAC,YAAY,CAAC,CAI1B;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACtC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAa/D;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB,OAAO,CAKT;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB,OAAO,CAqBT;AAED,wBAAgB,SAAS,CACvB,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB,MAAM,GAAG,SAAS,CAEpB;AAED,wBAAgB,WAAW,CACzB,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAA;CAAE,GAAG,SAAS,CAQrD;AAED,wBAAgB,gCAAgC,CAC9C,SAAS,EAAE,EAAE,CAAC,SAAS,GACtB,EAAE,CAAC,cAAc,GAAG,SAAS,CAqB/B;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,MAAM,CAK7E;AAED,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,GAClC,MAAM,GAAG,SAAS,CAcpB;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,wBAAgB,WAAW,CACzB,QAAQ,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,GAClC,MAAM,GAAG,SAAS,CASpB;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAahE;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE;IAC3C,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAClC,EAAE,CAAC,EAAE,MAAM,CAAC;CACb,GAAG,QAAQ,CAMX;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,QAAQ,GACf,UAAU,CAmBZ;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CA2BnD;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GACtB,MAAM,EAAE,GAAG,SAAS,CAuBtB;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAEzD;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAQ1E"}