()
| 299 | |
| 300 | /// Gets a list of child files of this directory. |
| 301 | public File[] listFiles() { |
| 302 | String[] r = list(); |
| 303 | File[] files = new File[r.length]; |
| 304 | for (int iter = 0; iter < r.length; iter++) { |
| 305 | files[iter] = new File(this, r[iter]); |
| 306 | } |
| 307 | return files; |
| 308 | } |
| 309 | |
| 310 | /// Gets a list of child files of this directory, filtered using the provided filter. |
| 311 | /// |
no test coverage detected