legend-doctor 0.1.0

package/dist/src/rules/child-contract/expression-stages.js

@@ -0,0 +1,218 @@
+import { CALLBACK_IDENTITY_HOOKS, reactNamespacesFor } from "./callback-identity-hooks.js";
+import { atJsxInvocation, jsxOwnerIsDeferredEventTarget, jsxOwnerTarget } from "./jsx-owner.js";
+import { callbackInvocationIsDeferred, callbackIsDeferredByJsx } from "./invocation-trace.js";
+import { climbTransparentExpression, directConstAlias } from "./carried-values.js";
+import { directCallArgument, forwardedObjectCall, returnedCallbackPath, } from "./hook-boundary-paths.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin } from "../../core/ast.js";
+import { callbackReferenceIsObservationOnly } from "./observation-only-reads.js";
+import { contextPropertyConsumersAreDeferred } from "./context-consumers.js";
+import { deeperTrace } from "./model.js";
+import { deferredArrayItemCallbackPublication } from "./array-item-callbacks.js";
+import { isHookDependencyReference } from "../state-proofs/callback-sites.js";
+import { jsxAttributeCarriesCallbackIdentity } from "./jsx-event-attributes.js";
+import { memoizedContextPublication } from "./context-publication.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function constAliasStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const alias = directConstAlias(value, source.owner);
+    return alias
+        ? trace.deferral.trackedPath(source, { name: alias.text, path }, deeperTrace(trace, trace.returnTarget))
+        : null;
+}
+function returnTargetStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const { returnTarget } = trace;
+    if (!returnTarget) {
+        return null;
+    }
+    const returnedPath = returnedCallbackPath(value, path, source.owner);
+    if (returnedPath === "ignored") {
+        return true;
+    }
+    return returnedPath &&
+        callResultCallbackIsDeferred(returnTarget, returnedPath, deeperTrace(trace, null))
+        ? true
+        : null;
+}
+function jsxAttributeIsDeferredEvent(attribute, source, trace) {
+    const target = jsxOwnerTarget(attribute);
+    return (jsxOwnerIsDeferredEventTarget(attribute, source) ||
+        (target !== null && trace.resolver.frameworkEventComponent(source.file, target)));
+}
+function childInputIsDeferred(options) {
+    const { attribute, path, probe } = options;
+    const { source, trace } = probe;
+    const target = jsxOwnerTarget(attribute);
+    const child = target ? trace.resolver.resolveComponent(source.file, target) : null;
+    return (child !== null &&
+        trace.deferral.sourceInput({
+            argumentIndex: 0,
+            path,
+            source: atJsxInvocation(child, attribute, source),
+            trace: deeperTrace(trace, null),
+        }));
+}
+function jsxAttributeStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const attribute = findAncestorUntil(value, ts.isJsxAttribute, source.owner);
+    if (!attribute?.initializer ||
+        !nodeWithin(value, attribute.initializer) ||
+        !jsxAttributeCarriesCallbackIdentity(attribute, value)) {
+        return null;
+    }
+    const prop = attribute.name.getText();
+    if (path.length === 0 &&
+        /^on[A-Z]/u.test(prop) &&
+        jsxAttributeIsDeferredEvent(attribute, source, trace)) {
+        return true;
+    }
+    return childInputIsDeferred({ attribute, path: [prop, ...path], probe });
+}
+function jsxSpreadStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const spread = findAncestorUntil(value, ts.isJsxSpreadAttribute, source.owner);
+    if (!spread ||
+        !nodeWithin(value, spread.expression) ||
+        unwrapTransparentExpression(spread.expression) !== unwrapTransparentExpression(value)) {
+        return null;
+    }
+    if (jsxOwnerTarget(spread) !== null &&
+        path.length === 1 &&
+        /^on[A-Z]/u.test(path[0] ?? "") &&
+        jsxAttributeIsDeferredEvent(spread, source, trace)) {
+        return true;
+    }
+    return childInputIsDeferred({ attribute: spread, path, probe });
+}
+function hookDependencyStage(probe) {
+    const { expression: value, source } = probe;
+    return ts.isIdentifier(value) &&
+        isHookDependencyReference(value, CALLBACK_IDENTITY_HOOKS, reactNamespacesFor(source.owner.getSourceFile()))
+        ? true
+        : null;
+}
+function observationOnlyStage(probe) {
+    return probe.path.length === 0 && callbackReferenceIsObservationOnly(probe.expression)
+        ? true
+        : null;
+}
+function arrayPublicationStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    if (path.length > 0) {
+        return null;
+    }
+    return deferredArrayItemCallbackPublication(source, value, trace);
+}
+function contextPublicationStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    if (path.length > 0) {
+        return null;
+    }
+    const publication = memoizedContextPublication(value, source.owner);
+    if (!publication) {
+        return null;
+    }
+    return contextPropertyConsumersAreDeferred({
+        contextName: publication.contextName,
+        property: publication.property,
+        providerFile: source.file,
+        trace: deeperTrace(trace, null),
+    })
+        ? true
+        : null;
+}
+function nestedCallbackStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    if (path.length > 0) {
+        return null;
+    }
+    const callback = nearestNestedFunction(value, source.owner);
+    if (!callback ||
+        (!ts.isArrowFunction(callback) &&
+            !ts.isFunctionDeclaration(callback) &&
+            !ts.isFunctionExpression(callback))) {
+        return null;
+    }
+    const deferred = callbackIsDeferredByJsx(callback, source, deeperTrace(trace, null)) ||
+        callbackInvocationIsDeferred({
+            callback,
+            deferral: trace.deferral,
+            deferredCallbackHooks: source.deferredCallbackHooks,
+            depth: trace.depth + 1,
+            owner: source.owner,
+            resolver: trace.resolver,
+            seenCallbacks: new Set(),
+            source,
+            visited: trace.visited,
+        });
+    return deferred ? true : null;
+}
+function forwardedObjectStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const objectForward = forwardedObjectCall(value, source.owner);
+    if (!objectForward) {
+        return null;
+    }
+    const hook = trace.resolver.resolveHook(source.file, objectForward.hookName);
+    return (hook !== null &&
+        trace.deferral.sourceInput({
+            argumentIndex: objectForward.argumentIndex,
+            path: [objectForward.property, ...path],
+            source: hook,
+            trace: deeperTrace(trace, { call: objectForward.call, source }),
+        }));
+}
+function directCallStage(probe) {
+    const { expression: value, path, source, trace } = probe;
+    const directCall = directCallArgument(value, source.owner);
+    if (!directCall) {
+        return null;
+    }
+    if (path.length === 0 &&
+        trace.resolver.hookCallbackIsDeferred(source.file, directCall.hookName, directCall.argumentIndex)) {
+        return true;
+    }
+    const hook = trace.resolver.resolveHook(source.file, directCall.hookName);
+    return (hook !== null &&
+        trace.deferral.sourceInput({
+            argumentIndex: directCall.argumentIndex,
+            path,
+            source: hook,
+            trace: deeperTrace(trace, { call: directCall.call, source }),
+        }));
+}
+const CALLBACK_EXPRESSION_STAGES = [
+    constAliasStage,
+    returnTargetStage,
+    jsxAttributeStage,
+    jsxSpreadStage,
+    hookDependencyStage,
+    observationOnlyStage,
+    arrayPublicationStage,
+    contextPublicationStage,
+    nestedCallbackStage,
+    forwardedObjectStage,
+    directCallStage,
+];
+export function callbackPathExpressionIsDeferred(probe) {
+    const resolved = {
+        expression: climbTransparentExpression(probe.expression),
+        path: probe.path,
+        source: probe.source,
+        trace: probe.trace,
+    };
+    for (const stage of CALLBACK_EXPRESSION_STAGES) {
+        const verdict = stage(resolved);
+        if (verdict !== null) {
+            return verdict;
+        }
+    }
+    return false;
+}
+function callResultCallbackIsDeferred(target, path, trace) {
+    const expression = climbTransparentExpression(target.call);
+    const alias = directConstAlias(expression, target.source.owner);
+    return (alias !== null && trace.deferral.trackedPath(target.source, { name: alias.text, path }, trace));
+}
+//# sourceMappingURL=expression-stages.js.map

package/dist/src/rules/child-contract/expression-stages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-stages.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/expression-stages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAO3F,OAAO,EAAE,eAAe,EAAE,6BAA6B,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,EAAE,4BAA4B,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,mCAAmC,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,oCAAoC,EAAE,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mCAAmC,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,SAAS,eAAe,CAAC,KAA8B;IACrD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,KAAK;QACV,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CACxB,MAAM,EACN,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAC1B,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CACvC;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B;IACvD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACrE,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY;QACjB,4BAA4B,CAAC,YAAY,EAAE,YAAY,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClF,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAkD,EAClD,MAA4B,EAC5B,KAAoB;IAEpB,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,OAAO,CACL,6BAA6B,CAAC,SAAS,EAAE,MAAM,CAAC;QAChD,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CACjF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,OAI7B;IACC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAChC,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YACzB,aAAa,EAAE,CAAC;YAChB,IAAI;YACJ,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;YACjD,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC;SAChC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA8B;IACvD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5E,IACE,CAAC,SAAS,EAAE,WAAW;QACvB,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC;QACzC,CAAC,mCAAmC,CAAC,SAAS,EAAE,KAAK,CAAC,EACtD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B;IACpD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/E,IACE,CAAC,MAAM;QACP,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;QACrC,2BAA2B,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,2BAA2B,CAAC,KAAK,CAAC,EACrF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,cAAc,CAAC,MAAM,CAAC,KAAK,IAAI;QAC/B,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/B,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oBAAoB,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC5C,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAC3B,yBAAyB,CACvB,KAAK,EACL,uBAAuB,EACvB,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CACjD;QACD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,kCAAkC,CAAC,KAAK,CAAC,UAAU,CAAC;QACpF,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA8B;IAC3D,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,oCAAoC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA8B;IAC7D,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,0BAA0B,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,mCAAmC,CAAC;QACzC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,QAAQ,EAAE,WAAW,CAAC,QAAQ;QAC9B,YAAY,EAAE,MAAM,CAAC,IAAI;QACzB,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC;KAChC,CAAC;QACA,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,IACE,CAAC,QAAQ;QACT,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,QAAQ,GACZ,uBAAuB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnE,4BAA4B,CAAC;YAC3B,QAAQ;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;YACnD,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC;YACtB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,aAAa,EAAE,IAAI,GAAG,EAAE;YACxB,MAAM;YACN,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7E,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YACzB,aAAa,EAAE,aAAa,CAAC,aAAa;YAC1C,IAAI,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC;YACvC,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;SAChE,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAA8B;IACrD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACzD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,KAAK,CAAC,QAAQ,CAAC,sBAAsB,CACnC,MAAM,CAAC,IAAI,EACX,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,aAAa,CACzB,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC1E,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YACzB,aAAa,EAAE,UAAU,CAAC,aAAa;YACvC,IAAI;YACJ,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;SAC7D,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,0BAA0B,GAC9B;IACE,eAAe;IACf,iBAAiB;IACjB,iBAAiB;IACjB,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,qBAAqB;IACrB,uBAAuB;IACvB,mBAAmB;IACnB,oBAAoB;IACpB,eAAe;CAChB,CAAC;AAEJ,MAAM,UAAU,gCAAgC,CAAC,KAA8B;IAC7E,MAAM,QAAQ,GAA4B;QACxC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QACxD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,0BAA0B,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,4BAA4B,CACnC,MAA4B,EAC5B,IAAuB,EACvB,KAAoB;IAEpB,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChE,OAAO,CACL,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAC/F,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/higher-order-factories.d.ts

@@ -0,0 +1,4 @@
+import type { CallbackTrace, ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function higherOrderCallDefersCallback(callback: ts.Identifier, source: ChildComponentSource, trace: CallbackTrace): boolean;
+//# sourceMappingURL=higher-order-factories.d.ts.map

package/dist/src/rules/child-contract/higher-order-factories.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"higher-order-factories.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/higher-order-factories.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,aAAa,EACb,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAyBpB,OAAO,EAAE,MAAM,YAAY,CAAC;AAsB5B,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,EAAE,CAAC,UAAU,EACvB,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,aAAa,GACnB,OAAO,CAkBT"}

package/dist/src/rules/child-contract/higher-order-factories.js

@@ -0,0 +1,202 @@
+import { bindingDeclarationCount, hookCallName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { bindingElementPropertyName, isBindingName, propertyName } from "./prop-bindings.js";
+import { climbTransparentExpression, isNullishExpression, objectLiteralPropertyValue, } from "./carried-values.js";
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike, nearestNestedFunction, nodeWithin, visit, } from "../../core/ast.js";
+import { MAX_CALLBACK_PATH_DEPTH } from "./model.js";
+import { callbackReferenceIsObservationOnly } from "./observation-only-reads.js";
+import { jsxAttributeDirectlyCarries } from "./jsx-owner.js";
+import { jsxEventAttributeIsDeferred } from "./jsx-event-attributes.js";
+import ts from "typescript";
+function higherOrderFactoryDefersArgument(options) {
+    const { argumentIndex, call, resolver, source } = options;
+    const callee = call.expression;
+    if (!ts.isIdentifier(callee) || bindingDeclarationCount(source.owner, callee.text) !== 1) {
+        return false;
+    }
+    const hookBinding = returnedHookFunctionBinding(source.owner, callee.text);
+    if (!hookBinding) {
+        return false;
+    }
+    const hook = resolver.resolveHook(source.file, hookBinding.hookName);
+    const factory = hook ? returnedLocalFunction(hook, hookBinding.property) : null;
+    return factory !== null && higherOrderFunctionDefersParameter(factory, argumentIndex);
+}
+export function higherOrderCallDefersCallback(callback, source, trace) {
+    if (trace.depth > MAX_CALLBACK_PATH_DEPTH) {
+        return false;
+    }
+    const call = findAncestor(callback, ts.isCallExpression);
+    if (!call || nodeWithin(callback, call.expression)) {
+        return false;
+    }
+    const argumentIndex = call.arguments.findIndex((argument) => nodeWithin(callback, argument));
+    if (argumentIndex === -1 || !callResultIsDeferredEvent(call, source, trace)) {
+        return false;
+    }
+    return higherOrderFactoryDefersArgument({
+        argumentIndex,
+        call,
+        resolver: trace.resolver,
+        source,
+    });
+}
+function deferredEventResultExpression(call, source) {
+    const result = climbTransparentExpression(call);
+    const { parent } = result;
+    if (!ts.isConditionalExpression(parent) ||
+        (parent.whenTrue !== result && parent.whenFalse !== result)) {
+        return result;
+    }
+    const other = parent.whenTrue === result ? parent.whenFalse : parent.whenTrue;
+    return isNullishExpression(other, source.owner) ? parent : null;
+}
+function callResultIsDeferredEvent(call, source, trace) {
+    const result = deferredEventResultExpression(call, source);
+    if (!result) {
+        return false;
+    }
+    const attribute = findAncestorUntil(result, ts.isJsxAttribute, source.owner);
+    if (!attribute ||
+        !/^on[A-Z]/u.test(attribute.name.getText()) ||
+        !jsxAttributeDirectlyCarries(attribute, result)) {
+        return false;
+    }
+    return jsxEventAttributeIsDeferred(attribute, source, trace);
+}
+function returnedHookFunctionBinding(owner, localName) {
+    let binding = null;
+    visit(owner.body, (node) => {
+        if (binding ||
+            !ts.isVariableDeclaration(node) ||
+            !ts.isObjectBindingPattern(node.name) ||
+            !node.initializer) {
+            return;
+        }
+        const matches = node.name.elements.filter((element) => ts.isIdentifier(element.name) && element.name.text === localName);
+        const match = matches.length === 1 ? matches[0] : null;
+        const call = unwrapTransparentExpression(node.initializer);
+        const hookName = ts.isCallExpression(call) ? hookCallName(call) : null;
+        const property = match ? bindingElementPropertyName(match) : null;
+        if (hookName && property) {
+            binding = { hookName, property };
+        }
+    });
+    return binding;
+}
+function returnedObjectPropertyValue(expression, property) {
+    const returned = unwrapTransparentExpression(expression);
+    if (!ts.isObjectLiteralExpression(returned)) {
+        return null;
+    }
+    const matches = returned.properties.filter((member) => (ts.isPropertyAssignment(member) || ts.isShorthandPropertyAssignment(member)) &&
+        propertyName(member.name) === property);
+    const match = matches.length === 1 ? matches[0] : null;
+    const value = objectLiteralPropertyValue(match);
+    return value && ts.isIdentifier(value) ? value : null;
+}
+function soleReturnedPropertyName(source, property) {
+    const names = new Set();
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe || !ts.isReturnStatement(node) || !node.expression) {
+            return;
+        }
+        if (findAncestor(node, isRuntimeFunctionLike) !== source.owner) {
+            return;
+        }
+        const value = returnedObjectPropertyValue(node.expression, property);
+        if (!value) {
+            safe = false;
+            return;
+        }
+        names.add(value.text);
+    });
+    const [name] = names;
+    return safe && names.size === 1 && name ? name : null;
+}
+function localFunctionInitializer(initializer, owner) {
+    const value = unwrapTransparentExpression(initializer);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value)) {
+        return value;
+    }
+    const [argument] = ts.isCallExpression(value) ? value.arguments : [];
+    if (!ts.isCallExpression(value) ||
+        hookCallName(value) !== "useCallback" ||
+        bindingDeclarationCount(owner, "useCallback") !== 0 ||
+        !argument ||
+        (!ts.isArrowFunction(argument) && !ts.isFunctionExpression(argument))) {
+        return null;
+    }
+    return argument;
+}
+function localFunctionNamed(source, name) {
+    let result = null;
+    visit(source.owner.body, (node) => {
+        if (result) {
+            return;
+        }
+        if (ts.isFunctionDeclaration(node) && node.name?.text === name) {
+            result = node;
+            return;
+        }
+        if (!ts.isVariableDeclaration(node) ||
+            !ts.isIdentifier(node.name) ||
+            node.name.text !== name ||
+            !node.initializer) {
+            return;
+        }
+        result = localFunctionInitializer(node.initializer, source.owner);
+    });
+    return result;
+}
+function returnedLocalFunction(source, property) {
+    const name = soleReturnedPropertyName(source, property);
+    if (!name || bindingDeclarationCount(source.owner, name) !== 1) {
+        return null;
+    }
+    return localFunctionNamed(source, name);
+}
+function higherOrderFunctionDefersParameter(factory, argumentIndex) {
+    const parameter = factory.parameters[argumentIndex];
+    if (!parameter || !ts.isIdentifier(parameter.name)) {
+        return false;
+    }
+    const parameterName = parameter.name.text;
+    let references = 0;
+    let safe = true;
+    visit(factory.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== parameterName ||
+            isBindingName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        if (callbackReferenceIsObservationOnly(node)) {
+            return;
+        }
+        const call = findAncestorUntil(node, ts.isCallExpression, factory);
+        const wrapper = nearestNestedFunction(node, factory);
+        if (!call ||
+            nodeWithin(node, call.expression) === false ||
+            !wrapper ||
+            (!ts.isArrowFunction(wrapper) && !ts.isFunctionExpression(wrapper)) ||
+            !functionIsDirectlyReturned(wrapper, factory)) {
+            safe = false;
+        }
+    });
+    return safe && references > 0;
+}
+function functionIsDirectlyReturned(callback, owner) {
+    if (!owner.body) {
+        return false;
+    }
+    if (!ts.isBlock(owner.body)) {
+        return unwrapTransparentExpression(owner.body) === callback;
+    }
+    const statement = findAncestorUntil(callback, ts.isReturnStatement, owner);
+    return (statement?.expression !== undefined &&
+        unwrapTransparentExpression(statement.expression) === callback);
+}
+//# sourceMappingURL=higher-order-factories.js.map

package/dist/src/rules/child-contract/higher-order-factories.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"higher-order-factories.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/higher-order-factories.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0BAA0B,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,UAAU,EACV,KAAK,GACN,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,gCAAgC,CAAC,OAKzC;IACC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChF,OAAO,OAAO,KAAK,IAAI,IAAI,kCAAkC,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,QAAuB,EACvB,MAA4B,EAC5B,KAAoB;IAEpB,IAAI,KAAK,CAAC,KAAK,GAAG,uBAAuB,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7F,IAAI,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,gCAAgC,CAAC;QACtC,aAAa;QACb,IAAI;QACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAuB,EACvB,MAA4B;IAE5B,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;QACnC,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,EAC3D,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;IAC9E,OAAO,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAuB,EACvB,MAA4B,EAC5B,KAAoB;IAEpB,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7E,IACE,CAAC,SAAS;QACV,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3C,CAAC,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAoC,EACpC,SAAiB;IAEjB,IAAI,OAAO,GAAkD,IAAI,CAAC;IAClE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,OAAO;YACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,CAAC,IAAI,CAAC,WAAW,EACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAC9E,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,MAAM,IAAI,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;YACzB,OAAO,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACnC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,2BAA2B,CAClC,UAAyB,EACzB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CACxC,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC;QAC7E,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,CACzC,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA4B,EAAE,QAAgB;IAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YAC7D,OAAO;QACT,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;YAC/D,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,OAAO,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,wBAAwB,CAC/B,WAA0B,EAC1B,KAAoC;IAEpC,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC3B,YAAY,CAAC,KAAK,CAAC,KAAK,aAAa;QACrC,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC;QACnD,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,MAA4B,EAC5B,IAAY;IAEZ,IAAI,MAAM,GAA6E,IAAI,CAAC;IAC5F,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;YAC/D,MAAM,GAAG,IAAI,CAAC;YACd,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YACvB,CAAC,IAAI,CAAC,WAAW,EACjB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAA4B,EAC5B,QAAgB;IAEhB,MAAM,IAAI,GAAG,wBAAwB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,kCAAkC,CACzC,OAA0E,EAC1E,aAAqB;IAErB,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACpD,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,aAAa;YAC3B,aAAa,CAAC,IAAI,CAAC;YACnB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,kCAAkC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,IACE,CAAC,IAAI;YACL,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,KAAK;YAC3C,CAAC,OAAO;YACR,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;YACnE,CAAC,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAkD,EAClD,KAAwE;IAExE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC;IAC9D,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAC3E,OAAO,CACL,SAAS,EAAE,UAAU,KAAK,SAAS;QACnC,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,QAAQ,CAC/D,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/hook-boundary-paths.d.ts

@@ -0,0 +1,16 @@
+import type { ChildComponentSource, TrackedCallbackPath } from "./model.js";
+import ts from "typescript";
+export declare function returnedCallbackPath(value: ts.Expression, path: readonly string[], owner: ChildComponentSource["owner"]): readonly string[] | "ignored" | null;
+export declare function destructuredCallbackPath(owner: ChildComponentSource["owner"], expression: ts.Expression, path: readonly string[]): TrackedCallbackPath | null;
+export declare function forwardedObjectCall(expression: ts.Expression, owner: ChildComponentSource["owner"]): {
+    argumentIndex: number;
+    call: ts.CallExpression;
+    hookName: string;
+    property: string;
+} | null;
+export declare function directCallArgument(expression: ts.Expression, owner: ChildComponentSource["owner"]): {
+    argumentIndex: number;
+    call: ts.CallExpression;
+    hookName: string;
+} | null;
+//# sourceMappingURL=hook-boundary-paths.d.ts.map

package/dist/src/rules/child-contract/hook-boundary-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-boundary-paths.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/hook-boundary-paths.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAU5E,OAAO,EAAE,MAAM,YAAY,CAAC;AA6D5B,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,EAAE,CAAC,UAAU,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,IAAI,CActC;AAED,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACpC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,mBAAmB,GAAG,IAAI,CAqB5B;AAeD,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAgB/F;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAQ7E"}

package/dist/src/rules/child-contract/hook-boundary-paths.js

@@ -0,0 +1,105 @@
+import { bindingElementPropertyName, propertyName } from "./prop-bindings.js";
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike, nodeWithin, } from "../../core/ast.js";
+import { hookCallName, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { expressionCarriesValue } from "./carried-values.js";
+import ts from "typescript";
+function valueIsDirectlyReturned(value, owner) {
+    const directReturn = findAncestorUntil(value, ts.isReturnStatement, owner);
+    return (directReturn?.expression !== undefined &&
+        findAncestor(directReturn, isRuntimeFunctionLike) === owner &&
+        unwrapTransparentExpression(directReturn.expression) === unwrapTransparentExpression(value));
+}
+function objectIsReturned(object, owner) {
+    const objectReturn = findAncestorUntil(object, ts.isReturnStatement, owner);
+    return (objectReturn?.expression !== undefined &&
+        findAncestor(objectReturn, isRuntimeFunctionLike) === owner &&
+        unwrapTransparentExpression(objectReturn.expression) === object);
+}
+function spreadMemberPath(returned) {
+    const { index, object, path } = returned;
+    const [head] = path;
+    if (!head) {
+        return path;
+    }
+    const overridden = object.properties
+        .slice(index + 1)
+        .some((candidate) => (ts.isPropertyAssignment(candidate) || ts.isShorthandPropertyAssignment(candidate)) &&
+        propertyName(candidate.name) === head);
+    return overridden ? "ignored" : path;
+}
+function returnedMemberPath(returned) {
+    const { member, path } = returned;
+    if (ts.isSpreadAssignment(member)) {
+        return spreadMemberPath(returned);
+    }
+    if (!ts.isPropertyAssignment(member) && !ts.isShorthandPropertyAssignment(member)) {
+        return null;
+    }
+    const property = propertyName(member.name);
+    return property ? [property, ...path] : null;
+}
+export function returnedCallbackPath(value, path, owner) {
+    if (valueIsDirectlyReturned(value, owner)) {
+        return path;
+    }
+    const object = findAncestorUntil(value, ts.isObjectLiteralExpression, owner);
+    if (!object || !objectIsReturned(object, owner)) {
+        return null;
+    }
+    const index = object.properties.findIndex((member) => nodeWithin(value, member));
+    const member = index === -1 ? null : object.properties[index];
+    if (!member) {
+        return null;
+    }
+    return returnedMemberPath({ index, member, object, path });
+}
+export function destructuredCallbackPath(owner, expression, path) {
+    const [head, ...tail] = path;
+    if (!head) {
+        return null;
+    }
+    const declaration = findAncestorUntil(expression, ts.isVariableDeclaration, owner);
+    if (!declaration?.initializer ||
+        !ts.isObjectBindingPattern(declaration.name) ||
+        !expressionCarriesValue(declaration.initializer, expression)) {
+        return null;
+    }
+    const matches = declaration.name.elements.filter((element) => !element.dotDotDotToken &&
+        ts.isIdentifier(element.name) &&
+        bindingElementPropertyName(element) === head);
+    const match = matches.length === 1 ? matches[0] : null;
+    return match && ts.isIdentifier(match.name) ? { name: match.name.text, path: tail } : null;
+}
+function forwardedObjectCallTarget(member, object, call) {
+    const argumentIndex = call.arguments.findIndex((argument) => nodeWithin(object, argument));
+    const hookName = hookCallName(call);
+    const property = propertyName(member.name);
+    return argumentIndex !== -1 && hookName && property
+        ? { argumentIndex, call, hookName, property }
+        : null;
+}
+export function forwardedObjectCall(expression, owner) {
+    const member = expression.parent;
+    if (!ts.isShorthandPropertyAssignment(member) &&
+        !(ts.isPropertyAssignment(member) && nodeWithin(expression, member.initializer))) {
+        return null;
+    }
+    const object = member.parent;
+    const call = ts.isObjectLiteralExpression(object)
+        ? findAncestorUntil(object, ts.isCallExpression, owner)
+        : null;
+    if (!call) {
+        return null;
+    }
+    return forwardedObjectCallTarget(member, object, call);
+}
+export function directCallArgument(expression, owner) {
+    const call = findAncestorUntil(expression, ts.isCallExpression, owner);
+    if (!call || nodeWithin(expression, call.expression)) {
+        return null;
+    }
+    const argumentIndex = call.arguments.findIndex((argument) => nodeWithin(expression, argument));
+    const hookName = hookCallName(call);
+    return argumentIndex !== -1 && hookName ? { argumentIndex, call, hookName } : null;
+}
+//# sourceMappingURL=hook-boundary-paths.js.map

package/dist/src/rules/child-contract/hook-boundary-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-boundary-paths.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/hook-boundary-paths.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,uBAAuB,CAC9B,KAAoB,EACpB,KAAoC;IAEpC,MAAM,YAAY,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAC3E,OAAO,CACL,YAAY,EAAE,UAAU,KAAK,SAAS;QACtC,YAAY,CAAC,YAAY,EAAE,qBAAqB,CAAC,KAAK,KAAK;QAC3D,2BAA2B,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,2BAA2B,CAAC,KAAK,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAkC,EAClC,KAAoC;IAEpC,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAC5E,OAAO,CACL,YAAY,EAAE,UAAU,KAAK,SAAS;QACtC,YAAY,CAAC,YAAY,EAAE,qBAAqB,CAAC,KAAK,KAAK;QAC3D,2BAA2B,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,MAAM,CAChE,CAAC;AACJ,CAAC;AASD,SAAS,gBAAgB,CAAC,QAAwB;IAChD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU;SACjC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;SAChB,IAAI,CACH,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,SAAS,CAAC,CAAC;QACnF,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CACxC,CAAC;IACJ,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAwB;IAClD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAoB,EACpB,IAAuB,EACvB,KAAoC;IAEpC,IAAI,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAoC,EACpC,UAAyB,EACzB,IAAuB;IAEvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IACnF,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,CAAC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC;QAC5C,CAAC,sBAAsB,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,EAC5D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAC9C,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,cAAc;QACvB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QAC7B,0BAA0B,CAAC,OAAO,CAAC,KAAK,IAAI,CAC/C,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,OAAO,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7F,CAAC;AAED,SAAS,yBAAyB,CAChC,MAA8D,EAC9D,MAAe,EACf,IAAuB;IAEvB,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,QAAQ,IAAI,QAAQ;QACjD,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAyB,EACzB,KAAoC;IAEpC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;QACzC,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,EAChF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAC/C,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,yBAAyB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,UAAyB,EACzB,KAAoC;IAEpC,MAAM,IAAI,GAAG,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IACvE,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC"}

package/dist/src/rules/child-contract/invocation-boolean-props.d.ts

@@ -0,0 +1,4 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function booleanPropAtInvocation(source: ChildComponentSource, binding: ts.Identifier): boolean | null;
+//# sourceMappingURL=invocation-boolean-props.d.ts.map

package/dist/src/rules/child-contract/invocation-boolean-props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocation-boolean-props.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/invocation-boolean-props.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAoC5B,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,oBAAoB,EAC5B,OAAO,EAAE,EAAE,CAAC,UAAU,GACrB,OAAO,GAAG,IAAI,CAsBhB"}