(File folder)
| 623 | static Set<String> duplicateLibraries = new HashSet<>(); |
| 624 | |
| 625 | static public List<Library> list(File folder) { |
| 626 | List<Library> libraries = new ArrayList<>(); |
| 627 | List<File> librariesFolders = new ArrayList<>(discover(folder)); |
| 628 | |
| 629 | Map<String, File> seen = new HashMap<>(); |
| 630 | for (File baseFolder : librariesFolders) { |
| 631 | Library lib = new Library(baseFolder); |
| 632 | String name = lib.getName(); |
| 633 | File foundEarlier = seen.get(name); |
| 634 | if (foundEarlier != null) { |
| 635 | // Warn the user about this duplication (later, on the EDT) |
| 636 | if (!duplicateLibraries.contains(name)) { |
| 637 | Messages.showWarningTiered("Duplicate Library Found", |
| 638 | "There are multiple libraries named “" + name + "”", |
| 639 | "Please remove either “" + foundEarlier.getName() + |
| 640 | " or “" + lib.getName() + "”\n" + |
| 641 | "from " + folder.getPath() + "\n" + |
| 642 | "and restart Processing.", null); |
| 643 | } |
| 644 | duplicateLibraries.add(name); |
| 645 | |
| 646 | } else { |
| 647 | seen.put(name, lib.getFolder()); |
| 648 | libraries.add(lib); |
| 649 | } |
| 650 | } |
| 651 | return libraries; |
| 652 | } |
| 653 | |
| 654 | |
| 655 | public ContributionType getType() { |
no test coverage detected