public class FileIO
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
copy(java.io.File sourceFile,
java.io.File targetFile)
Copy one file to another
|
static java.lang.String |
getExtension(java.io.File file)
Gets the file extension of a given file
|
static java.io.File |
getFile(java.lang.String... relativePath)
Gets a file given a string description of a relative path, or various relative paths to be appended in order
|
static java.nio.file.Path |
getPath(java.lang.String... relativePath)
Gets an absolute path given a string description of a relative path, or various relative paths to be appended in order
|
static boolean |
isDeployed() |
static java.util.List<java.io.File> |
listFiles(java.io.File directory,
java.io.FilenameFilter filter,
boolean recursively)
Gets the list of files in a given directory, using certain filter, and with the option to search the
directory recursively.
|
static java.lang.String |
removeExtention(java.lang.String filePath)
Removes file extension from a string description of a path
|
public static boolean isDeployed()
public static java.util.List<java.io.File> listFiles(java.io.File directory, java.io.FilenameFilter filter, boolean recursively)
public static java.io.File getFile(java.lang.String... relativePath)
relativePath
- public static java.nio.file.Path getPath(java.lang.String... relativePath)
relativePath
- public static void copy(java.io.File sourceFile, java.io.File targetFile)
sourceFile
- targetFile
- public static java.lang.String removeExtention(java.lang.String filePath)
filePath
- public static java.lang.String getExtension(java.io.File file)
file
-