Method visitFunctionBody

src/extraction/tree-sitter.ts:4345–4473

(body: SyntaxNode, _functionId: string)

  }

  private visitFunctionBody(body: SyntaxNode, _functionId: string): void {
    if (!this.extractor) return;

    const visitForCallsAndStructure = (node: SyntaxNode): void => {
      const nodeType = node.type;

      // Function-as-value capture (#756) — function bodies are walked here,
      // not in visitNode, so the capture hook must fire in both walkers.
      this.maybeCaptureFnRefs(node, nodeType);

      // Rocket route-registration macros (`routes![…]` / `catchers![…]`): the
      // handler paths live in a raw token tree the call walker can't see.
      if (nodeType === 'macro_invocation') this.extractRustRouteMacro(node);

      if (this.extractor!.callTypes.includes(nodeType)) {
        this.extractCall(node);
      } else if (INSTANTIATION_KINDS.has(nodeType)) {
        // `new Foo()` inside a function body — emit an `instantiates`
        // reference. Without this branch the body walker only knew
        // about `call_expression`, so constructor invocations
        // produced no graph edges at all.
        this.extractInstantiation(node);
        // Anonymous class with body: `new T() { ... }` (Java/C#). Extract as
        // a class so interface-impl synthesis (Phase 5.5) can bridge T's
        // methods to the overrides — same rationale as in visitNode.
        const anonBody = this.findAnonymousClassBody(node);
        if (anonBody) {
          this.extractAnonymousClass(node, anonBody);
          return;
        }
      } else if (this.extractor!.extractBareCall) {
        const calleeName = this.extractor!.extractBareCall(node, this.source);
        if (calleeName && this.nodeStack.length > 0) {
          const callerId = this.nodeStack[this.nodeStack.length - 1];
          if (callerId) {
            this.unresolvedReferences.push({
              fromNodeId: callerId,
              referenceName: calleeName,
              referenceKind: 'calls',
              line: node.startPosition.row + 1,
              column: node.startPosition.column,
            });
          }
        }
      }

      // C++ stack / direct-initialization construction — `Calculator calc(0)`
      // and `Widget w{1, 2}`. Unlike heap `new Calculator(0)` (a new_expression
      // handled above), these carry the constructor arguments directly on the
      // declarator with NO call/new node, so the body walker saw no constructor
      // invocation and recorded no `instantiates` edge (#1035). A declaration's
      // `type` field IS the constructed class name, so reuse extractInstantiation
      // (which strips template args / namespace and emits the `instantiates`
      // ref). Children still recurse below, so a nested ctor-arg call
      // (`Calculator calc(make())`) keeps its own `calls` ref.
      if (nodeType === 'declaration' && this.language === 'cpp' && this.isCppStackConstruction(node)) {
        this.extractInstantiation(node);
      }