Function effectLink

src/ui-server/api/steps.ts:897–980

(
    step: StepRecord,
    fold: Fold,
    ref: { referenceName: string; referenceKind: 'calls' | 'instantiates'; line: number; column?: number },
    trigger: WireStepTrigger | null,
    fallbackArgs: string | null = null,
    requireReceiver = false,
    /** A site that is no call — a handler's `return "redirect:/x"` — arrives already classified. */
    preset: { effect: Effect; status: number | null } | null = null
  )

  /** One effect site: the call as written, what it passes, when, what fires it, and — for a response — the status. */
  const effectLink = async (
    step: StepRecord,
    fold: Fold,
    ref: { referenceName: string; referenceKind: 'calls' | 'instantiates'; line: number; column?: number },
    trigger: WireStepTrigger | null,
    fallbackArgs: string | null = null,
    requireReceiver = false,
    /** A site that is no call — a handler's `return "redirect:/x"` — arrives already classified. */
    preset: { effect: Effect; status: number | null } | null = null
  ): Promise<boolean> => {
    const at = { line: ref.line, column: ref.column };
    const site = preset ? null : await callAt(fold.node, { ...at, callee: ref.referenceName });
    // The site read must be THIS call: its last segment is the reference's.
    const last = (n: string) => n.replace(/\([^()]*\)/g, '').split(/[.:]/).pop() ?? n;
    const usable = !!site && site.callee !== '' && last(site.callee) === last(ref.referenceName);
    const text = usable ? site.callee : ref.referenceName;
    if (requireReceiver && !/[.:>]/.test(text)) return false;
    const args = usable ? site.args : fallbackArgs;
    // The receiver's declared type counts only when the call leaves the
    // index through it: a library's `Repository<Cat>`, or the project's own
    // `OwnerRepository` interface whose `save` comes from Spring Data — never
    // a project class that declares the method, which is a place to walk into.
    let effect: Effect | null = preset?.effect ?? null;
    if (!preset) {
      const declared = await receiverTypeFor(fold.node, text);
      const receiverType = declared && (await resolveByReceiver(fold.node, text)) === null ? declared : null;
      effect = classifyEffect({
        text,
        kind: ref.referenceKind,
        language: fold.node.language,
        project,
        receiverType,
        args,
        projectType: fold.node.language === 'swift' && (await declaresSwiftType(text)),
      });
    }
    if (effect === null) return false;
    // A reply's status, read before its box exists — the box is per outcome.
    // `NextResponse.json(user, { status: 201 })`: the code sits in an object
    // the abbreviation reduced to its keys; the site reader kept it. And a
    // body-sending reply that sets none is a 200, so a success has a box of
    // its own beside the 401's.
    const status = preset
      ? preset.status
      : effect.category === 'response'
        ? (responseStatus(text, args, ref.referenceKind) ?? (usable && typeof site.status === 'number' ? site.status : null) ?? implicitResponseStatus(text))
        : null;
    // What fires this call, read before its box is made: a call bound inside
    // ANOTHER effect's arguments — the axios.delete in a confirm dialog's
    // button — hangs off that box, one step deeper, not off the screen.
    const fired = trigger ?? (await triggerAt(fold.node, at));
    const from = fired?.of ? (firedByEffect(fold.node.id, at, fired.of) ?? step) : step;
    const target = effectStep(fold.node, { referenceName: text, line: ref.line }, effect, from.depth + 1, status);
    if (target === null) return true;
    const guards = await guardsAt(fold.node, at);
    const when = guardLabel(guards);
    const wireSite: WireStepSite = { file: posix(fold.node.filePath), line: ref.line, text, when: '' };
    if (args !== null) wireSite.args = args;