| 1 |
package net.oni2.aeinstaller.backend; |
| 2 |
|
| 3 |
import java.io.File; |
| 4 |
import java.io.FilenameFilter; |
| 5 |
|
| 6 |
/** |
| 7 |
* @author Christian Illy |
| 8 |
*/ |
| 9 |
public class CaseInsensitiveFile { |
| 10 |
/** |
| 11 |
* Get a File for the given parent path and a child name. Return the name as |
| 12 |
* passed to the function if either parent or a file named that way does not |
| 13 |
* exist. |
| 14 |
* |
| 15 |
* @param parent |
| 16 |
* Parent path |
| 17 |
* @param name |
| 18 |
* Name of file |
| 19 |
* @return File |
| 20 |
*/ |
| 21 |
public static File getCaseInsensitiveFile(File parent, final String name) { |
| 22 |
if (parent.exists()) { |
| 23 |
for (File f : parent.listFiles(new FilenameFilter() { |
| 24 |
@Override |
| 25 |
public boolean accept(File dir, String fname) { |
| 26 |
return fname.equalsIgnoreCase(name); |
| 27 |
} |
| 28 |
})) { |
| 29 |
return f; |
| 30 |
} |
| 31 |
} |
| 32 |
return new File(parent, name); |
| 33 |
} |
| 34 |
} |