modality-ts 0.0.8 → 0.0.9

package/dist/extract/engine/ts/transition/component-props.js

@@ -0,0 +1,200 @@
+import * as ts from "typescript";
+import { isExtractableHandler } from "../ast.js";
+import { componentName, handlerExpression, isForwardablePropName, isIntrinsicJsxAttribute, } from "../components.js";
+import { disabledGuardFor } from "./guards.js";
+import { isEventAttribute, locatorForEventAttribute } from "./ui.js";
+export function componentPropTrigger(source, component, propName, setters, warnings) {
+    const localHandlers = componentLocalHandlers(component);
+    let trigger;
+    const visit = (node) => {
+        if (trigger)
+            return;
+        if (ts.isJsxAttribute(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isEventAttribute(node.name.text) &&
+            isIntrinsicJsxAttribute(node)) {
+            const expression = ts.isJsxExpression(node.initializer)
+                ? node.initializer.expression
+                : undefined;
+            const handler = handlerExpression(expression, localHandlers);
+            if (expression &&
+                (expressionReferencesProp(expression, component, propName) ||
+                    (handler &&
+                        handlerCallsProp(handler, component, propName, localHandlers)))) {
+                trigger = {
+                    attr: node.name.text,
+                    locator: locatorForEventAttribute(node),
+                    guard: disabledGuardFor(node, setters, warnings, source, componentName(component) ?? "Anonymous"),
+                };
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(component);
+    return trigger;
+}
+export function transparentComponentPropTrigger(component, propName) {
+    if (!isForwardablePropName(propName) ||
+        !componentSpreadsPropsToElement(component))
+        return undefined;
+    return { attr: propName };
+}
+export function componentSpreadsPropsToElement(component) {
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if ((ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            node.attributes.properties.some(ts.isJsxSpreadAttribute)) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(component);
+    return found;
+}
+export function forwardsComponentProp(node, handlers, component) {
+    if (!component || !node.initializer)
+        return false;
+    const expression = ts.isJsxExpression(node.initializer)
+        ? node.initializer.expression
+        : undefined;
+    if (expression && expressionReferencesForwardableProp(expression, component))
+        return true;
+    const localHandlers = componentLocalHandlers(component);
+    const handler = handlerExpression(expression, handlers) ??
+        handlerExpression(expression, localHandlers);
+    return Boolean(handler && handlerCallsForwardableProp(handler, component, localHandlers));
+}
+export function componentLocalHandlers(component) {
+    const localHandlers = new Map();
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isExtractableHandler(node.initializer)) {
+            localHandlers.set(node.name.text, node.initializer);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(component);
+    return localHandlers;
+}
+export function handlerCallsProp(handler, component, propName, localHandlers, seen = new Set()) {
+    if (seen.has(handler))
+        return false;
+    seen.add(handler);
+    const aliases = componentPropAliases(component, propName);
+    const propObjects = componentPropObjectNames(component);
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isCallExpression(node)) {
+            if (callInvokesProp(node.expression, propName, aliases, propObjects)) {
+                found = true;
+                return;
+            }
+            if (ts.isIdentifier(node.expression)) {
+                const local = localHandlers.get(node.expression.text);
+                if (local &&
+                    handlerCallsProp(local, component, propName, localHandlers, seen)) {
+                    found = true;
+                    return;
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(handler.body);
+    return found;
+}
+export function handlerCallsForwardableProp(handler, component, localHandlers) {
+    return forwardableComponentPropNames(component).some((propName) => handlerCallsProp(handler, component, propName, localHandlers));
+}
+export function expressionReferencesForwardableProp(expression, component) {
+    return forwardableComponentPropNames(component).some((propName) => expressionReferencesProp(expression, component, propName));
+}
+export function expressionReferencesProp(expression, component, propName) {
+    const aliases = componentPropAliases(component, propName);
+    const propObjects = componentPropObjectNames(component);
+    if (ts.isIdentifier(expression))
+        return aliases.has(expression.text);
+    if (!ts.isPropertyAccessExpression(expression) ||
+        expression.name.text !== propName)
+        return false;
+    if (propObjects.size === 0)
+        return true;
+    return (ts.isIdentifier(expression.expression) &&
+        propObjects.has(expression.expression.text));
+}
+export function callInvokesProp(expression, propName, aliases, propObjects) {
+    if (ts.isIdentifier(expression))
+        return aliases.has(expression.text);
+    if (!ts.isPropertyAccessExpression(expression) ||
+        expression.name.text !== propName)
+        return false;
+    if (propObjects.size === 0)
+        return true;
+    return (ts.isIdentifier(expression.expression) &&
+        propObjects.has(expression.expression.text));
+}
+export function componentPropAliases(component, propName) {
+    const aliases = new Set();
+    const firstParam = component.parameters[0];
+    if (!firstParam || !ts.isObjectBindingPattern(firstParam.name))
+        return aliases;
+    for (const element of firstParam.name.elements) {
+        const name = element.name;
+        if (!ts.isIdentifier(name))
+            continue;
+        const propertyName = element.propertyName && ts.isIdentifier(element.propertyName)
+            ? element.propertyName.text
+            : name.text;
+        if (propertyName === propName)
+            aliases.add(name.text);
+    }
+    return aliases;
+}
+export function forwardableComponentPropNames(component) {
+    const names = new Set();
+    const firstParam = component.parameters[0];
+    if (!firstParam)
+        return [];
+    if (ts.isObjectBindingPattern(firstParam.name)) {
+        for (const element of firstParam.name.elements) {
+            const name = element.propertyName && ts.isIdentifier(element.propertyName)
+                ? element.propertyName.text
+                : ts.isIdentifier(element.name)
+                    ? element.name.text
+                    : undefined;
+            if (name && isForwardablePropName(name))
+                names.add(name);
+        }
+    }
+    if (ts.isIdentifier(firstParam.name)) {
+        if (!component.body)
+            return [...names].sort();
+        const objectName = firstParam.name.text;
+        const visit = (node) => {
+            if (ts.isPropertyAccessExpression(node) &&
+                ts.isIdentifier(node.expression) &&
+                node.expression.text === objectName &&
+                isForwardablePropName(node.name.text)) {
+                names.add(node.name.text);
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(component.body);
+    }
+    return [...names].sort();
+}
+export function componentPropObjectNames(component) {
+    const firstParam = component.parameters[0];
+    return new Set(firstParam && ts.isIdentifier(firstParam.name)
+        ? [firstParam.name.text]
+        : []);
+}
+//# sourceMappingURL=component-props.js.map

package/dist/extract/engine/ts/transition/component-props.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-props.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/component-props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,EAAE,gBAAgB,EAAoB,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAErE,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,SAAwB,EACxB,QAAgB,EAChB,OAAmC,EACnC,QAA6B;IAE7B,MAAM,aAAa,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,OAES,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,OAAO;YAAE,OAAO;QACpB,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,uBAAuB,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;gBAC7B,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC7D,IACE,UAAU;gBACV,CAAC,wBAAwB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC;oBACxD,CAAC,OAAO;wBACN,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,EACnE,CAAC;gBACD,OAAO,GAAG;oBACR,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACpB,OAAO,EAAE,wBAAwB,CAAC,IAAI,CAAC;oBACvC,KAAK,EAAE,gBAAgB,CACrB,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,MAAM,EACN,aAAa,CAAC,SAAS,CAAC,IAAI,WAAW,CACxC;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,SAAwB,EACxB,QAAgB;IAEhB,IACE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QAChC,CAAC,8BAA8B,CAAC,SAAS,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,SAAwB;IAExB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,EACxD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAqB,EACrB,QAAyC,EACzC,SAAoC;IAEpC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,UAAU,IAAI,mCAAmC,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,MAAM,aAAa,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,OAAO,GACX,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC;QACvC,iBAAiB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC/C,OAAO,OAAO,CACZ,OAAO,IAAI,2BAA2B,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAAwB;IAExB,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EACtC,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAA2B,EAC3B,SAAwB,EACxB,QAAgB,EAChB,aAA8C,EAC9C,OAAO,IAAI,GAAG,EAAsB;IAEpC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACrE,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtD,IACE,KAAK;oBACL,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,CAAC,EACjE,CAAC;oBACD,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,OAA2B,EAC3B,SAAwB,EACxB,aAA8C;IAE9C,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAChE,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,UAAyB,EACzB,SAAwB;IAExB,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAChE,wBAAwB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,UAAyB,EACzB,SAAwB,EACxB,QAAgB;IAEhB,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACrE,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAEjC,OAAO,KAAK,CAAC;IACf,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,UAAyB,EACzB,QAAgB,EAChB,OAAoB,EACpB,WAAwB;IAExB,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACrE,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAEjC,OAAO,KAAK,CAAC;IACf,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,SAAwB,EACxB,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,UAAU,CAAC,IAAI,CAAC;QAC5D,OAAO,OAAO,CAAC;IACjB,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC;YAC3D,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI;YAC3B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChB,IAAI,YAAY,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,SAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,sBAAsB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/C,MAAM,IAAI,GACR,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC;gBAC3D,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI;gBAC3B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;oBACnB,CAAC,CAAC,SAAS,CAAC;YAClB,IAAI,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,IAAI;YAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;gBACnC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EACrC,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAwB;IAExB,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,IAAI,GAAG,CACZ,UAAU,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC,CAAC,EAAE,CACP,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,33 @@
+import * as ts from "typescript";
+import type { Locator, Transition } from "modality-ts/core";
+import type { BoundExpr, EffectSummary, SetterBinding, SetterCall } from "../types.js";
+export declare function isLoopStatement(statement: ts.Statement): boolean;
+export declare function settersWrittenIn(node: ts.Node, setters: Map<string, SetterBinding>): SetterBinding[];
+export declare function uniqueSetters(setters: readonly SetterBinding[]): SetterBinding[];
+export declare function setterCallFrom(call: ts.CallExpression, setters: Map<string, SetterBinding>): SetterCall | undefined;
+export declare function havocSetterTransition(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, setter: SetterBinding, locator: Locator | undefined, suffix: string): Transition;
+export declare function singleSetterEffect(statement: ts.Statement, setters: Map<string, SetterBinding>): Extract<Transition["effect"], {
+    kind: "assign";
+}> | undefined;
+export declare function setterAssignEffect(statement: ts.Statement, setters: Map<string, {
+    varId: string;
+}>): Extract<Transition["effect"], {
+    kind: "assign";
+}> | undefined;
+export declare function identityEffect(): Extract<Transition["effect"], {
+    kind: "seq";
+}>;
+export declare function effectWriteVars(effect: Transition["effect"]): string[];
+export declare function summarizeAsyncSegment(statements: readonly ts.Statement[], setters: Map<string, SetterBinding>): EffectSummary[];
+export declare function escapedSettersInStatement(statement: ts.Statement, setters: Map<string, SetterBinding>): SetterBinding[];
+export declare function escapedSetters(call: ts.CallExpression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): SetterBinding[];
+export declare function uniqueSummariesByEffect(summaries: readonly EffectSummary[]): EffectSummary[];
+export declare function summarizeSetterStatement(statement: ts.Statement, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): EffectSummary | undefined;
+export declare function summarizeSetterCall(call: ts.CallExpression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): EffectSummary | undefined;
+export declare function transitionsFromUseEffect(source: ts.SourceFile, fileName: string, node: ts.CallExpression, setters: Map<string, SetterBinding>, component: string): Transition[];
+export declare function summarizeEffectStatements(statements: readonly ts.Statement[], setters: Map<string, SetterBinding>): EffectSummary[] | undefined;
+export declare function cleanupSummaries(statements: readonly ts.Statement[], setters: Map<string, SetterBinding>): EffectSummary[] | undefined;
+export declare function isCleanupReturn(statement: ts.Statement): statement is ts.ReturnStatement;
+export declare function dependencyReads(node: ts.Expression | undefined, setters: Map<string, SetterBinding>, fallbackReads?: readonly string[]): string[];
+export declare function useEffectWritesModeledState(node: ts.CallExpression, setters: Map<string, SetterBinding>): boolean;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,KAAK,EAAU,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,aAAa,EACb,UAAU,EACX,MAAM,aAAa,CAAC;AAMrB,wBAAgB,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,GAAG,OAAO,CAQhE;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAWjB;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,aAAa,EAAE,GAChC,aAAa,EAAE,CAMjB;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,UAAU,GAAG,SAAS,CAiBxB;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,OAAO,GAAG,SAAS,EAC5B,MAAM,EAAE,MAAM,GACb,UAAU,CAYZ;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAI/D;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,cAAc,IAAI,OAAO,CACvC,UAAU,CAAC,QAAQ,CAAC,EACpB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAChB,CAEA;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,CActE;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAsBjB;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CASjB;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,EAAE,CAKjB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,SAAS,aAAa,EAAE,GAClC,aAAa,EAAE,CAUjB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,GAAG,SAAS,CAO3B;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,GAAG,SAAS,CAuB3B;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,SAAS,EAAE,MAAM,GAChB,UAAU,EAAE,CAuFd;AAED,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,GAAG,SAAS,CAU7B;AAED,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,GAAG,SAAS,CAY7B;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,EAAE,CAAC,SAAS,GACtB,SAAS,IAAI,EAAE,CAAC,eAAe,CAMjC;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,aAAa,GAAE,SAAS,MAAM,EAAO,GACpC,MAAM,EAAE,CAeV;AAED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CAaT"}

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

@@ -0,0 +1,303 @@
+import * as ts from "typescript";
+import { callName, lineAndColumn, literalValue, } from "../ast.js";
+import { uniqueStrings } from "../ids.js";
+import { setterArgumentExpr, stateVarForName } from "./expressions.js";
+import { andGuard } from "./guards.js";
+import { bindConstStatement } from "./locals.js";
+import { labelForEvent } from "./ui.js";
+export function isLoopStatement(statement) {
+    return (ts.isForStatement(statement) ||
+        ts.isForInStatement(statement) ||
+        ts.isForOfStatement(statement) ||
+        ts.isWhileStatement(statement) ||
+        ts.isDoStatement(statement));
+}
+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 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 setterCallFrom(call, setters) {
+    if (ts.isIdentifier(call.expression) && call.arguments.length === 1) {
+        const setter = setters.get(call.expression.text);
+        return setter ? { setter, argument: call.arguments[0] } : 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}`);
+        return setter ? { setter, argument: call.arguments[1] } : undefined;
+    }
+    return undefined;
+}
+export function havocSetterTransition(source, fileName, node, attr, component, setter, locator, suffix) {
+    return {
+        id: `${component}.${attr}.${setter.stateName}.${suffix}`,
+        cls: "user",
+        label: labelForEvent(attr, locator),
+        source: [{ file: fileName, ...lineAndColumn(source, node) }],
+        guard: { kind: "lit", value: true },
+        effect: { kind: "havoc", var: setter.varId },
+        reads: [],
+        writes: [setter.varId],
+        confidence: "over-approx",
+    };
+}
+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 } };
+}
+export function identityEffect() {
+    return { kind: "seq", effects: [] };
+}
+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 summarizeAsyncSegment(statements, setters) {
+    const summaries = [];
+    for (const statement of statements) {
+        const summary = summarizeSetterStatement(statement, setters);
+        if (summary) {
+            summaries.push(summary);
+            continue;
+        }
+        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);
+}
+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 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 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;
+    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 transitionsFromUseEffect(source, fileName, node, setters, component) {
+    const callback = node.arguments[0];
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !ts.isBlock(callback.body))
+        return [];
+    const cleanup = cleanupSummaries(callback.body.statements, setters);
+    const bodyStatements = callback.body.statements.filter((statement) => !isCleanupReturn(statement));
+    const summaries = summarizeEffectStatements(bodyStatements, setters);
+    if (!summaries || !cleanup)
+        return [];
+    const transitions = [];
+    const effectReads = uniqueStrings(summaries.flatMap((summary) => summary.reads));
+    const deps = dependencyReads(node.arguments[1], setters, effectReads);
+    const effects = summaries.map((summary) => summary.effect);
+    const hasExplicitDependencyArray = Boolean(node.arguments[1] && ts.isArrayLiteralExpression(node.arguments[1]));
+    const hasUntriggeredHavocEffect = hasExplicitDependencyArray &&
+        deps.length === 0 &&
+        effects.some((effect) => effect.kind === "havoc");
+    if (effects.length > 0 && !hasUntriggeredHavocEffect) {
+        const assignEffects = effects.filter((effect) => effect.kind === "assign");
+        const guards = assignEffects.map((effect) => ({
+            kind: "neq",
+            args: [{ kind: "read", var: effect.var }, effect.expr],
+        }));
+        const guard = guards.length > 0
+            ? guards.slice(1).reduce((acc, next) => andGuard(acc, next), guards[0])
+            : { kind: "lit", value: true };
+        transitions.push({
+            id: `${component}.useEffect.${effects
+                .flatMap(effectWriteVars)
+                .map((varId) => varId.split(".").at(-1) ?? varId)
+                .join("_")}`,
+            cls: "internal",
+            label: { kind: "internal", text: `${component}.useEffect` },
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard,
+            effect: effects.length === 1 ? effects[0] : { kind: "seq", effects },
+            reads: uniqueStrings([
+                ...deps,
+                ...effectReads,
+                ...effects.flatMap(effectWriteVars),
+            ]),
+            writes: uniqueStrings(effects.flatMap(effectWriteVars)),
+            confidence: effects.some((effect) => effect.kind === "havoc")
+                ? "over-approx"
+                : "exact",
+            triggeredBy: deps,
+        });
+    }
+    if (cleanup.length > 0) {
+        const cleanupEffects = cleanup.map((summary) => summary.effect);
+        const cleanupReads = uniqueStrings(cleanup.flatMap((summary) => summary.reads));
+        transitions.push({
+            id: `${component}.useEffect.cleanup.${cleanupEffects
+                .flatMap(effectWriteVars)
+                .map((varId) => varId.split(".").at(-1) ?? varId)
+                .join("_")}`,
+            cls: "internal",
+            label: { kind: "internal", text: `${component}.useEffect.cleanup` },
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard: { kind: "lit", value: true },
+            effect: cleanupEffects.length === 1
+                ? cleanupEffects[0]
+                : { kind: "seq", effects: cleanupEffects },
+            reads: cleanupReads,
+            writes: uniqueStrings(cleanupEffects.flatMap(effectWriteVars)),
+            confidence: "over-approx",
+            triggeredBy: deps,
+        });
+    }
+    return transitions;
+}
+export function summarizeEffectStatements(statements, setters) {
+    const locals = new Map();
+    const summaries = [];
+    for (const statement of statements) {
+        if (bindConstStatement(statement, setters, locals))
+            continue;
+        const summary = summarizeSetterStatement(statement, setters, locals);
+        if (!summary)
+            return undefined;
+        summaries.push(summary);
+    }
+    return summaries;
+}
+export function cleanupSummaries(statements, setters) {
+    const returns = statements.filter(isCleanupReturn);
+    if (returns.length === 0)
+        return [];
+    if (returns.length > 1)
+        return undefined;
+    const expression = returns[0].expression;
+    if (!expression ||
+        (!ts.isArrowFunction(expression) && !ts.isFunctionExpression(expression)) ||
+        !ts.isBlock(expression.body))
+        return undefined;
+    return summarizeEffectStatements(expression.body.statements, setters);
+}
+export function isCleanupReturn(statement) {
+    if (!ts.isReturnStatement(statement) || !statement.expression)
+        return false;
+    return (ts.isArrowFunction(statement.expression) ||
+        ts.isFunctionExpression(statement.expression));
+}
+export function dependencyReads(node, setters, fallbackReads = []) {
+    if (!node || !ts.isArrayLiteralExpression(node)) {
+        return uniqueStrings(fallbackReads);
+    }
+    return [
+        ...new Set(node.elements.flatMap((element) => ts.isIdentifier(element)
+            ? [stateVarForName(element.text, setters)].filter((id) => Boolean(id))
+            : [])),
+    ];
+}
+export function useEffectWritesModeledState(node, setters) {
+    let writes = false;
+    const visit = (candidate) => {
+        if (ts.isCallExpression(candidate) &&
+            ts.isIdentifier(candidate.expression) &&
+            setters.has(candidate.expression.text))
+            writes = true;
+        ts.forEachChild(candidate, visit);
+    };
+    visit(node);
+    return writes;
+}
+//# sourceMappingURL=effects.js.map

package/dist/extract/engine/ts/transition/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAQ1C,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,UAAU,eAAe,CAAC,SAAuB;IACrD,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,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,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,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,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,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,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,MAAqB,EACrB,OAA4B,EAC5B,MAAc;IAEd,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,EAAE;QACxD,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;QACnC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;QACnC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;QAC5C,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;QACtB,UAAU,EAAE,aAAa;KAC1B,CAAC;AACJ,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,MAAM,UAAU,cAAc;IAI5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAA4B;IAC1D,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,qBAAqB,CACnC,UAAmC,EACnC,OAAmC;IAEnC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,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,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,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,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,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,wBAAwB,CACtC,MAAqB,EACrB,QAAgB,EAChB,IAAuB,EACvB,OAAmC,EACnC,SAAiB;IAEjB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAE1B,OAAO,EAAE,CAAC;IACZ,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CACpD,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAC3C,CAAC;IACF,MAAM,SAAS,GAAG,yBAAyB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,aAAa,CAC/B,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAC9C,CAAC;IACF,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,0BAA0B,GAAG,OAAO,CACxC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACpE,CAAC;IACF,MAAM,yBAAyB,GAC7B,0BAA0B;QAC1B,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC;QACrD,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAA+D,EAAE,CACtE,MAAM,CAAC,IAAI,KAAK,QAAQ,CAC3B,CAAC;QACF,MAAM,MAAM,GAAa,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC;SACvD,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GACT,MAAM,CAAC,MAAM,GAAG,CAAC;YACf,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC;YACxE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,GAAG,SAAS,cAAc,OAAO;iBAClC,OAAO,CAAC,eAAe,CAAC;iBACxB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;iBAChD,IAAI,CAAC,GAAG,CAAC,EAAE;YACd,GAAG,EAAE,UAAU;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,SAAS,YAAY,EAAE;YAC3D,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE;YACpE,KAAK,EAAE,aAAa,CAAC;gBACnB,GAAG,IAAI;gBACP,GAAG,WAAW;gBACd,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;aACpC,CAAC;YACF,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YACvD,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC3D,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,OAAO;YACX,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,aAAa,CAChC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAC5C,CAAC;QACF,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,GAAG,SAAS,sBAAsB,cAAc;iBACjD,OAAO,CAAC,eAAe,CAAC;iBACxB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;iBAChD,IAAI,CAAC,GAAG,CAAC,EAAE;YACd,GAAG,EAAE,UAAU;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,SAAS,oBAAoB,EAAE;YACnE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,MAAM,EACJ,cAAc,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE;YAC9C,KAAK,EAAE,YAAY;YACnB,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YAC9D,UAAU,EAAE,aAAa;YACzB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,UAAmC,EACnC,OAAmC;IAEnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,SAAS;QAC7D,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAmC,EACnC,OAAmC;IAEnC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAC1C,IACE,CAAC,UAAU;QACX,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACzE,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAE5B,OAAO,SAAS,CAAC;IACnB,OAAO,yBAAyB,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAAuB;IAEvB,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,UAAU,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAA+B,EAC/B,OAAmC,EACnC,gBAAmC,EAAE;IAErC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,aAAa,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,GAAG,IAAI,GAAG,CACR,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAChC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACtB,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAC7C,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAClC;YACH,CAAC,CAAC,EAAE,CACP,CACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,IAAuB,EACvB,OAAmC;IAEnC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IACE,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;YAEtC,MAAM,GAAG,IAAI,CAAC;QAChB,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,33 @@
+import * as ts from "typescript";
+import type { AbstractDomain, ExprIR } from "modality-ts/core";
+import type { BoundExpr, SetterBinding } from "../types.js";
+export declare function setterArgumentExpr(argument: ts.Expression, setter: SetterBinding, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function objectLiteralAssignmentExpr(expression: ts.ObjectLiteralExpression, domain: AbstractDomain, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function taggedFieldsForObject(expression: ts.ObjectLiteralExpression, domain: Extract<AbstractDomain, {
+    kind: "tagged";
+}>): Record<string, AbstractDomain>;
+export declare function valueExpr(expression: ts.Expression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function objectSpreadUpdateExpr(expression: ts.ObjectLiteralExpression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export interface OptionalReadPath {
+    base: string;
+    path: string[];
+    optional: boolean;
+}
+export declare function nullishOptionalReadExpr(expression: ts.BinaryExpression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function optionalReadPath(expression: ts.Expression): OptionalReadPath | undefined;
+export declare function booleanExpr(expression: ts.Expression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function modeledReadExpr(expression: ts.Expression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>): BoundExpr | undefined;
+export declare function readBinding(varId: string): BoundExpr;
+export declare function stateVarForName(name: string, setters: Map<string, SetterBinding>): string | undefined;
+export declare function setterForName(name: string, setters: Map<string, SetterBinding>): SetterBinding | undefined;
+export declare function taggedPathDomain(domain: Extract<AbstractDomain, {
+    kind: "tagged";
+}>, path: readonly string[]): AbstractDomain | undefined;
+export declare function domainAtRecordPath(domain: Extract<AbstractDomain, {
+    kind: "record";
+}>, path: readonly string[]): AbstractDomain | undefined;
+export declare function andGuard(left: ExprIR, right: ExprIR): ExprIR;
+export declare function isTrueLiteral(expr: ExprIR): boolean;
+export declare function isEventAttribute(name: string): boolean;
+export declare function propertyAccessPath(node: ts.Expression): string[] | undefined;
+//# sourceMappingURL=expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAS,MAAM,kBAAkB,CAAC;AACtE,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5D,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,EAAE,CAAC,UAAU,EACvB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CA0BvB;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,EAAE,CAAC,uBAAuB,EACtC,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CA2BvB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,EAAE,CAAC,uBAAuB,EACtC,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAClD,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAShC;AAED,wBAAgB,SAAS,CACvB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CA+CvB;AAED,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,EAAE,CAAC,uBAAuB,EACtC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CAyBvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,EAAE,CAAC,gBAAgB,EAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,SAAS,GAAG,SAAS,CAiCvB;AAED,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,gBAAgB,GAAG,SAAS,CAqB9B;AAED,wBAAgB,WAAW,CACzB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CAgEvB;AAED,wBAAgB,eAAe,CAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7B,SAAS,GAAG,SAAS,CA8CvB;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAEpD;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,MAAM,GAAG,SAAS,CAEpB;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,GAAG,SAAS,CAK3B;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EACnD,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,cAAc,GAAG,SAAS,CAc5B;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EACnD,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,cAAc,GAAG,SAAS,CAM5B;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAI5D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOtD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,EAAE,GAAG,SAAS,CAO5E"}