private boolean isCaseSensitive() { if (isCaseSensitive != -1) { return isCaseSensitive == 1; } File path = file; if (path.exists() && path.isFile()) { path = path.getParentFile(); } if ((!file.exists() && !file.mkdirs())) { return false; } try { boolean result = testCaseSensitivity(path); isCaseSensitive = result?1:0; return result; } catch (IOException ex) { return false; } }
if (!isCaseSensitive()) { fileName = pathElements[pathElementsIndex] + "." + (groupEntries.getSize()+1) + fileExtension; } else { } else { String fileName; if (!isCaseSensitive()) { fileName = pathElements[pathElementsIndex] + "." + (groupEntries.getSize()+1); } else {
private boolean isCaseSensitive() { if (isCaseSensitive != -1) { return isCaseSensitive == 1; } File path = file; if (path.exists() && path.isFile()) { path = path.getParentFile(); } if ((!file.exists() && !file.mkdirs())) { return false; } try { boolean result = testCaseSensitivity(path); isCaseSensitive = result?1:0; return result; } catch (IOException ex) { return false; } }
public FileSystemEntry makeVirtual(File parent) { return new VirtualGroupEntry(this, parent); } }
if (!isCaseSensitive()) { fileName = pathElements[pathElementsIndex] + "." + (groupEntries.getSize()+1) + fileExtension; } else { } else { String fileName; if (!isCaseSensitive()) { fileName = pathElements[pathElementsIndex] + "." + (groupEntries.getSize()+1); } else {
public FileSystemEntry makeVirtual(File parent) { return new VirtualGroupEntry(this, parent); } }