Lines Matching refs:File
5 * you may not use this file except in compliance with the License.
19 import java.io.File;
30 private File baseFolder;
32 public FolderPathElement(File baseFolder) {
38 return new FileInputStream(new File(baseFolder,
39 path.replace(SEPARATOR_CHAR, File.separatorChar)));
53 private void collect(File folder, String prefix, ArrayList<String> result) {
54 for (File file : folder.listFiles()) {
55 if (file.isDirectory()) {
56 collect(file, prefix + SEPARATOR_CHAR + file.getName(), result);
58 result.add(prefix + SEPARATOR_CHAR + file.getName());
