legend-doctor 0.1.0

package/dist/src/rules/browser-storage-effect.js

@@ -0,0 +1,144 @@
+import { bindingDeclarationCount, isAssignmentOperator, unwrapTransparentExpression, } from "../core/analysis-ast.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+const BROWSER_STORAGE_PATTERN = /^(?:localStorage|sessionStorage)$/u;
+const STORAGE_MUTATION_PATTERN = /^(?:clear|removeItem|setItem)$/u;
+/** The storages a proven persistence effect writes, in source order without repeats. */
+export function browserStoragesWritten(effect) {
+    const { callback, owner } = effect;
+    if (!callback || !owner) {
+        return [];
+    }
+    const storages = new Set();
+    visit(callback, (node) => {
+        if (!ts.isCallExpression(node) || !ts.isPropertyAccessExpression(node.expression)) {
+            return;
+        }
+        const storage = STORAGE_MUTATION_PATTERN.test(node.expression.name.text)
+            ? browserStorageName(node.expression.expression, owner)
+            : null;
+        if (storage) {
+            storages.add(storage);
+        }
+    });
+    return [...storages];
+}
+export function isDependencyDrivenBrowserStorageEffect(effect) {
+    const { callback, dependencies, owner } = effect;
+    if (!callback ||
+        !ts.isBlock(callback.body) ||
+        !dependencies?.elements.length ||
+        !owner ||
+        callback.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        callback.asteriskToken) {
+        return false;
+    }
+    let storageMutations = 0;
+    const statementIsSafe = (statement) => {
+        if (ts.isBlock(statement)) {
+            return statement.statements.every(statementIsSafe);
+        }
+        if (ts.isIfStatement(statement)) {
+            return isSafeStorageBranch(statement, owner, statementIsSafe);
+        }
+        if (ts.isReturnStatement(statement)) {
+            return statement.expression === undefined;
+        }
+        if (!ts.isExpressionStatement(statement) ||
+            !isBrowserStorageMutationStatement(statement, owner)) {
+            return false;
+        }
+        storageMutations += 1;
+        return true;
+    };
+    return callback.body.statements.every(statementIsSafe) && storageMutations > 0;
+}
+function isSafeStorageBranch(statement, owner, statementIsSafe) {
+    return (isSafeStorageExpression(statement.expression, owner) &&
+        statementIsSafe(statement.thenStatement) &&
+        (!statement.elseStatement || statementIsSafe(statement.elseStatement)));
+}
+function isBrowserStorageMutationStatement(statement, owner) {
+    const expression = unwrapTransparentExpression(ts.isVoidExpression(statement.expression)
+        ? statement.expression.expression
+        : statement.expression);
+    return (ts.isCallExpression(expression) &&
+        isBrowserStorageMutation(expression, owner) &&
+        expression.arguments.every((argument) => isSafeStorageExpression(argument, owner)));
+}
+function isSafeStorageExpression(expression, owner) {
+    let safe = true;
+    visit(expression, (node) => {
+        if (!safe) {
+            return;
+        }
+        if (ts.isCallExpression(node)) {
+            if (!isPureStorageHelper(node, owner)) {
+                safe = false;
+            }
+            return;
+        }
+        if (ts.isAwaitExpression(node) ||
+            ts.isYieldExpression(node) ||
+            ts.isNewExpression(node) ||
+            ts.isDeleteExpression(node) ||
+            ts.isPostfixUnaryExpression(node) ||
+            ts.isArrowFunction(node) ||
+            ts.isFunctionExpression(node) ||
+            (ts.isPrefixUnaryExpression(node) &&
+                (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                    node.operator === ts.SyntaxKind.MinusMinusToken)) ||
+            (ts.isBinaryExpression(node) && isAssignmentOperator(node.operatorToken.kind))) {
+            safe = false;
+        }
+    });
+    return safe;
+}
+function isPureStorageHelper(call, owner) {
+    const callee = call.expression;
+    if (!ts.isPropertyAccessExpression(callee) || !ts.isIdentifier(callee.expression)) {
+        return false;
+    }
+    const root = callee.expression.text;
+    const method = callee.name.text;
+    return (bindingDeclarationCount(owner, root) === 0 &&
+        ((root === "JSON" && method === "stringify") || (root === "Object" && method === "keys")));
+}
+function isBrowserStorageMutation(call, owner) {
+    const callee = call.expression;
+    return (ts.isPropertyAccessExpression(callee) &&
+        STORAGE_MUTATION_PATTERN.test(callee.name.text) &&
+        browserStorageName(callee.expression, owner) !== null);
+}
+function browserStorageName(expression, runtimeOwner) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(value)) {
+        return bindingDeclarationCount(runtimeOwner, value.text) === 0
+            ? asBrowserStorage(value.text)
+            : null;
+    }
+    if (!ts.isPropertyAccessExpression(value)) {
+        return null;
+    }
+    const storage = asBrowserStorage(value.name.text);
+    return storage && isGlobalWindowQualifier(value.expression, runtimeOwner) ? storage : null;
+}
+function asBrowserStorage(name) {
+    return isBrowserStorage(name) ? name : null;
+}
+function isBrowserStorage(name) {
+    return BROWSER_STORAGE_PATTERN.test(name);
+}
+function isGlobalWindowQualifier(expression, runtimeOwner) {
+    const qualifier = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(qualifier)) {
+        return (/^(?:globalThis|window)$/u.test(qualifier.text) &&
+            bindingDeclarationCount(runtimeOwner, qualifier.text) === 0);
+    }
+    return (ts.isPropertyAccessExpression(qualifier) &&
+        qualifier.name.text === "window" &&
+        ts.isIdentifier(qualifier.expression) &&
+        qualifier.expression.text === "globalThis" &&
+        bindingDeclarationCount(runtimeOwner, qualifier.expression.text) === 0);
+}
+//# sourceMappingURL=browser-storage-effect.js.map

package/dist/src/rules/browser-storage-effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser-storage-effect.js","sourceRoot":"","sources":["../../../src/rules/browser-storage-effect.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAIvC,MAAM,uBAAuB,GAAG,oCAAoC,CAAC;AACrE,MAAM,wBAAwB,GAAG,iCAAiC,CAAC;AAEnE,wFAAwF;AACxF,MAAM,UAAU,sBAAsB,CAAC,MAAuB;IAC5D,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACnC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClF,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACtE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,MAAuB;IAC5E,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM;QAC9B,CAAC,KAAK;QACN,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACpF,QAAQ,CAAC,aAAa,EACtB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,MAAM,eAAe,GAAG,CAAC,SAAuB,EAAW,EAAE;QAC3D,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,OAAO,mBAAmB,CAAC,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC;QAC5C,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YACpC,CAAC,iCAAiC,CAAC,SAAS,EAAE,KAAK,CAAC,EACpD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,gBAAgB,IAAI,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,gBAAgB,GAAG,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,mBAAmB,CAC1B,SAAyB,EACzB,KAA0B,EAC1B,eAAqD;IAErD,OAAO,CACL,uBAAuB,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC;QACpD,eAAe,CAAC,SAAS,CAAC,aAAa,CAAC;QACxC,CAAC,CAAC,SAAS,CAAC,aAAa,IAAI,eAAe,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CACvE,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,SAAiC,EACjC,KAA0B;IAE1B,MAAM,UAAU,GAAG,2BAA2B,CAC5C,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QACvC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU;QACjC,CAAC,CAAC,SAAS,CAAC,UAAU,CACzB,CAAC;IACF,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,wBAAwB,CAAC,UAAU,EAAE,KAAK,CAAC;QAC3C,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CACnF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,UAAyB,EAAE,KAA0B;IACpF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACtC,IAAI,GAAG,KAAK,CAAC;YACf,CAAC;YACD,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gBAC/B,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YACrD,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAC9E,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB,EAAE,KAA0B;IAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAClF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,OAAO,CACL,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;QAC1C,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAuB,EAAE,KAA0B;IACnF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/C,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,IAAI,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAyB,EACzB,YAAiC;IAEjC,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,uBAAuB,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5D,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,OAAO,IAAI,uBAAuB,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7F,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9C,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAyB,EACzB,YAAiC;IAEjC,MAAM,SAAS,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,CACL,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC/C,uBAAuB,CAAC,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;QACxC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAChC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;QACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QAC1C,uBAAuB,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CACvE,CAAC;AACJ,CAAC"}

package/dist/src/rules/callable-state.d.ts

@@ -0,0 +1,5 @@
+import type { StateCandidate } from "../analysis/model.js";
+import ts from "typescript";
+export declare function stateMayHoldCallable(state: StateCandidate): boolean;
+export declare function stateTypeMayBeCallable(type: ts.TypeNode, sourceFile?: ts.SourceFile, seen?: ReadonlySet<string>): boolean;
+//# sourceMappingURL=callable-state.d.ts.map

package/dist/src/rules/callable-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callable-state.d.ts","sourceRoot":"","sources":["../../../src/rules/callable-state.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAoB5B,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAcnE;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,EAAE,CAAC,QAAQ,EACjB,UAAU,GAAE,EAAE,CAAC,UAAiC,EAChD,IAAI,GAAE,WAAW,CAAC,MAAM,CAAa,GACpC,OAAO,CAcT"}

package/dist/src/rules/callable-state.js

@@ -0,0 +1,285 @@
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../core/analysis-ast.js";
+import { nodeWithin, visit, visitSkippingNestedRuntimeFunctions } from "../core/ast.js";
+import ts from "typescript";
+const callableStateCache = new WeakMap();
+const localDeclarationsCache = new WeakMap();
+const REACT_CALLABLE_TYPE_EXPORTS = new Set([
+    "ComponentClass",
+    "ComponentType",
+    "FC",
+    "JSXElementConstructor",
+]);
+export function stateMayHoldCallable(state) {
+    const cached = callableStateCache.get(state);
+    if (cached !== undefined) {
+        return cached;
+    }
+    const sourceFile = state.call.getSourceFile();
+    const type = state.call.typeArguments?.[0];
+    const callable = (type !== undefined && stateTypeMayBeCallable(type, sourceFile)) ||
+        lazyInitializerMayReturnCallable(state.call.arguments[0]) ||
+        setterMayStoreCallable(state) ||
+        stateValueIsUsedAsCallable(state);
+    callableStateCache.set(state, callable);
+    return callable;
+}
+export function stateTypeMayBeCallable(type, sourceFile = type.getSourceFile(), seen = new Set()) {
+    if (ts.isFunctionTypeNode(type) || ts.isConstructorTypeNode(type)) {
+        return true;
+    }
+    if (ts.isTypeReferenceNode(type)) {
+        return typeReferenceMayBeCallable(type, sourceFile, seen);
+    }
+    let callable = false;
+    type.forEachChild((child) => {
+        if (!callable && ts.isTypeNode(child) && stateTypeMayBeCallable(child, sourceFile, seen)) {
+            callable = true;
+        }
+    });
+    return callable;
+}
+function typeReferenceMayBeCallable(type, sourceFile, seen) {
+    if (type.typeArguments?.some((argument) => stateTypeMayBeCallable(argument, sourceFile, seen))) {
+        return true;
+    }
+    const local = localTypeReferenceCallability(type, sourceFile, seen);
+    if (local !== null) {
+        return local;
+    }
+    const name = type.typeName.getText();
+    return name === "Function" || localDeclarations(sourceFile).callableReactTypes.has(name);
+}
+function localTypeReferenceCallability(type, sourceFile, seen) {
+    const name = type.typeName.getText();
+    if (!ts.isIdentifier(type.typeName) || seen.has(name)) {
+        return null;
+    }
+    const declarations = nearestVisibleDeclarations(localDeclarations(sourceFile).types.get(name) ?? [], type);
+    if (declarations.length > 1) {
+        return false;
+    }
+    const [declaration] = declarations;
+    return declaration
+        ? declaredTypeMayBeCallable(declaration, sourceFile, new Set(seen).add(name))
+        : null;
+}
+function declaredTypeMayBeCallable(declaration, sourceFile, seen) {
+    if (ts.isTypeAliasDeclaration(declaration)) {
+        return stateTypeMayBeCallable(declaration.type, sourceFile, seen);
+    }
+    return declaration.members.some((member) => ts.isCallSignatureDeclaration(member) ||
+        ts.isConstructSignatureDeclaration(member) ||
+        ts.isMethodSignature(member) ||
+        ((ts.isPropertySignature(member) || ts.isIndexSignatureDeclaration(member)) &&
+            member.type !== undefined &&
+            stateTypeMayBeCallable(member.type, sourceFile, seen)));
+}
+function localDeclarations(sourceFile) {
+    const cached = localDeclarationsCache.get(sourceFile);
+    if (cached) {
+        return cached;
+    }
+    const callableReactTypes = new Set();
+    const types = new Map();
+    const values = new Map();
+    visit(sourceFile, (node) => {
+        if (ts.isImportDeclaration(node)) {
+            if (isReactModuleImport(node) && node.importClause) {
+                collectReactCallableTypeNames(node.importClause, callableReactTypes);
+            }
+            return;
+        }
+        if (ts.isTypeAliasDeclaration(node) || ts.isInterfaceDeclaration(node)) {
+            appendNamedDeclaration(types, node.name.text, node);
+            return;
+        }
+        if ((ts.isVariableDeclaration(node) ||
+            ts.isFunctionDeclaration(node) ||
+            ts.isClassDeclaration(node)) &&
+            node.name &&
+            ts.isIdentifier(node.name)) {
+            appendNamedDeclaration(values, node.name.text, node);
+        }
+    });
+    const declarations = { callableReactTypes, types, values };
+    localDeclarationsCache.set(sourceFile, declarations);
+    return declarations;
+}
+function appendNamedDeclaration(index, name, declaration) {
+    const matches = index.get(name) ?? [];
+    matches.push(declaration);
+    index.set(name, matches);
+}
+function isReactModuleImport(node) {
+    return ts.isStringLiteral(node.moduleSpecifier) && node.moduleSpecifier.text === "react";
+}
+function addQualifiedReactTypes(namespace, callableReactTypes) {
+    for (const exported of REACT_CALLABLE_TYPE_EXPORTS) {
+        callableReactTypes.add(`${namespace}.${exported}`);
+    }
+}
+function collectReactCallableTypeNames(importClause, callableReactTypes) {
+    if (importClause.name) {
+        addQualifiedReactTypes(importClause.name.text, callableReactTypes);
+    }
+    const bindings = importClause.namedBindings;
+    if (!bindings) {
+        return;
+    }
+    if (ts.isNamespaceImport(bindings)) {
+        addQualifiedReactTypes(bindings.name.text, callableReactTypes);
+        return;
+    }
+    addNamedReactTypes(bindings, callableReactTypes);
+}
+function addNamedReactTypes(bindings, callableReactTypes) {
+    for (const element of bindings.elements) {
+        const exported = element.propertyName?.text ?? element.name.text;
+        if (REACT_CALLABLE_TYPE_EXPORTS.has(exported)) {
+            callableReactTypes.add(element.name.text);
+        }
+    }
+}
+function nearestVisibleDeclarations(declarations, reference) {
+    let nearestScope = null;
+    for (const declaration of declarations) {
+        const scope = declarationScope(declaration);
+        if (nodeWithin(reference, scope) && (!nearestScope || nodeWithin(scope, nearestScope))) {
+            nearestScope = scope;
+        }
+    }
+    return nearestScope === null
+        ? []
+        : declarations.filter((declaration) => declarationScope(declaration) === nearestScope);
+}
+function declarationScope(declaration) {
+    for (let node = declaration.parent; node; node = node.parent) {
+        if (ts.isSourceFile(node) || ts.isBlock(node) || ts.isModuleBlock(node)) {
+            return node;
+        }
+    }
+    return declaration.getSourceFile();
+}
+function lazyInitializerMayReturnCallable(initializer) {
+    const value = initializer && unwrapTransparentExpression(initializer);
+    return (value !== undefined &&
+        (ts.isArrowFunction(value) || ts.isFunctionExpression(value)) &&
+        callbackMayReturnCallable(value));
+}
+function setterMayStoreCallable(state) {
+    if (!state.setterName || !state.owner.body) {
+        return false;
+    }
+    let callable = false;
+    visit(state.owner.body, (node) => {
+        if (callable ||
+            !ts.isCallExpression(node) ||
+            !ts.isIdentifier(node.expression) ||
+            node.expression.text !== state.setterName) {
+            return;
+        }
+        const argument = node.arguments[0] && unwrapTransparentExpression(node.arguments[0]);
+        callable =
+            argument !== undefined &&
+                (ts.isArrowFunction(argument) || ts.isFunctionExpression(argument)
+                    ? argument.parameters.length === 0 && callbackMayReturnCallable(argument)
+                    : expressionContainsCallableLiteral(argument));
+    });
+    return callable;
+}
+function callbackMayReturnCallable(callback) {
+    if (!ts.isBlock(callback.body)) {
+        return expressionMayBeCallable(callback.body);
+    }
+    let callable = false;
+    visitSkippingNestedRuntimeFunctions(callback.body, (node) => {
+        if (!callable &&
+            ts.isReturnStatement(node) &&
+            node.expression &&
+            expressionMayBeCallable(node.expression)) {
+            callable = true;
+        }
+    });
+    return callable;
+}
+function expressionMayBeCallable(expression, seen = new Set()) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value) || ts.isClassExpression(value)) {
+        return true;
+    }
+    if (ts.isIdentifier(value)) {
+        return identifierMayBeCallable(value, seen);
+    }
+    if (ts.isConditionalExpression(value)) {
+        return (expressionMayBeCallable(value.whenTrue, seen) ||
+            expressionMayBeCallable(value.whenFalse, seen));
+    }
+    if (ts.isBinaryExpression(value) &&
+        (value.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken ||
+            value.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+            value.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken)) {
+        return expressionMayBeCallable(value.left, seen) || expressionMayBeCallable(value.right, seen);
+    }
+    return expressionContainsCallableLiteral(value);
+}
+function identifierMayBeCallable(value, seen) {
+    if (seen.has(value.text)) {
+        return false;
+    }
+    const declarations = nearestVisibleDeclarations(localDeclarations(value.getSourceFile()).values.get(value.text) ?? [], value);
+    if (declarations.length !== 1) {
+        return false;
+    }
+    const declaration = declarations[0];
+    if (ts.isFunctionDeclaration(declaration) || ts.isClassDeclaration(declaration)) {
+        return true;
+    }
+    const initializer = ts.isVariableDeclaration(declaration) && declaration.initializer;
+    return (initializer !== false &&
+        initializer !== undefined &&
+        expressionMayBeCallable(initializer, new Set(seen).add(value.text)));
+}
+function stateValueIsUsedAsCallable(state) {
+    if (!state.owner.body) {
+        return false;
+    }
+    let callable = false;
+    visit(state.owner.body, (node) => {
+        if (callable ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const { parent } = node;
+        callable =
+            ((ts.isCallExpression(parent) || ts.isNewExpression(parent)) && parent.expression === node) ||
+                (ts.isTaggedTemplateExpression(parent) && parent.tag === node) ||
+                ((ts.isJsxOpeningElement(parent) ||
+                    ts.isJsxSelfClosingElement(parent) ||
+                    ts.isJsxClosingElement(parent)) &&
+                    parent.tagName === node);
+    });
+    return callable;
+}
+function expressionContainsCallableLiteral(expression) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value) || ts.isClassExpression(value)) {
+        return true;
+    }
+    if (ts.isConditionalExpression(value)) {
+        return (expressionContainsCallableLiteral(value.whenTrue) ||
+            expressionContainsCallableLiteral(value.whenFalse));
+    }
+    if (ts.isObjectLiteralExpression(value)) {
+        return value.properties.some((property) => ts.isMethodDeclaration(property) ||
+            (ts.isPropertyAssignment(property) &&
+                expressionContainsCallableLiteral(property.initializer)));
+    }
+    if (ts.isArrayLiteralExpression(value)) {
+        return value.elements.some((element) => !ts.isSpreadElement(element) && expressionContainsCallableLiteral(element));
+    }
+    return false;
+}
+//# sourceMappingURL=callable-state.js.map

package/dist/src/rules/callable-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callable-state.js","sourceRoot":"","sources":["../../../src/rules/callable-state.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,mCAAmC,EAAE,MAAM,gBAAgB,CAAC;AAExF,OAAO,EAAE,MAAM,YAAY,CAAC;AAW5B,MAAM,kBAAkB,GAAG,IAAI,OAAO,EAA2B,CAAC;AAClE,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAAoC,CAAC;AAC/E,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IAC1C,gBAAgB;IAChB,eAAe;IACf,IAAI;IACJ,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,UAAU,oBAAoB,CAAC,KAAqB;IACxD,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GACZ,CAAC,IAAI,KAAK,SAAS,IAAI,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChE,gCAAgC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACzD,sBAAsB,CAAC,KAAK,CAAC;QAC7B,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACpC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAiB,EACjB,aAA4B,IAAI,CAAC,aAAa,EAAE,EAChD,OAA4B,IAAI,GAAG,EAAE;IAErC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,0BAA0B,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;YACzF,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,0BAA0B,CACjC,IAA0B,EAC1B,UAAyB,EACzB,IAAyB;IAEzB,IAAI,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,OAAO,IAAI,KAAK,UAAU,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,6BAA6B,CACpC,IAA0B,EAC1B,UAAyB,EACzB,IAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,0BAA0B,CAC7C,iBAAiB,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EACnD,IAAI,CACL,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC;IACnC,OAAO,WAAW;QAChB,CAAC,CAAC,yBAAyB,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,yBAAyB,CAChC,WAA8D,EAC9D,UAAyB,EACzB,IAAyB;IAEzB,IAAI,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,OAAO,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,MAAM,EAAE,EAAE,CACT,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,EAAE,CAAC,+BAA+B,CAAC,MAAM,CAAC;QAC1C,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;YACzE,MAAM,CAAC,IAAI,KAAK,SAAS;YACzB,sBAAsB,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB;IAClD,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiE,CAAC;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnD,6BAA6B,CAAC,IAAI,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;YACvE,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpD,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;YACT,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC3D,sBAAsB,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACrD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAiC,EACjC,IAAY,EACZ,WAAwB;IAExB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACtC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,mBAAmB,CAAC,IAA0B;IACrD,OAAO,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO,CAAC;AAC3F,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAiB,EAAE,kBAA+B;IAChF,KAAK,MAAM,QAAQ,IAAI,2BAA2B,EAAE,CAAC;QACnD,kBAAkB,CAAC,GAAG,CAAC,GAAG,SAAS,IAAI,QAAQ,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,YAA6B,EAC7B,kBAA+B;IAE/B,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC;QACtB,sBAAsB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC;IAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAyB,EAAE,kBAA+B;IACpF,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QACjE,IAAI,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9C,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,YAAoC,EACpC,SAAkB;IAElB,IAAI,YAAY,GAAmB,IAAI,CAAC;IACxC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC;YACvF,YAAY,GAAG,KAAK,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,YAAY,KAAK,IAAI;QAC1B,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,YAAY,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,gBAAgB,CAAC,WAA2B;IACnD,KAAK,IAAI,IAAI,GAAwB,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAClF,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC,aAAa,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,gCAAgC,CAAC,WAAsC;IAC9E,MAAM,KAAK,GAAG,WAAW,IAAI,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC7D,yBAAyB,CAAC,KAAK,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAqB;IACnD,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,QAAQ;YACR,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YACjC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EACzC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,QAAQ;YACN,QAAQ,KAAK,SAAS;gBACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;oBAChE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,yBAAyB,CAAC,QAAQ,CAAC;oBACzE,CAAC,CAAC,iCAAiC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,yBAAyB,CAAC,QAAkD;IACnF,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,mCAAmC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1D,IACE,CAAC,QAAQ;YACT,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,UAAU;YACf,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,EACxC,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAyB,EACzB,OAA4B,IAAI,GAAG,EAAE;IAErC,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CACL,uBAAuB,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC;YAC7C,uBAAuB,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAC/C,CAAC;IACJ,CAAC;IACD,IACE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC5B,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;YAC/D,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACtD,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,EACrE,CAAC;QACD,OAAO,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAoB,EAAE,IAAyB;IAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,0BAA0B,CAC7C,iBAAiB,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EACrE,KAAK,CACN,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IACrC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC;IACrF,OAAO,CACL,WAAW,KAAK,KAAK;QACrB,WAAW,KAAK,SAAS;QACzB,uBAAuB,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,QAAQ;YACR,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,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACxB,QAAQ;YACN,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;gBAC3F,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC;gBAC9D,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAC9B,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;oBAClC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;oBAC/B,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iCAAiC,CAAC,UAAyB;IAClE,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CACL,iCAAiC,CAAC,KAAK,CAAC,QAAQ,CAAC;YACjD,iCAAiC,CAAC,KAAK,CAAC,SAAS,CAAC,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAC1B,CAAC,QAAQ,EAAE,EAAE,CACX,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;YAChC,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAChC,iCAAiC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CACxB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,iCAAiC,CAAC,OAAO,CAAC,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/child-contract/array-item-callbacks.d.ts

@@ -0,0 +1,11 @@
+import type { CallbackContractSourceResolver, CallbackDeferral, CallbackTrace, ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export interface ArrayItemCallbackQuery {
+    readonly callbackProp: string;
+    readonly propName: string;
+    readonly resolver: CallbackContractSourceResolver | undefined;
+    readonly source: ChildComponentSource;
+}
+export declare function arrayItemCallbackIsDeferred({ callbackProp, propName, resolver, source }: ArrayItemCallbackQuery, deferral: CallbackDeferral): boolean;
+export declare function deferredArrayItemCallbackPublication(source: ChildComponentSource, callback: ts.Expression, trace: CallbackTrace): boolean | null;
+//# sourceMappingURL=array-item-callbacks.d.ts.map

package/dist/src/rules/child-contract/array-item-callbacks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-item-callbacks.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/array-item-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,8BAA8B,EAC9B,gBAAgB,EAChB,aAAa,EACb,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAuBpB,OAAO,EAAE,MAAM,YAAY,CAAC;AAkB5B,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;CACvC;AAED,wBAAgB,2BAA2B,CACzC,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,sBAAsB,EACpE,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAoBT;AA+MD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,oBAAoB,EAC5B,QAAQ,EAAE,EAAE,CAAC,UAAU,EACvB,KAAK,EAAE,aAAa,GACnB,OAAO,GAAG,IAAI,CAgBhB"}