Method visitPascalBlock

src/extraction/tree-sitter.ts:6617–6650

* Recursively visit a Pascal block/statement tree for call expressions

(node: SyntaxNode)

   * Recursively visit a Pascal block/statement tree for call expressions
   */
  private visitPascalBlock(node: SyntaxNode): void {
    for (let i = 0; i < node.namedChildCount; i++) {
      const child = node.namedChild(i);
      if (!child) continue;
      // Function-as-value capture (#756): Pascal bodies are walked here, not
      // in visitNode/visitForCallsAndStructure, so the capture hook fires here
      // — assignment RHS is the Delphi event-wiring idiom (`OnFire := Handler`).
      this.maybeCaptureFnRefs(child, child.type);
      if (child.type === 'exprCall') {
        this.extractPascalCall(child);
        // The walker doesn't descend into a call's arguments — dispatch the
        // argument container directly (`RegisterHandler(TargetCb)` / `(@Cb)`).
        const args = child.namedChildren.find((c: SyntaxNode) => c.type === 'exprArgs');
        if (args) this.maybeCaptureFnRefs(args, 'exprArgs');
      } else if (child.type === 'exprDot') {
        // A STATEMENT-level bare exprDot is a paren-less call (`Obj.Free;`,
        // `TFoo.GetInstance.DoIt;`). Anywhere else (assignment side, condition,
        // expression) a bare exprDot is ambiguous with a field/property access,
        // so there we only descend for paren'd inner calls.
        if (node.type === 'statement') {
          this.extractPascalParenlessCall(child);
        } else {
          for (let j = 0; j < child.namedChildCount; j++) {
            const grandchild = child.namedChild(j);
            if (grandchild?.type === 'exprCall') {
              this.extractPascalCall(grandchild);
            }
          }
        }
      } else {
        this.visitPascalBlock(child);
      }
    }
  }
}