public abstract class FileManager
extends java.lang.Object
Utility functions for managing files and directories.
Constructor and Description |
---|
FileManager() |
Modifier and Type | Method and Description |
---|---|
static void |
copyFile(java.lang.String source,
java.lang.String target)
Copy
source file to target file. |
static void |
createDirectory(java.lang.String file)
|
static void |
createDirectory(java.lang.String file,
boolean createParents)
Create a directory file.
|
static void |
createParent(java.lang.String file)
Create parent directory for a file, if the parent directory doesn't exist already.
|
static void |
deleteDirectory(java.lang.String file)
|
static void |
deleteDirectory(java.lang.String file,
boolean deleteChildren)
Delete a directory file.
|
static void |
deleteFile(java.lang.String file)
Delete
file . |
static boolean |
fileExists(java.lang.String file)
Check if
file exists. |
static long |
fileLength(java.lang.String file)
Return the length of an existing
file . |
static boolean |
isDirectory(java.lang.String file)
Check if a file name represents an existing directory.
|
static StringList |
listFiles(java.lang.String path)
Return a list of the files in a directory
|
static java.lang.String |
localDirectory()
Get the current application's preferred local directory name, or current directory name on platforms with no concept of the application's local directory.
|
static java.lang.String |
parentDirectory(java.lang.String file)
Return (nullable) The parent directory for
file , or null if the file has no parent directory. |
static void |
renameFile(java.lang.String oldName,
java.lang.String newName)
Rename a file from
oldName to newName . |
static java.lang.String |
resolveName(java.lang.String file)
Convert a file name to canonical/preferred syntax for the file system.
|
static java.lang.String |
unqualifiedName(java.lang.String file)
Return the unqualified name of
file , excluding any parent directories. |
public static void copyFile(java.lang.String source, java.lang.String target)
Copy source
file to target
file.
source
- Source file name.target
- Target file name.public static void createDirectory(java.lang.String file)
public static void createDirectory(java.lang.String file, boolean createParents)
Create a directory file.
file
- Directory file name.createParents
- Should parent directories be created if they don't already exist? Defaults to true
.public static void createParent(java.lang.String file)
Create parent directory for a file, if the parent directory doesn't exist already.
file
- File name.public static void deleteDirectory(java.lang.String file)
public static void deleteDirectory(java.lang.String file, boolean deleteChildren)
Delete a directory file.
file
- Directory file name.deleteChildren
- Should child files and directories be deleted if they exist? Defaults to true
.public static void deleteFile(java.lang.String file)
Delete file
.
file
- File name.public static boolean fileExists(java.lang.String file)
Check if file
exists.
file
- File name.true
if the file (or directory) exists, false
otherwise.public static long fileLength(java.lang.String file)
Return the length of an existing file
.
file
- File name.file
.public static boolean isDirectory(java.lang.String file)
Check if a file name represents an existing directory.
file
- File name.true
if the represents an existing directory, otherwise false
.public static StringList listFiles(java.lang.String path)
Return a list of the files in a directory
path
- Directory name.public static java.lang.String localDirectory()
Get the current application's preferred local directory name, or current directory name on platforms with no concept of the application's local directory.
public static java.lang.String parentDirectory(java.lang.String file)
Return (nullable) The parent directory for file
, or null
if the file has no parent directory.
file
- File name.file
, or null
if the file has no parent directory.public static void renameFile(java.lang.String oldName, java.lang.String newName)
Rename a file from oldName
to newName
.
oldName
- Original file name.newName
- New file name.public static java.lang.String resolveName(java.lang.String file)
Convert a file name to canonical/preferred syntax for the file system.
file
- File name.public static java.lang.String unqualifiedName(java.lang.String file)
Return the unqualified name of file
, excluding any parent directories.
file
- File name.file
, excluding any parent directories.