Miscellaneous utilities
| Type | Name and description |
|---|---|
static void |
copyFile(java.lang.String message, java.io.File sourceFile, java.io.File destFile)Copy a local file to another location using NIO |
static void |
copyFile(java.lang.String message, java.io.File sourceFile, java.io.File destFile, boolean warnIfOverride)Copy a local file to another location using NIO |
static java.lang.Object |
downloadFile(java.lang.String message, java.net.URL url, java.io.File destFile)Downloads a file following redirects if required |
static java.lang.Object |
downloadFile(java.lang.String message, java.lang.String url, java.io.File destFile)Downloads a file following redirects if required |
static java.lang.String |
extractDirPath(java.lang.String fullpath) |
static java.lang.String |
extractFilename(java.lang.String fullpath) |
static java.lang.String |
extractParentAndFilename(java.lang.String fullpath) |
static void |
mkdirs(java.io.File dirToCreate)Create a directory and its required parents. |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
Copy a local file to another location using NIO
message - the logging message to displaysourceFile - the source file to copydestFile - where the file should be copiedCopy a local file to another location using NIO
message - the logging message to displaysourceFile - the source file to copydestFile - where the file should be copiedwarnIfOverride - Display a warning if destFile already existsDownloads a file following redirects if required
message - the logging message to displayurl - The URL from which to downloaddestFile - The file to populateDownloads a file following redirects if required
message - the logging message to displayurl - The URL from which to downloaddestFile - The file to populateCreate a directory and its required parents.
dirToCreate - The directory to create