* Counts unique files from an array of locations
(locations: Location[])
| 529 | * Counts unique files from an array of locations |
| 530 | */ |
| 531 | function countUniqueFiles(locations: Location[]): number { |
| 532 | return new Set(locations.map(loc => loc.uri)).size |
| 533 | } |
| 534 | |
| 535 | /** |
| 536 | * Extracts a file path from a file:// URI, decoding percent-encoded characters. |