modality-ts 0.0.8 → 0.0.10

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,12 @@
+import * as ts from "typescript";
+import type { Locator, Transition } from "modality-ts/core";
+import type { EffectSummary, SetterBinding } from "../types.js";
+export { effectWriteVars, escapedSetters, escapedSettersInStatement, identityEffect, isLoopStatement, setterAssignEffect, setterCallFrom, settersWrittenIn, singleSetterEffect, summarizeAsyncSegment, summarizeSetterCall, summarizeSetterStatement, uniqueSetters, uniqueSummariesByEffect, } from "./statement-summary.js";
+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 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;AAMjC,OAAO,KAAK,EAAU,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AAQrB,OAAO,EACL,eAAe,EACf,cAAc,EACd,yBAAyB,EACzB,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,wBAAwB,EACxB,aAAa,EACb,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,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,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,CAE7B;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,139 @@
+import * as ts from "typescript";
+import { callName, lineAndColumn, } from "../ast.js";
+import { uniqueStrings } from "../ids.js";
+import { stateVarForName } from "./expressions.js";
+import { andGuard } from "./guards.js";
+import { labelForEvent } from "./ui.js";
+import { effectWriteVars, summarizeStatements, } from "./statement-summary.js";
+export { effectWriteVars, escapedSetters, escapedSettersInStatement, identityEffect, isLoopStatement, setterAssignEffect, setterCallFrom, settersWrittenIn, singleSetterEffect, summarizeAsyncSegment, summarizeSetterCall, summarizeSetterStatement, uniqueSetters, uniqueSummariesByEffect, } from "./statement-summary.js";
+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 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) {
+    return summarizeStatements(statements, setters);
+}
+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,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAM1C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EACL,eAAe,EACf,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,cAAc,EACd,yBAAyB,EACzB,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,wBAAwB,EACxB,aAAa,EACb,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,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,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,OAAO,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAClD,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,34 @@
+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;
+export declare function unwrapTsExpression(expression: ts.Expression): ts.Expression;
+//# 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,CAiDvB;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,CAuB9B;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,CAkEvB;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,CAS5E;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAU3E"}