( message: CollapsedReadSearchGroup, )
| 496 | * Get all tool use IDs from a collapsed read/search group. |
| 497 | */ |
| 498 | export function getToolUseIdsFromCollapsedGroup( |
| 499 | message: CollapsedReadSearchGroup, |
| 500 | ): string[] { |
| 501 | const ids: string[] = [] |
| 502 | for (const msg of message.messages) { |
| 503 | ids.push(...getToolUseIdsFromMessage(msg)) |
| 504 | } |
| 505 | return ids |
| 506 | } |
| 507 | |
| 508 | /** |
| 509 | * Check if any tool in a collapsed group is in progress. |
no test coverage detected