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