( message: CollapsedReadSearchGroup, )
| 471 | * Get all tool use IDs from a collapsed read/search group. |
| 472 | */ |
| 473 | export function getToolUseIdsFromCollapsedGroup( |
| 474 | message: CollapsedReadSearchGroup, |
| 475 | ): string[] { |
| 476 | const ids: string[] = [] |
| 477 | for (const msg of message.messages) { |
| 478 | ids.push(...getToolUseIdsFromMessage(msg)) |
| 479 | } |
| 480 | return ids |
| 481 | } |
| 482 | |
| 483 | /** |
| 484 | * Check if any tool in a collapsed group is in progress. |
no test coverage detected