(commandRaw: unknown, argsRaw: unknown)
| 503 | } |
| 504 | |
| 505 | function formatCommandLine(commandRaw: unknown, argsRaw: unknown): string | null { |
| 506 | if (typeof commandRaw !== 'string' || !commandRaw.trim()) return null; |
| 507 | const command = commandRaw.trim(); |
| 508 | |
| 509 | const args = Array.isArray(argsRaw) |
| 510 | ? argsRaw.filter((item): item is string => typeof item === 'string') |
| 511 | : []; |
| 512 | |
| 513 | const full = args.length > 0 ? `${command} ${args.join(' ')}` : command; |
| 514 | return normalizeTextPrefix(full); |
| 515 | } |
| 516 | |
| 517 | function extractTargetFromToolTitle( |
| 518 | toolKind: ToolKind, |
no test coverage detected