legend-doctor 0.1.0

package/dist/src/analysis/branch-unmount.js

@@ -0,0 +1,192 @@
+import { findAncestorUntil, nodeWithin } from "../core/ast.js";
+import { mutationsMayCoexecute, nearestMutationFunction } from "./mutations.js";
+import { MIN_REPEATED_SETTER_CALLS } from "./constants.js";
+import { callbackIsEventRooted } from "../rules/state-proofs/event-roots.js";
+import { directBranchReturnCallSite } from "./return-call-sites.js";
+import { hasStateInitializer } from "../rules/deferred-reveal/deferred-reveal.js";
+import { jsxSubtreeForOpening } from "./ast-helpers.js";
+import { mutationRegionOnlyCallsStateSetters } from "../rules/effect-drafts/draft-mutations.js";
+import { stateHasNoEffectOrDeferredUse } from "./verdicts/transport-verdicts.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../core/analysis-ast.js";
+export function findBranchUnmountMoves(states, { safeCommandStates, stateFlow, usageByState }) {
+    const result = new Map();
+    for (const state of states) {
+        const usage = usageByState.get(state);
+        if (!usage || !stateIsBranchLocalFlag(state, usage, safeCommandStates)) {
+            continue;
+        }
+        const move = branchUnmountMoveFor(state, usage, { stateFlow, states, usageByState });
+        if (move) {
+            result.set(state, move);
+        }
+    }
+    return result;
+}
+function stateIsBranchLocalFlag(state, usage, safeCommandStates) {
+    return (state.setterName !== null &&
+        safeCommandStates.has(state) &&
+        hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) &&
+        usage.localRenderReads === 0 &&
+        stateHasNoEffectOrDeferredUse(usage) &&
+        usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1 &&
+        !usage.repeatedTransport &&
+        usage.setterReferences === usage.setterCalls &&
+        usage.setterCallNodes.length >= MIN_REPEATED_SETTER_CALLS &&
+        !usage.shadowed &&
+        !usage.escaped);
+}
+function branchUnmountMoveFor(state, usage, { stateFlow, states, usageByState }) {
+    const callSite = directBranchReturnCallSite(usage, state.owner);
+    const [target] = [...usage.valueTargets];
+    const gate = callSite
+        ? exactDiscriminatedBranchGate(callSite.opening, state.owner, states)
+        : null;
+    const controllerUsage = gate ? usageByState.get(gate.controller) : undefined;
+    if (!callSite ||
+        !target ||
+        !gate ||
+        !gate.controller.setterName ||
+        !controllerUsage ||
+        controllerUsage.shadowed ||
+        controllerUsage.escaped) {
+        return null;
+    }
+    const writesSplitAcrossBranch = branchWritesAreUnmountScoped(state, usage, {
+        callSite,
+        controllerUsage,
+        gate,
+        stateFlow,
+    });
+    return writesSplitAcrossBranch ? { target } : null;
+}
+function branchWritesAreUnmountScoped(state, usage, { callSite, controllerUsage, gate, stateFlow }) {
+    const subtree = jsxSubtreeForOpening(callSite.opening);
+    const branchCalls = usage.setterCallNodes.filter((call) => nodeWithin(call, subtree));
+    const outsideCalls = usage.setterCallNodes.filter((call) => !nodeWithin(call, subtree));
+    return (branchCalls.length > 0 &&
+        outsideCalls.length > 0 &&
+        branchCalls.every((call) => isDirectBranchInteractionWrite(call, callSite.opening, state)) &&
+        outsideCalls.every((call) => isBranchUnmountReset(call, state, { controllerUsage, gate, stateFlow })));
+}
+function exactDiscriminatedBranchGate(opening, owner, states) {
+    const conditional = nullFallbackGateFor(opening, owner);
+    const condition = conditional ? unwrapTransparentExpression(conditional.condition) : null;
+    if (!condition ||
+        !ts.isBinaryExpression(condition) ||
+        condition.operatorToken.kind !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        return null;
+    }
+    const left = unwrapTransparentExpression(condition.left);
+    const right = unwrapTransparentExpression(condition.right);
+    if (!ts.isPropertyAccessExpression(left) ||
+        !ts.isIdentifier(left.expression) ||
+        !ts.isStringLiteral(right)) {
+        return null;
+    }
+    const controller = uniqueOwnedState(states, owner, left.expression.text);
+    return controller ? { controller, property: left.name.text, value: right.text } : null;
+}
+function nullFallbackGateFor(opening, owner) {
+    for (let current = opening.parent; current && current !== owner; current = current.parent) {
+        if (ts.isConditionalExpression(current) &&
+            nodeWithin(opening, current.whenTrue) &&
+            unwrapTransparentExpression(current.whenFalse).kind === ts.SyntaxKind.NullKeyword) {
+            return current;
+        }
+    }
+    return null;
+}
+function uniqueOwnedState(states, owner, valueName) {
+    const matches = states.filter((state) => state.owner === owner && state.valueName === valueName);
+    return matches.length === 1 ? (matches[0] ?? null) : null;
+}
+function isDirectBranchInteractionWrite(call, opening, state) {
+    const attribute = findAncestorUntil(call, ts.isJsxAttribute, state.owner);
+    const callback = nearestMutationFunction(call, state.owner);
+    if (attribute === null || state.setterName === null) {
+        return false;
+    }
+    return (/^on[A-Z]/u.test(attribute.name.getText()) &&
+        attribute.parent.parent === opening &&
+        callback !== state.owner &&
+        mutationRegionOnlyCallsStateSetters(callback, new Set([state.setterName])));
+}
+function isBranchUnmountReset(reset, state, { controllerUsage, gate, stateFlow }) {
+    if (reset.arguments.length !== 1 || reset.arguments[0]?.kind !== ts.SyntaxKind.FalseKeyword) {
+        return false;
+    }
+    const region = nearestMutationFunction(reset, state.owner);
+    if (region === state.owner ||
+        (!ts.isArrowFunction(region) &&
+            !ts.isFunctionDeclaration(region) &&
+            !ts.isFunctionExpression(region)) ||
+        !callbackIsEventRooted({
+            callback: region,
+            owner: state.owner,
+            dependencyName: "",
+            seen: new Set(),
+        })) {
+        return false;
+    }
+    const closeCalls = controllerUsage.setterCallNodes.filter((call) => callsAreAdjacentStatements(reset, call) &&
+        callSetsDifferentDiscriminant(call, gate.property, gate.value));
+    const close = closeCalls.length === 1 ? closeCalls[0] : null;
+    if (!close) {
+        return false;
+    }
+    return !controllerUsage.setterCallNodes.some((call) => {
+        if (call === close ||
+            nearestMutationFunction(call, state.owner) !== region ||
+            !mutationsMayCoexecute(close, call, { region, stateFlow })) {
+            return false;
+        }
+        const value = callDiscriminantValue(call, gate.property);
+        return value === null || value === gate.value;
+    });
+}
+function callsAreAdjacentStatements(left, right) {
+    const leftStatement = left.parent;
+    const rightStatement = right.parent;
+    if (!ts.isExpressionStatement(leftStatement) ||
+        leftStatement.expression !== left ||
+        !ts.isExpressionStatement(rightStatement) ||
+        rightStatement.expression !== right ||
+        leftStatement.parent !== rightStatement.parent ||
+        !ts.isBlock(leftStatement.parent)) {
+        return false;
+    }
+    const { statements } = leftStatement.parent;
+    return Math.abs(statements.indexOf(leftStatement) - statements.indexOf(rightStatement)) === 1;
+}
+function callSetsDifferentDiscriminant(call, property, activeValue) {
+    const value = callDiscriminantValue(call, property);
+    return value !== null && value !== activeValue;
+}
+function callDiscriminantValue(call, property) {
+    if (call.arguments.length !== 1 || !call.arguments[0]) {
+        return null;
+    }
+    const value = unwrapTransparentExpression(call.arguments[0]);
+    if (!ts.isObjectLiteralExpression(value) ||
+        value.properties.some((candidate) => (ts.isShorthandPropertyAssignment(candidate) && candidate.name.text === property) ||
+            (!ts.isShorthandPropertyAssignment(candidate) &&
+                (!ts.isPropertyAssignment(candidate) ||
+                    (!ts.isIdentifier(candidate.name) && !ts.isStringLiteral(candidate.name)))))) {
+        return null;
+    }
+    const matches = value.properties.filter((candidate) => {
+        if (!ts.isPropertyAssignment(candidate)) {
+            return false;
+        }
+        const name = ts.isIdentifier(candidate.name) || ts.isStringLiteral(candidate.name)
+            ? candidate.name.text
+            : null;
+        return name === property;
+    });
+    const assignment = matches.length === 1 && ts.isPropertyAssignment(matches[0]) ? matches[0] : null;
+    const discriminator = assignment ? unwrapTransparentExpression(assignment.initializer) : null;
+    return discriminator && ts.isStringLiteral(discriminator) ? discriminator.text : null;
+}
+//# sourceMappingURL=branch-unmount.js.map

package/dist/src/analysis/branch-unmount.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch-unmount.js","sourceRoot":"","sources":["../../../src/analysis/branch-unmount.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,mCAAmC,EAAE,MAAM,2CAA2C,CAAC;AAChG,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAQtE,MAAM,UAAU,sBAAsB,CACpC,MAAiC,EACjC,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,EAA4B;IAExE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACrF,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,KAAiB,EACjB,iBAA8C;IAE9C,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5B,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACtD,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,6BAA6B,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,CAAC,KAAK,CAAC,iBAAiB;QACxB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,MAAM,IAAI,yBAAyB;QACzD,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAQD,SAAS,oBAAoB,CAC3B,KAAqB,EACrB,KAAiB,EACjB,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAA0B;IAE3D,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,QAAQ;QACnB,CAAC,CAAC,4BAA4B,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,eAAe,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IACE,CAAC,QAAQ;QACT,CAAC,MAAM;QACP,CAAC,IAAI;QACL,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;QAC3B,CAAC,eAAe;QAChB,eAAe,CAAC,QAAQ;QACxB,eAAe,CAAC,OAAO,EACvB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,uBAAuB,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,EAAE;QACzE,QAAQ;QACR,eAAe;QACf,IAAI;QACJ,SAAS;KACV,CAAC,CAAC;IACH,OAAO,uBAAuB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AASD,SAAS,4BAA4B,CACnC,KAAqB,EACrB,KAAiB,EACjB,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAA2B;IAEvE,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACxF,OAAO,CACL,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,YAAY,CAAC,MAAM,GAAG,CAAC;QACvB,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC1F,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1B,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CACxE,CACF,CAAC;AACJ,CAAC;AAQD,SAAS,4BAA4B,CACnC,OAAwD,EACxD,KAA0B,EAC1B,MAAiC;IAEjC,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,2BAA2B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,IACE,CAAC,SAAS;QACV,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACtE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3D,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACpC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAwD,EACxD,KAA0B;IAE1B,KACE,IAAI,OAAO,GAAwB,OAAO,CAAC,MAAM,EACjD,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;YACnC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC;YACrC,2BAA2B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EACjF,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAiC,EACjC,KAA0B,EAC1B,SAAiB;IAEjB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACjG,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAuB,EACvB,OAAwD,EACxD,KAAqB;IAErB,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO;QACnC,QAAQ,KAAK,KAAK,CAAC,KAAK;QACxB,mCAAmC,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAQD,SAAS,oBAAoB,CAC3B,KAAwB,EACxB,KAAqB,EACrB,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAA6B;IAE/D,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,IACE,MAAM,KAAK,KAAK,CAAC,KAAK;QACtB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YACjC,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC,qBAAqB,CAAC;YACrB,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE,IAAI,GAAG,EAAE;SAChB,CAAC,EACF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,MAAM,CACvD,CAAC,IAAI,EAAE,EAAE,CACP,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC;QACvC,6BAA6B,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CACjE,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACpD,IACE,IAAI,KAAK,KAAK;YACd,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,MAAM;YACrD,CAAC,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAC1D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAuB,EAAE,KAAwB;IACnF,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC;IACpC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,aAAa,CAAC;QACxC,aAAa,CAAC,UAAU,KAAK,IAAI;QACjC,CAAC,EAAE,CAAC,qBAAqB,CAAC,cAAc,CAAC;QACzC,cAAc,CAAC,UAAU,KAAK,KAAK;QACnC,aAAa,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM;QAC9C,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,EACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC;IAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAuB,EACvB,QAAgB,EAChB,WAAmB;IAEnB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,WAAW,CAAC;AACjD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,QAAgB;IACtE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,UAAU,CAAC,IAAI,CACnB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,EAAE,CAAC,6BAA6B,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;YACjF,CAAC,CAAC,EAAE,CAAC,6BAA6B,CAAC,SAAS,CAAC;gBAC3C,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC;oBAClC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAClF,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACpD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC;YACnE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;YACrB,CAAC,CAAC,IAAI,CAAC;QACX,OAAO,IAAI,KAAK,QAAQ,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GACd,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACpF,MAAM,aAAa,GAAG,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,OAAO,aAAa,IAAI,EAAE,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC"}

package/dist/src/analysis/callbacks/deferred-events.d.ts

@@ -0,0 +1,13 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function sourceProvenDirectEventCallbacks(owner: RuntimeFunctionLike, imports: HookImports, childContracts: ChildContractResolver | null): ReadonlySet<RuntimeFunctionLike>;
+export interface DeferredEventScope {
+    readonly childContracts: ChildContractResolver | null;
+    readonly eventRoots: ReadonlySet<RuntimeFunctionLike>;
+}
+export declare function stateReadsOutsideRenderAreEventRooted(state: StateCandidate, usage: StateUsage, scope: DeferredEventScope): boolean;
+export declare function nodeIsDirectDeferredEvent(node: ts.Node, state: StateCandidate, scope: DeferredEventScope): boolean;
+//# sourceMappingURL=deferred-events.d.ts.map

package/dist/src/analysis/callbacks/deferred-events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-events.d.ts","sourceRoot":"","sources":["../../../../src/analysis/callbacks/deferred-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAoB9D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,WAAW,EACpB,cAAc,EAAE,qBAAqB,GAAG,IAAI,GAC3C,WAAW,CAAC,mBAAmB,CAAC,CAelC;AA2DD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;CACvD;AAMD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,kBAAkB,GACxB,OAAO,CAiBT;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,kBAAkB,GACxB,OAAO,CAMT"}

package/dist/src/analysis/callbacks/deferred-events.js

@@ -0,0 +1,144 @@
+import { bindingDeclarationCount, isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { declaredBindingName, isCustomJsxTarget, jsxTargetName } from "../ast-helpers.js";
+import { findAncestorUntil, identifiersNamed, nearestNestedFunction, visit, } from "../../core/ast.js";
+import { localCallbackBindingName, localCallbackByBinding, visitDirectOwnerNodes, } from "./local-callbacks.js";
+import { jsxComponentPublications } from "./memoized-options.js";
+import ts from "typescript";
+export function sourceProvenDirectEventCallbacks(owner, imports, childContracts) {
+    const callbacks = new Set();
+    if (!owner.body) {
+        return callbacks;
+    }
+    visitDirectOwnerNodes(owner.body, (node) => {
+        if (isInlineDeferredEventCallback(node, owner, childContracts)) {
+            callbacks.add(node);
+        }
+        const callback = deferredPublishedCallback(node, owner, { childContracts, imports });
+        if (callback) {
+            callbacks.add(callback);
+        }
+    });
+    return callbacks;
+}
+function isInlineDeferredEventCallback(node, owner, childContracts) {
+    if (node === owner || (!ts.isArrowFunction(node) && !ts.isFunctionExpression(node))) {
+        return false;
+    }
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+    return (attribute?.initializer !== undefined &&
+        ts.isJsxExpression(attribute.initializer) &&
+        attribute.initializer.expression !== undefined &&
+        unwrapTransparentExpression(attribute.initializer.expression) === node &&
+        jsxEventAttributeIsDeferred(attribute, childContracts));
+}
+function deferredPublishedCallback(node, owner, { childContracts, imports }) {
+    const binding = declaredBindingName(node);
+    const callback = binding ? localCallbackByBinding(owner, binding, imports) : null;
+    if (!binding || !callback) {
+        return null;
+    }
+    const publications = jsxComponentPublications(owner, binding);
+    return publications.length > 0 &&
+        publications.every((publication) => publicationIsDeferred(publication, childContracts))
+        ? callback
+        : null;
+}
+function publicationIsDeferred(publication, childContracts) {
+    if (/^on[A-Z]/u.test(publication.prop) &&
+        (publication.intrinsic ||
+            childContracts?.frameworkEventComponent(publication.component) === true)) {
+        return true;
+    }
+    return (childContracts?.componentCallbackPropIsDeferred(publication.component, publication.prop) ===
+        true);
+}
+export function stateReadsOutsideRenderAreEventRooted(state, usage, scope) {
+    const renderReads = new Set(usage.directRenderNodes);
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            renderReads.has(node)) {
+            return;
+        }
+        safe = nodeIsDirectDeferredEvent(node, state, scope);
+    });
+    return safe;
+}
+export function nodeIsDirectDeferredEvent(node, state, scope) {
+    const callback = nearestNestedFunction(node, state.owner);
+    return (callback !== null &&
+        callbackResolvesToDeferredEvent(callback, state.owner, { ...scope, seen: new Set() }));
+}
+function callbackResolvesToDeferredEvent(callback, owner, resolution) {
+    const { childContracts, eventRoots, seen } = resolution;
+    if (!ts.isArrowFunction(callback) &&
+        !ts.isFunctionDeclaration(callback) &&
+        !ts.isFunctionExpression(callback)) {
+        return false;
+    }
+    if (eventRoots.has(callback) || callbackHasDirectJsxEventRoot(callback, owner, childContracts)) {
+        return true;
+    }
+    const name = localCallbackBindingName(callback);
+    if (!name || seen.has(name) || bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    const nextSeen = new Set(seen).add(name);
+    return everyValueReferenceSatisfies(owner, name, (node) => {
+        if (!ts.isCallExpression(node.parent) || node.parent.expression !== node) {
+            return false;
+        }
+        const caller = nearestNestedFunction(node, owner);
+        return (caller !== null &&
+            caller !== callback &&
+            callbackResolvesToDeferredEvent(caller, owner, { ...resolution, seen: nextSeen }));
+    });
+}
+function everyValueReferenceSatisfies(owner, name, predicate) {
+    let referenced = false;
+    for (const node of identifiersNamed(owner.body, name)) {
+        if (isDeclarationName(node) || isNonValueIdentifier(node)) {
+            continue;
+        }
+        referenced = true;
+        if (!predicate(node)) {
+            return false;
+        }
+    }
+    return referenced;
+}
+function callbackHasDirectJsxEventRoot(callback, owner, childContracts) {
+    if (!ts.isArrowFunction(callback) &&
+        !ts.isFunctionDeclaration(callback) &&
+        !ts.isFunctionExpression(callback)) {
+        return false;
+    }
+    if (isInlineDeferredEventCallback(callback, owner, childContracts)) {
+        return true;
+    }
+    const name = localCallbackBindingName(callback);
+    if (!name || bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    return everyValueReferenceSatisfies(owner, name, (node) => {
+        const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+        return (attribute !== null &&
+            isDirectJsxAttributeExpression(attribute, node) &&
+            jsxEventAttributeIsDeferred(attribute, childContracts));
+    });
+}
+function jsxEventAttributeIsDeferred(attribute, childContracts) {
+    const prop = attribute.name.getText();
+    const target = jsxTargetName(attribute);
+    if (!target || !/^on[A-Z]/u.test(prop)) {
+        return false;
+    }
+    return (!isCustomJsxTarget(target) ||
+        childContracts?.frameworkEventComponent(target) === true ||
+        childContracts?.componentCallbackPropIsDeferred(target, prop) === true);
+}
+//# sourceMappingURL=deferred-events.js.map

package/dist/src/analysis/callbacks/deferred-events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-events.js","sourceRoot":"","sources":["../../../../src/analysis/callbacks/deferred-events.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC1F,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,KAAK,GACN,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,gCAAgC,CAC9C,KAA0B,EAC1B,OAAoB,EACpB,cAA4C;IAE5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzC,IAAI,6BAA6B,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;YAC/D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACrF,IAAI,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAa,EACb,KAA0B,EAC1B,cAA4C;IAE5C,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACpF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpE,OAAO,CACL,SAAS,EAAE,WAAW,KAAK,SAAS;QACpC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QACzC,SAAS,CAAC,WAAW,CAAC,UAAU,KAAK,SAAS;QAC9C,2BAA2B,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,IAAI;QACtE,2BAA2B,CAAC,SAAS,EAAE,cAAc,CAAC,CACvD,CAAC;AACJ,CAAC;AAOD,SAAS,yBAAyB,CAChC,IAAa,EACb,KAA0B,EAC1B,EAAE,cAAc,EAAE,OAAO,EAA4B;IAErD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClF,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC;QAC5B,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,qBAAqB,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;QACvF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,qBAAqB,CAC5B,WAAiC,EACjC,cAA4C;IAE5C,IACE,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,WAAW,CAAC,SAAS;YACpB,cAAc,EAAE,uBAAuB,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,EAC1E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,cAAc,EAAE,+BAA+B,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC;QACxF,IAAI,CACL,CAAC;AACJ,CAAC;AAWD,MAAM,UAAU,qCAAqC,CACnD,KAAqB,EACrB,KAAiB,EACjB,KAAyB;IAEzB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrD,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EACrB,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAa,EACb,KAAqB,EACrB,KAAyB;IAEzB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,+BAA+B,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CACtF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,QAA6B,EAC7B,KAA0B,EAC1B,UAAmC;IAEnC,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC;IACxD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC7B,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QACnC,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,6BAA6B,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,4BAA4B,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACxD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,CACL,MAAM,KAAK,IAAI;YACf,MAAM,KAAK,QAAQ;YACnB,+BAA+B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAClF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CACnC,KAA0B,EAC1B,IAAY,EACZ,SAA2C;IAE3C,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,6BAA6B,CACpC,QAA6B,EAC7B,KAA0B,EAC1B,cAA4C;IAE5C,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC7B,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QACnC,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,6BAA6B,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,4BAA4B,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACxD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QACpE,OAAO,CACL,SAAS,KAAK,IAAI;YAClB,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC;YAC/C,2BAA2B,CAAC,SAAS,EAAE,cAAc,CAAC,CACvD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,SAA0B,EAC1B,cAA4C;IAE5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC1B,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,KAAK,IAAI;QACxD,cAAc,EAAE,+BAA+B,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,IAAI,CACvE,CAAC;AACJ,CAAC"}

package/dist/src/analysis/callbacks/local-callbacks.d.ts

@@ -0,0 +1,11 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function jsxProducerForSetterCall(call: ts.CallExpression, owner: RuntimeFunctionLike): ts.JsxOpeningElement | ts.JsxSelfClosingElement | null;
+export declare function localCallbackBindingName(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression): string | null;
+export declare function localCallbackByBinding(owner: RuntimeFunctionLike, binding: string, imports: HookImports): RuntimeFunctionLike | null;
+export declare function addCallbackWithNestedFunctions(callback: RuntimeFunctionLike, callbacks: Set<RuntimeFunctionLike>): void;
+export declare function visitDirectOwnerNodes(node: ts.Node, onNode: (node: ts.Node) => void): void;
+export declare function jsxOpeningForAttribute(attribute: ts.JsxAttribute): ts.JsxOpeningElement | ts.JsxSelfClosingElement | null;
+export declare function shareUniqueOwnerReturn(left: ts.Node, right: ts.Node, owner: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=local-callbacks.d.ts.map

package/dist/src/analysis/callbacks/local-callbacks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-callbacks.d.ts","sourceRoot":"","sources":["../../../../src/analysis/callbacks/local-callbacks.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAyB5B,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAAG,IAAI,CAYxD;AA2CD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,GAC1E,MAAM,GAAG,IAAI,CAmBf;AAqDD,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,WAAW,GACnB,mBAAmB,GAAG,IAAI,CAc5B;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,mBAAmB,EAC7B,SAAS,EAAE,GAAG,CAAC,mBAAmB,CAAC,GAClC,IAAI,CAUN;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,GAAG,IAAI,CAO1F;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,EAAE,CAAC,YAAY,GACzB,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,GAAG,IAAI,CAGxD;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,EAAE,CAAC,IAAI,EACd,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAGT"}

package/dist/src/analysis/callbacks/local-callbacks.js

@@ -0,0 +1,157 @@
+import { bindingDeclarationCount, isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import { nearestMutationFunction } from "../mutations.js";
+import ts from "typescript";
+import { uniqueReturnedExpression } from "../return-call-sites.js";
+const localCallbacksByOwner = new WeakMap();
+function uniqueLocalCallbackBinding(call, owner) {
+    const callback = nearestMutationFunction(call, owner);
+    if (callback === owner ||
+        (!ts.isArrowFunction(callback) &&
+            !ts.isFunctionDeclaration(callback) &&
+            !ts.isFunctionExpression(callback))) {
+        return null;
+    }
+    const name = localCallbackBindingName(callback);
+    return name && bindingDeclarationCount(owner, name) === 1 ? name : null;
+}
+export function jsxProducerForSetterCall(call, owner) {
+    const directAttribute = findAncestorUntil(call, ts.isJsxAttribute, owner);
+    if (directAttribute && /^on[A-Z]/u.test(directAttribute.name.getText())) {
+        return jsxOpeningForAttribute(directAttribute);
+    }
+    const name = uniqueLocalCallbackBinding(call, owner);
+    if (!name) {
+        return null;
+    }
+    const openings = eventHandlerOpeningsForBinding(owner, name);
+    return openings?.length === 1 ? openings[0] : null;
+}
+function eventHandlerOpeningsForBinding(owner, name) {
+    const openings = [];
+    let unsafeReference = false;
+    visit(owner.body, (node) => {
+        if (unsafeReference ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const opening = eventHandlerOpeningForReference(node, owner);
+        if (opening) {
+            openings.push(opening);
+        }
+        else {
+            unsafeReference = true;
+        }
+    });
+    return unsafeReference ? null : openings;
+}
+function eventHandlerOpeningForReference(node, owner) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+    if (!attribute ||
+        !/^on[A-Z]/u.test(attribute.name.getText()) ||
+        !isDirectJsxAttributeExpression(attribute, node)) {
+        return null;
+    }
+    return jsxOpeningForAttribute(attribute);
+}
+export function localCallbackBindingName(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text ?? null;
+    }
+    if (ts.isVariableDeclaration(callback.parent) &&
+        callback.parent.initializer === callback &&
+        ts.isIdentifier(callback.parent.name)) {
+        return callback.parent.name.text;
+    }
+    const call = callback.parent;
+    return ts.isCallExpression(call) &&
+        call.arguments[0] === callback &&
+        ts.isVariableDeclaration(call.parent) &&
+        call.parent.initializer === call &&
+        ts.isIdentifier(call.parent.name)
+        ? call.parent.name.text
+        : null;
+}
+function collectLocalCallbackDeclaration(node, collected, imports) {
+    if (ts.isFunctionDeclaration(node) && node.name) {
+        collected.set(node.name.text, node);
+        return;
+    }
+    if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer) {
+        return;
+    }
+    const callback = declaredCallbackInitializer(node.initializer, imports);
+    if (callback) {
+        collected.set(node.name.text, callback);
+    }
+}
+function declaredCallbackInitializer(initializer, imports) {
+    const expression = unwrapTransparentExpression(initializer);
+    if (ts.isArrowFunction(expression) || ts.isFunctionExpression(expression)) {
+        return expression;
+    }
+    return useCallbackFactory(expression, imports);
+}
+function useCallbackFactory(initializer, imports) {
+    if (!ts.isCallExpression(initializer) ||
+        !isImportedHookCall({
+            call: initializer,
+            localNames: imports.useCallback,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useCallback",
+        })) {
+        return null;
+    }
+    const [callback] = initializer.arguments;
+    if (!callback || (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback))) {
+        return null;
+    }
+    return callback;
+}
+export function localCallbackByBinding(owner, binding, imports) {
+    if (!owner.body || bindingDeclarationCount(owner, binding) !== 1) {
+        return null;
+    }
+    let callbacks = localCallbacksByOwner.get(owner);
+    if (!callbacks) {
+        const collected = new Map();
+        visitDirectOwnerNodes(owner.body, (node) => {
+            collectLocalCallbackDeclaration(node, collected, imports);
+        });
+        callbacks = collected;
+        localCallbacksByOwner.set(owner, callbacks);
+    }
+    return callbacks.get(binding) ?? null;
+}
+export function addCallbackWithNestedFunctions(callback, callbacks) {
+    callbacks.add(callback);
+    if (!callback.body) {
+        return;
+    }
+    visit(callback.body, (node) => {
+        if (isRuntimeFunctionLike(node)) {
+            callbacks.add(node);
+        }
+    });
+}
+export function visitDirectOwnerNodes(node, onNode) {
+    node.forEachChild((child) => {
+        onNode(child);
+        if (!isRuntimeFunctionLike(child)) {
+            visitDirectOwnerNodes(child, onNode);
+        }
+    });
+}
+export function jsxOpeningForAttribute(attribute) {
+    const opening = attribute.parent.parent;
+    return ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening) ? opening : null;
+}
+export function shareUniqueOwnerReturn(left, right, owner) {
+    const returned = uniqueReturnedExpression(owner);
+    return returned !== null && nodeWithin(left, returned) && nodeWithin(right, returned);
+}
+//# sourceMappingURL=local-callbacks.js.map

package/dist/src/analysis/callbacks/local-callbacks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-callbacks.js","sourceRoot":"","sources":["../../../../src/analysis/callbacks/local-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGhG,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAGtC,CAAC;AAEJ,SAAS,0BAA0B,CACjC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,IACE,QAAQ,KAAK,KAAK;QAClB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAC5B,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YACnC,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC1E,IAAI,eAAe,IAAI,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACxE,OAAO,sBAAsB,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,IAAI,GAAG,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,OAAO,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,8BAA8B,CACrC,KAA0B,EAC1B,IAAY;IAEZ,MAAM,QAAQ,GAAwD,EAAE,CAAC;IACzE,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,eAAe;YACf,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,+BAA+B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,eAAe,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3C,CAAC;AAED,SAAS,+BAA+B,CACtC,IAAmB,EACnB,KAA0B;IAE1B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpE,IACE,CAAC,SAAS;QACV,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3C,CAAC,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAChD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IACrC,CAAC;IACD,IACE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzC,QAAQ,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ;QACxC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EACrC,CAAC;QACD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI;QAChC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QACvB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,+BAA+B,CACtC,IAAa,EACb,SAA2C,EAC3C,OAAoB;IAEpB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxF,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,QAAQ,EAAE,CAAC;QACb,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,WAA0B,EAC1B,OAAoB;IAEpB,MAAM,UAAU,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC5D,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1E,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,kBAAkB,CACzB,WAA0B,EAC1B,OAAoB;IAEpB,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACjC,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,OAAO,CAAC,WAAW;YAC/B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,aAAa;SAC7B,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAA0B,EAC1B,OAAe,EACf,OAAoB;IAEpB,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;QACzD,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACzC,+BAA+B,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QACH,SAAS,GAAG,SAAS,CAAC;QACtB,qBAAqB,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,QAA6B,EAC7B,SAAmC;IAEnC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa,EAAE,MAA+B;IAClF,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC;QACd,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAA0B;IAE1B,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjG,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAa,EACb,KAAc,EACd,KAA0B;IAE1B,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,QAAQ,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AACxF,CAAC"}

package/dist/src/analysis/callbacks/memoized-options.d.ts

@@ -0,0 +1,11 @@
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+export declare function sourceProvenOptionEventCallbacks(owner: RuntimeFunctionLike, imports: HookImports, childContracts: ChildContractResolver): ReadonlySet<RuntimeFunctionLike>;
+export interface ComponentPublication {
+    component: string;
+    intrinsic: boolean;
+    prop: string;
+}
+export declare function jsxComponentPublications(owner: RuntimeFunctionLike, binding: string): readonly ComponentPublication[];
+//# sourceMappingURL=memoized-options.d.ts.map

package/dist/src/analysis/callbacks/memoized-options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-options.d.ts","sourceRoot":"","sources":["../../../../src/analysis/callbacks/memoized-options.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAQ7D,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,WAAW,EACpB,cAAc,EAAE,qBAAqB,GACpC,WAAW,CAAC,mBAAmB,CAAC,CASlC;AAqJD,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,MAAM,GACd,SAAS,oBAAoB,EAAE,CAajC"}