equal
deleted
inserted
replaced
1065 public String[] list(FilenameFilter filter) { |
1065 public String[] list(FilenameFilter filter) { |
1066 String names[] = list(); |
1066 String names[] = list(); |
1067 if ((names == null) || (filter == null)) { |
1067 if ((names == null) || (filter == null)) { |
1068 return names; |
1068 return names; |
1069 } |
1069 } |
1070 List<String> v = new ArrayList<String>(); |
1070 List<String> v = new ArrayList<>(); |
1071 for (int i = 0 ; i < names.length ; i++) { |
1071 for (int i = 0 ; i < names.length ; i++) { |
1072 if (filter.accept(this, names[i])) { |
1072 if (filter.accept(this, names[i])) { |
1073 v.add(names[i]); |
1073 v.add(names[i]); |
1074 } |
1074 } |
1075 } |
1075 } |
1156 * @since 1.2 |
1156 * @since 1.2 |
1157 */ |
1157 */ |
1158 public File[] listFiles(FilenameFilter filter) { |
1158 public File[] listFiles(FilenameFilter filter) { |
1159 String ss[] = list(); |
1159 String ss[] = list(); |
1160 if (ss == null) return null; |
1160 if (ss == null) return null; |
1161 ArrayList<File> files = new ArrayList<File>(); |
1161 ArrayList<File> files = new ArrayList<>(); |
1162 for (String s : ss) |
1162 for (String s : ss) |
1163 if ((filter == null) || filter.accept(this, s)) |
1163 if ((filter == null) || filter.accept(this, s)) |
1164 files.add(new File(s, this)); |
1164 files.add(new File(s, this)); |
1165 return files.toArray(new File[files.size()]); |
1165 return files.toArray(new File[files.size()]); |
1166 } |
1166 } |
1193 * @since 1.2 |
1193 * @since 1.2 |
1194 */ |
1194 */ |
1195 public File[] listFiles(FileFilter filter) { |
1195 public File[] listFiles(FileFilter filter) { |
1196 String ss[] = list(); |
1196 String ss[] = list(); |
1197 if (ss == null) return null; |
1197 if (ss == null) return null; |
1198 ArrayList<File> files = new ArrayList<File>(); |
1198 ArrayList<File> files = new ArrayList<>(); |
1199 for (String s : ss) { |
1199 for (String s : ss) { |
1200 File f = new File(s, this); |
1200 File f = new File(s, this); |
1201 if ((filter == null) || filter.accept(f)) |
1201 if ((filter == null) || filter.accept(f)) |
1202 files.add(f); |
1202 files.add(f); |
1203 } |
1203 } |