legend-doctor 0.1.0

package/dist/src/rules/keyed-selection/written-record-entries.js

@@ -0,0 +1,147 @@
+import { accessPathFromBinding, accessPathsEqual } from "./rendered-record-entries.js";
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { nearestRepeatedRenderCall } from "../state-proofs/jsx-subtrees.js";
+import ts from "typescript";
+export function writtenRecordEntry(check) {
+    const { call, childContracts, key, state } = check;
+    const direct = directRepeatedRecordEntry(check);
+    if (direct) {
+        return direct;
+    }
+    const command = writeCommandFunction(call, state.owner);
+    const match = command && commandParameterMatch(command, key);
+    if (!command || !match) {
+        return null;
+    }
+    return recordCommandEntry({
+        childContracts,
+        command,
+        parameterIndex: match.index,
+        state,
+        suffix: match.suffix,
+    });
+}
+function directRepeatedRecordEntry(check) {
+    const { call, childContracts, key, state } = check;
+    const repeated = nearestRepeatedRenderCall(call, state.owner);
+    const callback = repeated?.arguments[0];
+    if (!repeated ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !callback.parameters[0] ||
+        !ts.isIdentifier(callback.parameters[0].name)) {
+        return null;
+    }
+    const path = accessPathFromBinding(key, callback.parameters[0].name.text);
+    return path && path.length > 0 && jsxEventCallIsDeferred(call, state.owner, childContracts)
+        ? { path, repeated }
+        : null;
+}
+function writeCommandFunction(call, owner) {
+    const command = nearestNestedFunction(call, owner);
+    return command &&
+        (ts.isArrowFunction(command) ||
+            ts.isFunctionDeclaration(command) ||
+            ts.isFunctionExpression(command))
+        ? command
+        : null;
+}
+function commandParameterMatch(command, key) {
+    const matches = command.parameters.flatMap((parameter, index) => {
+        if (!ts.isIdentifier(parameter.name)) {
+            return [];
+        }
+        const suffix = accessPathFromBinding(key, parameter.name.text);
+        return suffix ? [{ index, suffix }] : [];
+    });
+    return matches.length === 1 ? matches[0] : null;
+}
+function recordCommandEntry(check) {
+    const { command, state } = check;
+    const name = localRuntimeFunctionName(command);
+    if (!name || bindingDeclarationCount(state.owner, name) !== 1) {
+        return null;
+    }
+    let references = 0;
+    let result = null;
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        const entry = commandInvocationEntry(node, check);
+        if (!entry ||
+            (result && (result.repeated !== entry.repeated || !accessPathsEqual(result.path, entry.path)))) {
+            safe = false;
+            return;
+        }
+        result = entry;
+    });
+    return safe && references > 0 ? result : null;
+}
+function commandInvocationEntry(node, check) {
+    const invocation = node.parent;
+    if (!ts.isCallExpression(invocation) || invocation.expression !== node) {
+        return null;
+    }
+    const render = deferredRepeatedInvocation(invocation, check);
+    const prefix = render && accessPathFromBinding(render.argument, render.itemName);
+    const path = prefix ? [...prefix, ...check.suffix] : null;
+    return render && path && path.length > 0 ? { path, repeated: render.repeated } : null;
+}
+function deferredRepeatedInvocation(invocation, check) {
+    const { childContracts, parameterIndex, state } = check;
+    const repeated = nearestRepeatedRenderCall(invocation, state.owner);
+    const callback = repeated?.arguments[0];
+    const argument = invocation.arguments[parameterIndex];
+    if (!repeated ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !callback.parameters[0] ||
+        !ts.isIdentifier(callback.parameters[0].name) ||
+        !argument ||
+        ts.isSpreadElement(argument) ||
+        !jsxEventCallIsDeferred(invocation, state.owner, childContracts)) {
+        return null;
+    }
+    return { argument, itemName: callback.parameters[0].name.text, repeated };
+}
+function jsxEventCallIsDeferred(call, owner, childContracts) {
+    const attribute = findAncestorUntil(call, ts.isJsxAttribute, owner);
+    if (!attribute ||
+        !/^on[A-Z]/u.test(attribute.name.getText()) ||
+        !attribute.initializer ||
+        !ts.isJsxExpression(attribute.initializer) ||
+        !attribute.initializer.expression ||
+        !nodeWithin(call, attribute.initializer.expression)) {
+        return false;
+    }
+    const opening = attribute.parent.parent;
+    if (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) {
+        return false;
+    }
+    const component = opening.tagName.getText();
+    if (/^[a-z]/u.test(component)) {
+        return true;
+    }
+    return (childContracts !== null &&
+        (childContracts.frameworkEventComponent(component) ||
+            childContracts.componentCallbackPropIsDeferred(component, attribute.name.getText())));
+}
+function localRuntimeFunctionName(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text ?? null;
+    }
+    return ts.isVariableDeclaration(callback.parent) &&
+        callback.parent.initializer === callback &&
+        ts.isIdentifier(callback.parent.name)
+        ? callback.parent.name.text
+        : null;
+}
+//# sourceMappingURL=written-record-entries.js.map

package/dist/src/rules/keyed-selection/written-record-entries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"written-record-entries.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/written-record-entries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAKhG,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAS5B,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACnD,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,IAAI,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7D,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC;QACxB,cAAc;QACd,OAAO;QACP,cAAc,EAAE,KAAK,CAAC,KAAK;QAC3B,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA8B;IAC/D,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACnD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,IACE,CAAC,QAAQ;QACT,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC;QACzF,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAuB,EACvB,KAA0B;IAE1B,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnD,OAAO,OAAO;QACZ,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAOD,SAAS,qBAAqB,CAC5B,OAA0E,EAC1E,GAAkB;IAElB,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC9D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAUD,SAAS,kBAAkB,CAAC,KAA8B;IACxD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,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,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClD,IACE,CAAC,KAAK;YACN,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAC9F,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,MAAM,GAAG,KAAK,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAmB,EACnB,KAA8B;IAE9B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,0BAA0B,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAQD,SAAS,0BAA0B,CACjC,UAA6B,EAC7B,KAA8B;IAE9B,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACtD,IACE,CAAC,QAAQ;QACT,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAC9C,CAAC,QAAQ;QACT,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC,EAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,KAA0B,EAC1B,cAA4C;IAE5C,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,SAAS,CAAC,WAAW;QACtB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QACjC,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,EACnD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IAC5C,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,cAAc,KAAK,IAAI;QACvB,CAAC,cAAc,CAAC,uBAAuB,CAAC,SAAS,CAAC;YAChD,cAAc,CAAC,+BAA+B,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC9C,QAAQ,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ;QACxC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/lazy-callback-leaf.d.ts

@@ -0,0 +1,20 @@
+import type { StateCandidate, StateUsage } from "../analysis/model.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import ts from "typescript";
+export interface LazyCallbackLeafProofs {
+    hasUnstableSubtreeLifetime: (node: ts.JsxElement, boundary: ts.Node) => boolean;
+    uniqueReturnedExpression: (owner: RuntimeFunctionLike) => ts.Expression | null;
+}
+export interface LazyCallbackLeaf {
+    line: number;
+    target: string;
+}
+export interface LazyCallbackLeafRequest {
+    localComponents: ReadonlySet<string>;
+    proofs: LazyCallbackLeafProofs;
+    sourceComponents: ReadonlySet<string>;
+    state: StateCandidate;
+    usage: StateUsage;
+}
+export declare function findLazyCallbackLeaf(request: LazyCallbackLeafRequest): LazyCallbackLeaf | null;
+//# sourceMappingURL=lazy-callback-leaf.d.ts.map

package/dist/src/rules/lazy-callback-leaf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy-callback-leaf.d.ts","sourceRoot":"","sources":["../../../src/rules/lazy-callback-leaf.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAI1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,sBAAsB;IACrC,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC;IAChF,wBAAwB,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC;CAChF;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,uBAAuB;IACtC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,sBAAsB,CAAC;IAC/B,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC;CACnB;AAOD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,uBAAuB,GAAG,gBAAgB,GAAG,IAAI,CAE9F"}

package/dist/src/rules/lazy-callback-leaf.js

@@ -0,0 +1,95 @@
+import { nearestNestedFunction, nodeWithin, visit } from "../core/ast.js";
+import { hasIndependentRenderCutWitness } from "./state-proofs/render-cut-witness.js";
+import { nearestRepeatedRenderCall } from "./state-proofs/jsx-subtrees.js";
+import { stateMayHoldCallable } from "./state-proofs/state-proofs.js";
+import ts from "typescript";
+export function findLazyCallbackLeaf(request) {
+    return lazyCallbackLeaf(request);
+}
+function lazyCallbackLeaf(request) {
+    const transported = transportedCallbackOpening(request);
+    if (!transported) {
+        return null;
+    }
+    const callbackOwner = callbackWrappedElement(transported.opening, request.state.owner);
+    if (!callbackOwner || !isIndependentRenderCut(callbackOwner, request)) {
+        return null;
+    }
+    const { opening } = transported;
+    return {
+        line: opening.getSourceFile().getLineAndCharacterOfPosition(opening.getStart()).line + 1,
+        target: transported.target,
+    };
+}
+function transportedCallbackOpening(request) {
+    const { localComponents, sourceComponents, state, usage } = request;
+    const [initializer] = state.call.arguments;
+    const [valueSite] = [...usage.valueTransportSites];
+    const [target] = [...usage.valueTargets];
+    if (!isLazyInitializer(initializer) ||
+        stateMayHoldCallable(state) ||
+        valueSite === undefined ||
+        !transportsExactlyOnce(usage) ||
+        target === undefined ||
+        (!localComponents.has(target) && !sourceComponents.has(target))) {
+        return null;
+    }
+    const opening = uniqueJsxOpeningAtSite(state.owner, valueSite);
+    if (!opening || nearestRepeatedRenderCall(opening, state.owner)) {
+        return null;
+    }
+    return { opening, target };
+}
+function isLazyInitializer(initializer) {
+    return (initializer !== undefined &&
+        (ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer)) &&
+        initializer.parameters.length === 0 &&
+        !initializer.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) &&
+        !initializer.asteriskToken);
+}
+function transportsExactlyOnce(usage) {
+    return (usage.localRenderReads === 0 &&
+        usage.transportedOccurrences === 1 &&
+        usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1);
+}
+function uniqueJsxOpeningAtSite(owner, valueSite) {
+    const { body } = owner;
+    if (!body) {
+        return null;
+    }
+    const openings = [];
+    visit(body, (node) => {
+        if ((ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            node.getStart() === valueSite) {
+            openings.push(node);
+        }
+    });
+    return openings.length === 1 ? openings[0] : null;
+}
+function callbackWrappedElement(opening, owner) {
+    const callback = nearestNestedFunction(opening, owner);
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !ts.isJsxExpression(callback.parent) ||
+        callback.parent.expression !== callback ||
+        !ts.isJsxElement(callback.parent.parent)) {
+        return null;
+    }
+    return callback.parent.parent;
+}
+function isIndependentRenderCut(callbackOwner, request) {
+    const { localComponents, proofs, sourceComponents, state } = request;
+    const returned = proofs.uniqueReturnedExpression(state.owner);
+    return (returned !== null &&
+        nodeWithin(callbackOwner, returned) &&
+        !nearestRepeatedRenderCall(callbackOwner, state.owner) &&
+        !proofs.hasUnstableSubtreeLifetime(callbackOwner, state.owner) &&
+        hasIndependentRenderCutWitness({
+            returned,
+            excluded: [callbackOwner],
+            localComponents,
+            sourceComponents,
+        }));
+}
+//# sourceMappingURL=lazy-callback-leaf.js.map

package/dist/src/rules/lazy-callback-leaf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy-callback-leaf.js","sourceRoot":"","sources":["../../../src/rules/lazy-callback-leaf.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE1E,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,MAAM,YAAY,CAAC;AAyB5B,MAAM,UAAU,oBAAoB,CAAC,OAAgC;IACnE,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAgC;IACxD,MAAM,WAAW,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvF,IAAI,CAAC,aAAa,IAAI,CAAC,sBAAsB,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;QACxF,MAAM,EAAE,WAAW,CAAC,MAAM;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAgC;IAEhC,MAAM,EAAE,eAAe,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACpE,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IACE,CAAC,iBAAiB,CAAC,WAAW,CAAC;QAC/B,oBAAoB,CAAC,KAAK,CAAC;QAC3B,SAAS,KAAK,SAAS;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,SAAS;QACpB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC/D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,CAAC,OAAO,IAAI,yBAAyB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAsC;IAEtC,OAAO,CACL,WAAW,KAAK,SAAS;QACzB,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACzE,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACnC,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACxF,CAAC,WAAW,CAAC,aAAa,CAC3B,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAiB;IAC9C,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA0B,EAC1B,SAAiB;IAEjB,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAwD,EAAE,CAAC;IACzE,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,SAAS,EAC7B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAwD,EACxD,KAA0B;IAE1B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvD,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ;QACvC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;AAChC,CAAC;AAED,SAAS,sBAAsB,CAC7B,aAA4B,EAC5B,OAAgC;IAEhC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,UAAU,CAAC,aAAa,EAAE,QAAQ,CAAC;QACnC,CAAC,yBAAyB,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC;QACtD,CAAC,MAAM,CAAC,0BAA0B,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9D,8BAA8B,CAAC;YAC7B,QAAQ;YACR,QAAQ,EAAE,CAAC,aAAa,CAAC;YACzB,eAAe;YACf,gBAAgB;SACjB,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/src/rules/legacy-use-value.d.ts

@@ -0,0 +1,13 @@
+import type { HookImports } from "../core/imports.js";
+import type { InstalledLegendState } from "../project/legend-state-package.js";
+import type { LegendPracticeFinding } from "../core/types.js";
+import ts from "typescript";
+export interface LegacyUseValueScan {
+    readonly fileName: string;
+    readonly imports: HookImports;
+    readonly installedLegendState?: InstalledLegendState | null;
+    readonly observableBindings: ReadonlySet<string>;
+    readonly sourceFile: ts.SourceFile;
+}
+export declare function findLegacyUseValuePractices({ fileName, imports, installedLegendState, observableBindings, sourceFile, }: LegacyUseValueScan): readonly LegendPracticeFinding[];
+//# sourceMappingURL=legacy-use-value.d.ts.map

package/dist/src/rules/legacy-use-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-use-value.d.ts","sourceRoot":"","sources":["../../../src/rules/legacy-use-value.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAG9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAC5D,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,2BAA2B,CAAC,EAC1C,QAAQ,EACR,OAAO,EACP,oBAA2B,EAC3B,kBAAkB,EAClB,UAAU,GACX,EAAE,kBAAkB,GAAG,SAAS,qBAAqB,EAAE,CAqBvD"}

package/dist/src/rules/legacy-use-value.js

@@ -0,0 +1,105 @@
+import { collectBindingNames } from "../core/analysis-ast.js";
+import { directObservableSelectorPath } from "./observable-reads/use-value-inputs.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+const LEGACY_HOOKS = new Set(["useSelector", "use$"]);
+export function findLegacyUseValuePractices({ fileName, imports, installedLegendState = null, observableBindings, sourceFile, }) {
+    if (imports.legacyUseValue.size === 0 && imports.legendReactNamespaces.size === 0) {
+        return [];
+    }
+    const shadowed = localBindingNames(sourceFile);
+    const findings = [];
+    visit(sourceFile, (node) => {
+        if (!ts.isCallExpression(node) || !isLegacyHookCall(node, imports, shadowed)) {
+            return;
+        }
+        findings.push(legacyUseValueFinding({
+            call: node,
+            fileName,
+            installedLegendState,
+            observableBindings,
+            sourceFile,
+        }));
+    });
+    return findings;
+}
+function legacyUseValueFinding(context) {
+    const { call, fileName, installedLegendState, observableBindings, sourceFile } = context;
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(call.getStart(sourceFile));
+    const current = call.expression.getText(sourceFile);
+    const directObservable = call.arguments.length === 1
+        ? directObservableSelectorPath(call.arguments[0], observableBindings)
+        : null;
+    const preservedArguments = call.arguments
+        .map((argument) => argument.getText(sourceFile))
+        .join(", ");
+    const replacement = directObservable
+        ? `useValue(${directObservable.getText(sourceFile)})`
+        : `useValue(${preservedArguments})`;
+    return {
+        action: "replace-legacy-use-value",
+        confidence: "certain",
+        disposition: installedLegendState?.useValueExport === "alias" ? "style" : "change",
+        evidence: [
+            `\`${current}\` resolves to a legacy hook imported from @legendapp/state/react`,
+            "Legend State documents useValue as the replacement for useSelector and use$",
+            ...installedUseValueEvidence(installedLegendState),
+        ],
+        location: { column: character + 1, file: fileName, line: line + 1 },
+        message: directObservable
+            ? `Replace \`${current}(...)\` with \`${replacement}\` and update its ` +
+                "@legendapp/state/react import; pass the proven observable path directly."
+            : `Replace \`${current}(...)\` with \`${replacement}\` and update its ` +
+                "@legendapp/state/react import; preserve the selector arguments.",
+        practice: "reactivity",
+    };
+}
+function installedUseValueEvidence(installed) {
+    if (!installed) {
+        return [];
+    }
+    if (installed.useValueExport === "alias") {
+        return [
+            `useValue is an alias of useSelector in the installed @legendapp/state@${installed.version}; ` +
+                "this rename is a consistency change with no runtime effect",
+        ];
+    }
+    if (installed.useValueExport === "distinct") {
+        return [
+            `useValue and useSelector are distinct exports in the installed @legendapp/state@${installed.version}; ` +
+                "verify the documented behavior difference before and after replacing",
+        ];
+    }
+    return [
+        `the installed @legendapp/state@${installed.version} react type declarations could not be resolved; ` +
+            "confirm useValue exists there before replacing",
+    ];
+}
+function isLegacyHookCall(call, imports, shadowed) {
+    const { expression } = call;
+    if (ts.isIdentifier(expression)) {
+        return imports.legacyUseValue.has(expression.text) && !shadowed.has(expression.text);
+    }
+    return (ts.isPropertyAccessExpression(expression) &&
+        ts.isIdentifier(expression.expression) &&
+        imports.legendReactNamespaces.has(expression.expression.text) &&
+        !shadowed.has(expression.expression.text) &&
+        LEGACY_HOOKS.has(expression.name.text));
+}
+function localBindingNames(sourceFile) {
+    const names = new Set();
+    visit(sourceFile, (node) => {
+        if (ts.isVariableDeclaration(node) || ts.isParameter(node)) {
+            collectBindingNames(node.name, names);
+            return;
+        }
+        if ((ts.isFunctionDeclaration(node) ||
+            ts.isFunctionExpression(node) ||
+            ts.isClassDeclaration(node)) &&
+            node.name) {
+            names.add(node.name.text);
+        }
+    });
+    return names;
+}
+//# sourceMappingURL=legacy-use-value.js.map

package/dist/src/rules/legacy-use-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-use-value.js","sourceRoot":"","sources":["../../../src/rules/legacy-use-value.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAUtD,MAAM,UAAU,2BAA2B,CAAC,EAC1C,QAAQ,EACR,OAAO,EACP,oBAAoB,GAAG,IAAI,EAC3B,kBAAkB,EAClB,UAAU,GACS;IACnB,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,qBAAqB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,QAAQ,CAAC,IAAI,CACX,qBAAqB,CAAC;YACpB,IAAI,EAAE,IAAI;YACV,QAAQ;YACR,oBAAoB;YACpB,kBAAkB;YAClB,UAAU;SACX,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAUD,SAAS,qBAAqB,CAAC,OAA2B;IACxD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACzF,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,gBAAgB,GACpB,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,kBAAkB,CAAC;QACtE,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS;SACtC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;SAC/C,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,WAAW,GAAG,gBAAgB;QAClC,CAAC,CAAC,YAAY,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG;QACrD,CAAC,CAAC,YAAY,kBAAkB,GAAG,CAAC;IACtC,OAAO;QACL,MAAM,EAAE,0BAA0B;QAClC,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,oBAAoB,EAAE,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ;QAClF,QAAQ,EAAE;YACR,KAAK,OAAO,mEAAmE;YAC/E,6EAA6E;YAC7E,GAAG,yBAAyB,CAAC,oBAAoB,CAAC;SACnD;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE;QACnE,OAAO,EAAE,gBAAgB;YACvB,CAAC,CAAC,aAAa,OAAO,kBAAkB,WAAW,oBAAoB;gBACrE,0EAA0E;YAC5E,CAAC,CAAC,aAAa,OAAO,kBAAkB,WAAW,oBAAoB;gBACrE,iEAAiE;QACrE,QAAQ,EAAE,YAAY;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,SAAsC;IACvE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,SAAS,CAAC,cAAc,KAAK,OAAO,EAAE,CAAC;QACzC,OAAO;YACL,yEAAyE,SAAS,CAAC,OAAO,IAAI;gBAC5F,4DAA4D;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;QAC5C,OAAO;YACL,mFAAmF,SAAS,CAAC,OAAO,IAAI;gBACtG,sEAAsE;SACzE,CAAC;IACJ,CAAC;IACD,OAAO;QACL,kCAAkC,SAAS,CAAC,OAAO,kDAAkD;YACnG,gDAAgD;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAuB,EACvB,OAAoB,EACpB,QAA6B;IAE7B,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC7D,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QACzC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,EACT,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/listener-ref-state/listener-callbacks.d.ts

@@ -0,0 +1,12 @@
+import type { EffectCandidate } from "../../analysis/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export interface CallbackBinding {
+    callback: ts.ArrowFunction | ts.FunctionExpression;
+    declaration: ts.VariableDeclaration;
+    dependencies: ts.ArrayLiteralExpression;
+    name: string;
+}
+export declare function listenerCallbacks(owner: RuntimeFunctionLike, effects: readonly EffectCandidate[], imports: HookImports): ReadonlyMap<string, CallbackBinding>;
+//# sourceMappingURL=listener-callbacks.d.ts.map

package/dist/src/rules/listener-ref-state/listener-callbacks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-callbacks.d.ts","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-callbacks.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACnD,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IACpC,YAAY,EAAE,EAAE,CAAC,sBAAsB,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC;CACd;AAcD,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAYtC"}

package/dist/src/rules/listener-ref-state/listener-callbacks.js

@@ -0,0 +1,178 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { containsAwaitOrYield, isAsync } from "./synchronous-regions.js";
+import { visit, visitSkippingNestedFunctions } from "../../core/ast.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import ts from "typescript";
+const LISTENER_CALL_ARGUMENT_COUNT = 2;
+export function listenerCallbacks(owner, effects, imports) {
+    const callbacks = callbackBindings(owner, imports);
+    const allowedByName = allowedListenerReferences(owner, effects, callbacks);
+    const listeners = new Map();
+    for (const [name, allowedReferences] of allowedByName) {
+        const binding = callbacks.get(name);
+        if (!binding || !callbackReferencesAreConfined(owner, binding, allowedReferences)) {
+            continue;
+        }
+        listeners.set(name, binding);
+    }
+    return listeners;
+}
+function allowedListenerReferences(owner, effects, callbacks) {
+    const allowedByName = new Map();
+    for (const effect of effects) {
+        if (effect.owner !== owner) {
+            continue;
+        }
+        for (const reference of effectListenerReferences(effect, callbacks)) {
+            const allowed = allowedByName.get(reference.name) ?? new Set();
+            for (const node of reference.nodes) {
+                allowed.add(node);
+            }
+            allowedByName.set(reference.name, allowed);
+        }
+    }
+    return allowedByName;
+}
+function effectListenerReferences(effect, callbacks) {
+    const { callback } = effect;
+    if (!callback || isAsync(callback)) {
+        return [];
+    }
+    const cleanup = effectCleanup(callback);
+    if (!cleanup) {
+        return [];
+    }
+    const removals = collectListenerCalls(cleanup.body, "removeEventListener", cleanup);
+    return collectListenerCalls(callback.body, "addEventListener", callback).flatMap((addition) => {
+        const reference = listenerReference({
+            addition,
+            callbacks,
+            dependencies: effect.dependencies,
+            removals,
+        });
+        return reference ? [reference] : [];
+    });
+}
+function listenerReference(options) {
+    const { addition, callbacks, dependencies, removals } = options;
+    const binding = callbacks.get(addition.callback.text);
+    const removal = binding ? soleMatchingRemoval(removals, addition) : null;
+    if (!binding || !removal) {
+        return null;
+    }
+    const dependency = dependencyIdentifier(dependencies, binding.name);
+    if (!dependency) {
+        return null;
+    }
+    return { name: binding.name, nodes: [addition.callback, removal.callback, dependency] };
+}
+function soleMatchingRemoval(removals, addition) {
+    const matches = removals.filter((removal) => listenerCallsMatch(removal, addition));
+    const [match] = matches;
+    return matches.length === 1 && match ? match : null;
+}
+function listenerCallsMatch(removal, addition) {
+    return (removal.callback.text === addition.callback.text &&
+        expressionsMatch(removal.event, addition.event) &&
+        optionsMatch(removal.options, addition.options) &&
+        expressionsMatch(removal.target, addition.target));
+}
+function dependencyIdentifier(dependencies, name) {
+    const element = dependencies?.elements.find((candidate) => ts.isIdentifier(candidate) && candidate.text === name);
+    return element && ts.isIdentifier(element) ? element : null;
+}
+function callbackBindings(owner, imports) {
+    const callbacks = new Map();
+    visit(owner.body, (node) => {
+        if (!ts.isVariableDeclaration(node) ||
+            !ts.isIdentifier(node.name) ||
+            !node.initializer ||
+            !ts.isCallExpression(node.initializer) ||
+            !isImportedHookCall({
+                call: node.initializer,
+                localNames: imports.useCallback,
+                namespaceNames: imports.reactNamespaces,
+                canonicalName: "useCallback",
+            }) ||
+            bindingDeclarationCount(owner, node.name.text) !== 1) {
+            return;
+        }
+        const [callback, dependencies] = node.initializer.arguments;
+        if (!callback ||
+            (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+            !dependencies ||
+            !ts.isArrayLiteralExpression(dependencies) ||
+            isAsync(callback) ||
+            containsAwaitOrYield(callback.body)) {
+            return;
+        }
+        callbacks.set(node.name.text, {
+            callback,
+            declaration: node,
+            dependencies,
+            name: node.name.text,
+        });
+    });
+    return callbacks;
+}
+function effectCleanup(callback) {
+    if (!ts.isBlock(callback.body)) {
+        return null;
+    }
+    const returns = callback.body.statements.filter(ts.isReturnStatement);
+    const expression = returns.length === 1 ? returns[0].expression : undefined;
+    const cleanup = expression ? unwrapTransparentExpression(expression) : null;
+    return cleanup &&
+        (ts.isArrowFunction(cleanup) || ts.isFunctionExpression(cleanup)) &&
+        !isAsync(cleanup)
+        ? cleanup
+        : null;
+}
+function collectListenerCalls(body, operation, boundary) {
+    const calls = [];
+    visitSkippingNestedFunctions(body, boundary, (node) => {
+        if (!ts.isCallExpression(node) ||
+            !ts.isPropertyAccessExpression(node.expression) ||
+            node.expression.name.text !== operation ||
+            node.arguments.length < LISTENER_CALL_ARGUMENT_COUNT ||
+            !ts.isIdentifier(node.arguments[1])) {
+            return;
+        }
+        calls.push({
+            callback: node.arguments[1],
+            event: node.arguments[0],
+            options: node.arguments[2],
+            target: node.expression.expression,
+        });
+    });
+    return calls;
+}
+function expressionsMatch(left, right) {
+    return (unwrapTransparentExpression(left).getText() === unwrapTransparentExpression(right).getText());
+}
+function optionsMatch(left, right) {
+    if (!left || !right) {
+        return left === right;
+    }
+    return expressionsMatch(left, right);
+}
+function callbackReferencesAreConfined(owner, binding, allowedReferences) {
+    let references = 0;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== binding.name ||
+            node === binding.declaration.name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        if (!allowedReferences.has(node)) {
+            safe = false;
+        }
+    });
+    return safe && references > 0;
+}
+//# sourceMappingURL=listener-callbacks.js.map

package/dist/src/rules/listener-ref-state/listener-callbacks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-callbacks.js","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AAIxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAqBvC,MAAM,UAAU,iBAAiB,CAC/B,KAA0B,EAC1B,OAAmC,EACnC,OAAoB;IAEpB,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,IAAI,aAAa,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,IAAI,CAAC,6BAA6B,CAAC,KAAK,EAAE,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC;YAClF,SAAS;QACX,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,yBAAyB,CAChC,KAA0B,EAC1B,OAAmC,EACnC,SAA+C;IAE/C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,wBAAwB,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;YACpE,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAiB,CAAC;YAC9E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAuB,EACvB,SAA+C;IAE/C,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAC;IACpF,OAAO,oBAAoB,CAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC5F,MAAM,SAAS,GAAG,iBAAiB,CAAC;YAClC,QAAQ;YACR,SAAS;YACT,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ;SACT,CAAC,CAAC;QACH,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,OAK1B;IACC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAChE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAiC,EACjC,QAAsB;IAEtB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IACxB,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAqB,EAAE,QAAsB;IACvE,OAAO,CACL,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,CAAC,IAAI;QAChD,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;QAC/C,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;QAC/C,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,YAA8C,EAC9C,IAAY;IAEZ,MAAM,OAAO,GAAG,YAAY,EAAE,QAAQ,CAAC,IAAI,CACzC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,CACrE,CAAC;IACF,OAAO,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA0B,EAC1B,OAAoB;IAEpB,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACtC,CAAC,kBAAkB,CAAC;gBAClB,IAAI,EAAE,IAAI,CAAC,WAAW;gBACtB,UAAU,EAAE,OAAO,CAAC,WAAW;gBAC/B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,aAAa;aAC7B,CAAC;YACF,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EACpD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;QAC5D,IACE,CAAC,QAAQ;YACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YACrE,CAAC,YAAY;YACb,CAAC,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC;YAC1C,OAAO,CAAC,QAAQ,CAAC;YACjB,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EACnC,CAAC;YACD,OAAO;QACT,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAC5B,QAAQ;YACR,WAAW,EAAE,IAAI;YACjB,YAAY;YACZ,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CACpB,QAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,OAAO,OAAO;QACZ,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACjE,CAAC,OAAO,CAAC,OAAO,CAAC;QACjB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAoB,EACpB,SAAqD,EACrD,QAAkD;IAElD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,4BAA4B,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACpD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACvC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,4BAA4B;YACpD,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EACpC,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE;YAC5B,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE;YACzB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC1B,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAmB,EAAE,KAAoB;IACjE,OAAO,CACL,2BAA2B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,2BAA2B,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAC7F,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA+B,EAAE,KAAgC;IACrF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA0B,EAC1B,OAAwB,EACxB,iBAA6C;IAE7C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;YAC1B,IAAI,KAAK,OAAO,CAAC,WAAW,CAAC,IAAI;YACjC,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC"}

package/dist/src/rules/listener-ref-state/listener-ref-candidates.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { CallbackBinding } from "./listener-callbacks.js";
+export declare function isListenerRefCandidate(state: StateCandidate, usage: StateUsage | undefined, callbacks: ReadonlyMap<string, CallbackBinding>): boolean;
+//# sourceMappingURL=listener-ref-candidates.d.ts.map

package/dist/src/rules/listener-ref-state/listener-ref-candidates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener-ref-candidates.d.ts","sourceRoot":"","sources":["../../../../src/rules/listener-ref-state/listener-ref-candidates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAI1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAO/D,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAAG,SAAS,EAC7B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GAC9C,OAAO,CAET"}