/** * Returns the original filesystem name of the specified file (before any renaming policy was * applied), or null if the file was not included in the upload. A filesystem name is the name * specified by the user. * * @param name the html page's file parameter name. * @return the original file name of the file. */ public String getOriginalFileName(String name) { try { UploadedFile file = (UploadedFile) files.get(name); return file.getOriginalFileName(); // may be null } catch (Exception e) { return null; } }
/** * Returns a File object for the specified file saved on the server's filesystem, or null if the * file was not included in the upload. * * @param name the html page's file parameter name. * @return a File object for the named file. */ public File getFile(String name) { try { UploadedFile file = (UploadedFile) files.get(name); return file.getFile(); // may be null } catch (Exception e) { return null; } }
/** * Returns the filesystem name of the specified file, or null if the file was not included in the * upload. A filesystem name is the name specified by the user. It is also the name under which * the file is actually saved. * * @param name the html page's file parameter name. * @return the filesystem name of the file. */ public String getFilesystemName(String name) { try { UploadedFile file = files.get(name); return file.getFilesystemName(); // may be null } catch (Exception e) { return null; } }