Searched refs:NameFilter (Results 1 – 1 of 1) sorted by relevance
112 public static class NameFilter implements FilenameFilter { class in ModuleRepo116 public NameFilter(String pattern) { in NameFilter() method in ModuleRepo.NameFilter579 String[] names = directory.list(new NameFilter(pattern)); in getModuleNamesMatching()