modality-ts 0.0.8 → 0.0.9

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

@@ -0,0 +1,113 @@
+import * as ts from "typescript";
+import { bindContextHookObjectDeclaration } from "../context.js";
+import { booleanExpr, valueExpr } from "./expressions.js";
+import { parseConjunctiveGuardExpression } from "./guards.js";
+export function componentGuardLocalsFor(attribute, setters) {
+    const body = enclosingFunctionBody(attribute);
+    if (!body)
+        return new Map();
+    const locals = new Map();
+    for (const statement of body.statements) {
+        if (statement.pos > attribute.pos)
+            break;
+        if (ts.isReturnStatement(statement))
+            break;
+        bindConstStatement(statement, setters, locals, true);
+    }
+    return locals;
+}
+export function componentScopeLocalsFor(attribute, setters, contextBindings) {
+    const body = enclosingFunctionBody(attribute);
+    if (!body)
+        return new Map();
+    const locals = new Map();
+    for (const statement of body.statements) {
+        if (statement.pos > attribute.pos)
+            break;
+        if (ts.isReturnStatement(statement))
+            break;
+        bindConstStatement(statement, setters, locals, true);
+        for (const declaration of variableDeclarations(statement)) {
+            bindContextHookObjectDeclaration(declaration, contextBindings, setters);
+        }
+    }
+    return locals;
+}
+export function variableDeclarations(node) {
+    if (!ts.isVariableStatement(node))
+        return [];
+    return [...node.declarationList.declarations];
+}
+export function enclosingFunctionBody(node) {
+    let current = node;
+    while (current) {
+        if ((ts.isFunctionDeclaration(current) ||
+            ts.isFunctionExpression(current) ||
+            ts.isArrowFunction(current)) &&
+            current.body &&
+            ts.isBlock(current.body)) {
+            return current.body;
+        }
+        current = current.parent;
+    }
+    return undefined;
+}
+export function callSummaryFromHandler(handler, setters, initialLocals = new Map()) {
+    const body = handler.body;
+    if (ts.isCallExpression(body))
+        return { call: body, locals: new Map(initialLocals) };
+    if (ts.isVoidExpression(body) && ts.isCallExpression(body.expression))
+        return { call: body.expression, locals: new Map(initialLocals) };
+    if (ts.isBlock(body)) {
+        const locals = new Map(initialLocals);
+        for (let index = 0; index < body.statements.length; index += 1) {
+            const statement = body.statements[index];
+            const isLast = index === body.statements.length - 1;
+            if (isLast &&
+                ts.isExpressionStatement(statement) &&
+                ts.isCallExpression(statement.expression))
+                return { call: statement.expression, locals };
+            if (isLast &&
+                ts.isExpressionStatement(statement) &&
+                ts.isVoidExpression(statement.expression) &&
+                ts.isCallExpression(statement.expression.expression))
+                return { call: statement.expression.expression, locals };
+            if (!bindConstStatement(statement, setters, locals))
+                return undefined;
+        }
+    }
+    return undefined;
+}
+export function bindConstStatement(statement, setters, locals, partialBoolean = false) {
+    if (!ts.isVariableStatement(statement))
+        return false;
+    if ((ts.getCombinedNodeFlags(statement.declarationList) &
+        ts.NodeFlags.Const) ===
+        0)
+        return false;
+    for (const declaration of statement.declarationList.declarations) {
+        if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
+            return false;
+        const setterAlias = ts.isIdentifier(declaration.initializer)
+            ? (setters.get(declaration.initializer.text) ??
+                locals.get(declaration.initializer.text)?.setter)
+            : undefined;
+        const binding = setterAlias
+            ? { expr: { kind: "lit", value: null }, reads: [], setter: setterAlias }
+            : (valueExpr(declaration.initializer, setters, locals) ??
+                (partialBoolean
+                    ? parseConjunctiveGuardExpression(declaration.initializer, setters, locals)
+                    : booleanExpr(declaration.initializer, setters, locals)));
+        if (!binding)
+            return false;
+        locals.set(declaration.name.text, binding);
+    }
+    return true;
+}
+export function inlinedHelperCall(call, handlers, setters) {
+    if (!ts.isIdentifier(call.expression) || call.arguments.length !== 0)
+        return undefined;
+    const helper = handlers.get(call.expression.text);
+    return helper ? callSummaryFromHandler(helper, setters) : undefined;
+}
+//# sourceMappingURL=locals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"locals.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/locals.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,gCAAgC,EAAE,MAAM,eAAe,CAAC;AAOjE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,+BAA+B,EAAE,MAAM,aAAa,CAAC;AAE9D,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,OAAmC;IAEnC,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG;YAAE,MAAM;QACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAAE,MAAM;QAC3C,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,OAAmC,EACnC,eAAgC;IAEhC,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG;YAAE,MAAM;QACzC,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAAE,MAAM;QAC3C,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1D,gCAAgC,CAAC,WAAW,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACf,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,CAAC,IAAI;YACZ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EACxB,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAA2B,EAC3B,OAAmC,EACnC,gBAAwC,IAAI,GAAG,EAAE;IAEjD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;IACxD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;IACnE,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAoB,aAAa,CAAC,CAAC;QACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;YACpD,IACE,MAAM;gBACN,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;gBAEzC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YAChD,IACE,MAAM;gBACN,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;gBACnC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;gBACzC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC;gBAEpD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;YAC3D,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC;gBAAE,OAAO,SAAS,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC,EACnC,MAA8B,EAC9B,cAAc,GAAG,KAAK;IAEtB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,eAAe,CAAC;QACjD,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QACrB,CAAC;QAED,OAAO,KAAK,CAAC;IACf,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;YAChE,OAAO,KAAK,CAAC;QACf,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC;YAC1D,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,OAAO,GAA0B,WAAW;YAChD,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;YACxE,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC;gBACpD,CAAC,cAAc;oBACb,CAAC,CAAC,+BAA+B,CAC7B,WAAW,CAAC,WAAW,EACvB,OAAO,EACP,MAAM,CACP;oBACH,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAuB,EACvB,QAAyC,EACzC,OAAmC;IAEnC,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,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC"}

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

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+import type { EffectIR, Locator, Transition } from "modality-ts/core";
+import type { RouterPlugin } from "../../spi/index.js";
+import type { BoundExpr, SetterBinding } from "../types.js";
+export declare function navigationTransition(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, call: ts.CallExpression, _locator: Locator | undefined, routerPlugin: RouterPlugin | undefined, routePatterns?: readonly string[]): Transition | undefined;
+export declare function navigationCall(call: ts.CallExpression, routerPlugin: RouterPlugin | undefined, routePatterns?: readonly string[]): {
+    mode: "push" | "replace" | "back";
+    to?: string;
+} | undefined;
+export declare function linkNavigationTransition(source: ts.SourceFile, fileName: string, node: ts.Node, component: string, routePatterns: readonly string[]): Transition | undefined;
+export declare function escapedSetters(call: ts.CallExpression, setters: Map<string, SetterBinding>, locals?: Map<string, BoundExpr>): SetterBinding[];
+export declare function firstNavigationInStatements(statements: readonly ts.Statement[], routePatterns: readonly string[]): {
+    mode: "push" | "replace" | "back";
+    to?: string;
+} | undefined;
+export declare function navigationEffect(navigation: {
+    mode: "push" | "replace" | "back";
+    to?: string;
+}): EffectIR;
+export declare function appendEffect(transition: Transition, effect: EffectIR): Transition;
+//# sourceMappingURL=navigation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI5D,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,OAAO,GAAG,SAAS,EAC7B,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,GAAE,SAAS,MAAM,EAAO,GACpC,UAAU,GAAG,SAAS,CA0BxB;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,GAAE,SAAS,MAAM,EAAO,GACpC;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAyBhE;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,UAAU,GAAG,SAAS,CA0BxB;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,2BAA2B,CACzC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAahE;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE;IAC3C,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAClC,EAAE,CAAC,EAAE,MAAM,CAAC;CACb,GAAG,QAAQ,CAMX;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,QAAQ,GACf,UAAU,CAmBZ"}

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

@@ -0,0 +1,129 @@
+import * as ts from "typescript";
+import { callName, lineAndColumn } from "../ast.js";
+import { safeId, uniqueStrings } from "../ids.js";
+import { jsxRouteTarget, routeMountGuard, routeMountReads, routeTargetValue, } from "../routes.js";
+import { effectWriteVars } from "./effects.js";
+import { callArgumentValue } from "./plugin-calls.js";
+export function navigationTransition(source, fileName, node, attr, component, call, _locator, routerPlugin, routePatterns = []) {
+    const navigation = navigationCall(call, routerPlugin, routePatterns);
+    if (!navigation)
+        return undefined;
+    const routeId = navigation.to ? safeId(navigation.to) : "back";
+    return {
+        id: `${component}.${attr}.navigate.${routeId}`,
+        cls: "nav",
+        label: {
+            kind: "navigate",
+            mode: navigation.mode === "replace" ? "push" : navigation.mode,
+            ...(navigation.to ? { to: navigation.to } : {}),
+        },
+        source: [{ file: fileName, ...lineAndColumn(source, node) }],
+        guard: { kind: "lit", value: true },
+        effect: {
+            kind: "navigate",
+            mode: navigation.mode,
+            ...(navigation.to ? { to: { kind: "lit", value: navigation.to } } : {}),
+        },
+        reads: navigation.mode === "push" || navigation.mode === "back"
+            ? ["sys:route", "sys:history"]
+            : ["sys:history"],
+        writes: ["sys:route", "sys:history"],
+        confidence: "exact",
+    };
+}
+export function navigationCall(call, routerPlugin, routePatterns = []) {
+    const name = callName(call.expression);
+    if (!name)
+        return undefined;
+    const pluginNavigation = routerPlugin?.navigationCall(name, call.arguments.map(callArgumentValue));
+    if (pluginNavigation && pluginNavigation !== "unsupported")
+        return pluginNavigation;
+    if (name === "navigate" && call.arguments.length === 1) {
+        const to = routeTargetValue(call.arguments[0], routePatterns);
+        return typeof to === "string" ? { mode: "push", to } : undefined;
+    }
+    if ((name.endsWith(".push") || name.endsWith(".replace")) &&
+        call.arguments.length === 1) {
+        const to = routeTargetValue(call.arguments[0], routePatterns);
+        if (typeof to !== "string")
+            return undefined;
+        return { mode: name.endsWith(".replace") ? "replace" : "push", to };
+    }
+    if (name.endsWith(".back") && call.arguments.length === 0) {
+        return { mode: "back" };
+    }
+    return undefined;
+}
+export function linkNavigationTransition(source, fileName, node, component, routePatterns) {
+    if ((!ts.isJsxOpeningElement(node) && !ts.isJsxSelfClosingElement(node)) ||
+        node.tagName.getText(source) !== "Link")
+        return undefined;
+    const toAttr = node.attributes.properties.find((property) => ts.isJsxAttribute(property) &&
+        ts.isIdentifier(property.name) &&
+        property.name.text === "to");
+    if (!toAttr)
+        return undefined;
+    const to = jsxRouteTarget(toAttr, routePatterns);
+    if (!to)
+        return undefined;
+    return {
+        id: `${component}.Link.navigate.${safeId(to)}`,
+        cls: "nav",
+        label: { kind: "navigate", mode: "push", to },
+        source: [{ file: fileName, ...lineAndColumn(source, toAttr) }],
+        guard: routeMountGuard(component, routePatterns),
+        effect: { kind: "navigate", mode: "push", to: { kind: "lit", value: to } },
+        reads: routeMountReads(component, routePatterns),
+        writes: ["sys:route", "sys:history"],
+        confidence: "exact",
+    };
+}
+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 firstNavigationInStatements(statements, routePatterns) {
+    for (const statement of statements) {
+        let found;
+        const visit = (node) => {
+            if (found)
+                return;
+            if (ts.isCallExpression(node))
+                found = navigationCall(node, undefined, routePatterns);
+            ts.forEachChild(node, visit);
+        };
+        visit(statement);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+export function navigationEffect(navigation) {
+    return {
+        kind: "navigate",
+        mode: navigation.mode,
+        ...(navigation.to ? { to: { kind: "lit", value: navigation.to } } : {}),
+    };
+}
+export function appendEffect(transition, effect) {
+    const current = transition.effect.kind === "seq"
+        ? transition.effect.effects
+        : [transition.effect];
+    const writes = uniqueStrings([
+        ...transition.writes,
+        ...effectWriteVars(effect),
+    ]);
+    const reads = uniqueStrings([
+        ...transition.reads,
+        ...(effect.kind === "navigate" ? ["sys:route", "sys:history"] : []),
+    ]);
+    return {
+        ...transition,
+        effect: { kind: "seq", effects: [...current, effect] },
+        reads,
+        writes,
+    };
+}
+//# sourceMappingURL=navigation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,GACjB,MAAM,cAAc,CAAC;AAItB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,IAAuB,EACvB,QAA6B,EAC7B,YAAsC,EACtC,gBAAmC,EAAE;IAErC,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACrE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/D,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,aAAa,OAAO,EAAE;QAC9C,GAAG,EAAE,KAAK;QACV,KAAK,EAAE;YACL,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI;YAC9D,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD;QACD,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;YACN,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE;QACD,KAAK,EACH,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;YACtD,CAAC,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC;YAC9B,CAAC,CAAC,CAAC,aAAa,CAAC;QACrB,MAAM,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC;QACpC,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,YAAsC,EACtC,gBAAmC,EAAE;IAErC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,gBAAgB,GAAG,YAAY,EAAE,cAAc,CACnD,IAAI,EACJ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,CACtC,CAAC;IACF,IAAI,gBAAgB,IAAI,gBAAgB,KAAK,aAAa;QACxD,OAAO,gBAAgB,CAAC;IAC1B,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QAC9D,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,CAAC;IACD,IACE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAC3B,CAAC;QACD,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QAC9D,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,QAAgB,EAChB,IAAa,EACb,SAAiB,EACjB,aAAgC;IAEhC,IACE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM;QAEvC,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,QAAQ,EAA+B,EAAE,CACxC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9B,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACjD,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC1B,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,kBAAkB,MAAM,CAAC,EAAE,CAAC,EAAE;QAC9C,GAAG,EAAE,KAAK;QACV,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;QAC7C,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9D,KAAK,EAAE,eAAe,CAAC,SAAS,EAAE,aAAa,CAAC;QAChD,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QAC1E,KAAK,EAAE,eAAe,CAAC,SAAS,EAAE,aAAa,CAAC;QAChD,MAAM,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC;QACpC,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,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,2BAA2B,CACzC,UAAmC,EACnC,aAAgC;IAEhC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAqE,CAAC;QAC1E,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,KAAK;gBAAE,OAAO;YAClB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAC3B,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;YACzD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAGhC;IACC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAAsB,EACtB,MAAgB;IAEhB,MAAM,OAAO,GACX,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;QAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO;QAC3B,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,aAAa,CAAC;QAC3B,GAAG,UAAU,CAAC,MAAM;QACpB,GAAG,eAAe,CAAC,MAAM,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,aAAa,CAAC;QAC1B,GAAG,UAAU,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;IACH,OAAO;QACL,GAAG,UAAU;QACb,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,EAAE;QACtD,KAAK;QACL,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/extract/engine/ts/transition/plugin-calls.d.ts

@@ -0,0 +1,10 @@
+import * as ts from "typescript";
+import { type Locator, type Transition } from "modality-ts/core";
+import type { StateSourcePlugin } from "../../spi/index.js";
+import type { BoundExpr, SetterBinding } from "../types.js";
+export declare function pluginWriteTransition(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, call: ts.CallExpression, setters: Map<string, SetterBinding>, locals: Map<string, BoundExpr>, sourcePlugins: readonly StateSourcePlugin[], locator: Locator | undefined): Transition | undefined;
+export declare function callArgumentValue(argument: ts.Expression): unknown;
+export declare function swrMutateTransition(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, call: ts.CallExpression, locator: Locator | undefined): Transition | undefined;
+export declare function noopCallTransition(source: ts.SourceFile, fileName: string, node: ts.JsxAttribute, attr: string, component: string, call: ts.CallExpression, locator: Locator | undefined): Transition | undefined;
+export declare function isKnownPureUiCall(name: string): boolean;
+//# sourceMappingURL=plugin-calls.d.ts.map

package/dist/extract/engine/ts/transition/plugin-calls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-calls.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/plugin-calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAGV,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI5D,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,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAC9B,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CA6CxB;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAelE;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CAkBxB;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,EAAE,CAAC,YAAY,EACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,OAAO,GAAG,SAAS,GAC3B,UAAU,GAAG,SAAS,CAcxB;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOvD"}

package/dist/extract/engine/ts/transition/plugin-calls.js

@@ -0,0 +1,114 @@
+import * as ts from "typescript";
+import { callName, lineAndColumn, literalValue, propertyName, } from "../ast.js";
+import { safeId } from "../ids.js";
+import { effectReads, effectWrites, } from "modality-ts/core";
+import { stateVarForName } from "./expressions.js";
+import { labelForEvent } from "./ui.js";
+export function pluginWriteTransition(source, fileName, node, attr, component, call, setters, locals, sourcePlugins, locator) {
+    const callee = callName(call.expression);
+    if (!callee)
+        return undefined;
+    const ctx = {
+        read: (name, path) => {
+            const local = locals.get(name);
+            if (local?.expr.kind === "read") {
+                return {
+                    kind: "read",
+                    var: local.expr.var,
+                    path: [...(local.expr.path ?? []), ...(path ?? [])],
+                };
+            }
+            const varId = stateVarForName(name, setters) ?? name;
+            return {
+                kind: "read",
+                var: varId,
+                ...(path && path.length > 0 ? { path } : {}),
+            };
+        },
+        locator,
+    };
+    const callSite = {
+        callee,
+        arguments: call.arguments.map(callArgumentValue),
+        source: { file: fileName, ...lineAndColumn(source, call) },
+    };
+    for (const plugin of sourcePlugins) {
+        const summary = plugin.summarizeWrite?.(callSite, ctx);
+        if (!summary || summary === "unsupported")
+            continue;
+        const reads = [...effectReads(summary)].sort();
+        const writes = [...effectWrites(summary)].sort();
+        return {
+            id: `${component}.${attr}.${safeId(plugin.id)}.${safeId(callee)}`,
+            cls: "user",
+            label: labelForEvent(attr, locator),
+            source: [{ file: fileName, ...lineAndColumn(source, node) }],
+            guard: { kind: "lit", value: true },
+            effect: summary,
+            reads,
+            writes,
+            confidence: "exact",
+        };
+    }
+    return undefined;
+}
+export function callArgumentValue(argument) {
+    const literal = literalValue(argument);
+    if (literal !== undefined)
+        return literal;
+    if (ts.isIdentifier(argument))
+        return argument.text;
+    if (ts.isObjectLiteralExpression(argument)) {
+        const fields = {};
+        for (const property of argument.properties) {
+            if (!ts.isPropertyAssignment(property))
+                return argument.getText();
+            const name = propertyName(property.name);
+            if (!name)
+                return argument.getText();
+            fields[name] = callArgumentValue(property.initializer);
+        }
+        return fields;
+    }
+    return argument.getText();
+}
+export function swrMutateTransition(source, fileName, node, attr, component, call, locator) {
+    if (!ts.isIdentifier(call.expression) ||
+        call.expression.text !== "mutate" ||
+        call.arguments.length !== 0)
+        return undefined;
+    return {
+        id: `${component}.${attr}.mutate`,
+        cls: "user",
+        label: labelForEvent(attr, locator),
+        source: [{ file: fileName, ...lineAndColumn(source, node) }],
+        guard: { kind: "lit", value: true },
+        effect: { kind: "seq", effects: [] },
+        reads: [],
+        writes: [],
+        confidence: "exact",
+    };
+}
+export function noopCallTransition(source, fileName, node, attr, component, call, locator) {
+    const name = callName(call.expression) ?? call.expression.getText(source);
+    if (!isKnownPureUiCall(name))
+        return undefined;
+    return {
+        id: `${component}.${attr}.${safeId(name)}.noop`,
+        cls: "user",
+        label: labelForEvent(attr, locator),
+        source: [{ file: fileName, ...lineAndColumn(source, node) }],
+        guard: { kind: "lit", value: true },
+        effect: { kind: "seq", effects: [] },
+        reads: [],
+        writes: [],
+        confidence: "exact",
+    };
+}
+export function isKnownPureUiCall(name) {
+    return (name.endsWith(".click") ||
+        name === "confirm" ||
+        name === "navigator.clipboard.writeText" ||
+        name.endsWith(".writeText"));
+}
+//# sourceMappingURL=plugin-calls.js.map

package/dist/extract/engine/ts/transition/plugin-calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-calls.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/plugin-calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EACL,WAAW,EACX,YAAY,GAGb,MAAM,kBAAkB,CAAC;AAO1B,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,IAAuB,EACvB,OAAmC,EACnC,MAA8B,EAC9B,aAA2C,EAC3C,OAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,GAAG,GAAU;QACjB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;iBACpD,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC;YACrD,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,KAAK;gBACV,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7C,CAAC;QACJ,CAAC;QACD,OAAO;KACR,CAAC;IACF,MAAM,QAAQ,GAAa;QACzB,MAAM;QACN,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAChD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;KAC3D,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACvD,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,aAAa;YAAE,SAAS;QACpD,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO;YACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE;YACjE,GAAG,EAAE,MAAM;YACX,KAAK,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC;YACnC,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,EAAE,OAAO;YACf,KAAK;YACL,MAAM;YACN,UAAU,EAAE,OAAO;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAuB;IACvD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;IACpD,IAAI,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI;gBAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,IAAuB,EACvB,OAA4B;IAE5B,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QACjC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAE3B,OAAO,SAAS,CAAC;IACnB,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,SAAS;QACjC,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,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;QACpC,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,QAAgB,EAChB,IAAqB,EACrB,IAAY,EACZ,SAAiB,EACjB,IAAuB,EACvB,OAA4B;IAE5B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO;QACL,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO;QAC/C,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,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;QACpC,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACvB,IAAI,KAAK,SAAS;QAClB,IAAI,KAAK,+BAA+B;QACxC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAC5B,CAAC;AACJ,CAAC"}

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"timers.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/timers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAOlD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,EACnB,wBAAwB,EACxB,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,UAAU,cAAc,CAC5B,IAAa,EACb,OAAmC;IAEnC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,WAAW;QAChB,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAC9B,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;IACD,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACrD,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QACjC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3B,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM;YAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAa,EACb,OAAmC;IAEnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,CAAC;IAC/D,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;QAErE,OAAO,EAAE,CAAC;IACZ,IAAI,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACzD,OAAO,aAAa,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAChE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,QAAgB,EAChB,IAAa,EACb,OAAmC,EACnC,SAAiB;IAEjB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,CAAC;IAC/D,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;QAErE,OAAO,EAAE,CAAC;IACZ,MAAM,SAAS,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GACV,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACxE,UAAU,CAAC;IACb,OAAO;QACL;YACE,EAAE,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,EAAE;YACpC,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,SAAS,IAAI,IAAI,IAAI,MAAM,EAAE,EAAE;YAC/D,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,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE;YACrE,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM;YACN,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;SACZ;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,QAA4B,EAC5B,OAAmC;IAEnC,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC7D,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,4BAA4B,CAC1C,SAA0B,EAC1B,QAAyC,EACzC,OAAmC;IAEnC,IAAI,CAAC,SAAS,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAClC,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,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,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,IACE,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,aAAa,CAAC;gBACjD,QAAQ;gBACR,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;gBACnE,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,EACzC,CAAC;gBACD,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,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"}

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

@@ -0,0 +1,12 @@
+import * as ts from "typescript";
+import type { Locator, Transition } from "modality-ts/core";
+export declare function isEventAttribute(name: string): boolean;
+export declare function labelForEvent(name: string, locator?: Locator): Transition["label"];
+export declare function locatorForEventAttribute(attribute: ts.JsxAttribute): Locator | undefined;
+export declare function stringAttribute(attrs: ts.JsxAttributes, name: string): string | undefined;
+export declare function inferredRole(node: ts.Node): string | undefined;
+export declare function simpleElementText(node: ts.Node): string | undefined;
+export declare function isEventTargetValue(node: ts.Expression, parameter: ts.ParameterDeclaration | undefined): boolean;
+export declare function isInputValueExpression(node: ts.Expression, parameter: ts.ParameterDeclaration | undefined): boolean;
+export declare function propertyAccessPath(node: ts.Expression): string[] | undefined;
+//# sourceMappingURL=ui.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/ui.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE5D,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOtD;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,OAAO,GAChB,UAAU,CAAC,OAAO,CAAC,CAUrB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,YAAY,GACzB,OAAO,GAAG,SAAS,CAWrB;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,EAAE,CAAC,aAAa,EACvB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAUpB;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAkB9D;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CASnE;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,EAAE,CAAC,oBAAoB,GAAG,SAAS,GAC7C,OAAO,CAUT;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,EAAE,CAAC,oBAAoB,GAAG,SAAS,GAC7C,OAAO,CAwBT;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,EAAE,GAAG,SAAS,CAO5E"}