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