public String getDirectoryFilesName(String path, User currentUser, Directory currentDir) throws FileUnknownException, AccessDeniedException { if (path.equals(".")) return currentDir.getDirectoryFilesName(); else if (path.equals("..")) return currentDir.getFather().getDirectoryFilesName(); File target = absolutePath(path, currentUser, currentDir).getFileByName(getLastPathToken(path)); target.checkAccessRead(currentUser); return target.getDirectoryFilesName(); }
String readFile(String path, Directory currentDirectory, User currentUser) throws FileUnknownException, IsNotPlainFileException, AccessDeniedException { Directory directory = absolutePath(path, currentUser, currentDirectory); String filename = getLastPathToken(path); File f = directory.getFileByName(filename); f.checkAccessRead(currentUser); return f.printContent(currentUser); }