(name: string)
| 343 | |
| 344 | /** Remove every tool whose name starts with the given prefix. Returns count removed. */ |
| 345 | unregisterByPrefix(prefix: string): number { |
| 346 | let count = 0; |
| 347 | for (const name of Array.from(this.tools.keys())) { |
| 348 | if (name.startsWith(prefix)) { |
| 349 | this.tools.delete(name); |
| 350 | count++; |
no test coverage detected