(tool: Tool | undefined)
| 70 | } |
| 71 | |
| 72 | function resolveUserFacingName(tool: Tool | undefined): string | null { |
| 73 | if (!tool) return null |
| 74 | try { |
| 75 | return normalizeUserFacingName(tool.userFacingName(undefined)) |
| 76 | } catch { |
| 77 | return tool.name |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | function sortToolNames(names: Iterable<string>): string[] { |
| 82 | return sortToolsByPolicy([...new Set(names)].map(name => ({ name }))).map( |
no test coverage detected