public final class Files
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static int |
DEFAULT_BUFFER_SIZE
The default size of the copy buffer.
|
private static char[] |
hexDigits
for byte-to-hex conversions
|
private static org.jboss.logging.Logger |
log
The Logger instance
|
| Constructor and Description |
|---|
Files() |
| Modifier and Type | Method and Description |
|---|---|
static void |
copy(java.io.File source,
java.io.File target)
Copy a file.
|
static void |
copy(java.io.File source,
java.io.File target,
byte[] buff)
Copy a file.
|
static void |
copy(java.io.File source,
java.io.File target,
int size)
Copy a file.
|
static void |
copy(java.net.URL src,
java.io.File dest)
Copy a remote/local URL to a local file
|
static java.lang.String |
decodeFileName(java.lang.String name)
Used to decode a file system friendly filename produced
by encodeFileName() method, above.
|
static java.lang.String |
decodeFileName(java.lang.String name,
char escape)
See decodeFileName(String) above.
|
static boolean |
delete(java.io.File dir)
Delete a file, or a directory and all of its contents.
|
static boolean |
delete(java.lang.String dirname)
Delete a file or directory and all of its contents.
|
static boolean |
deleteContaining(java.lang.String filename)
Delete a directory contaning the given file and all its contents.
|
static java.lang.String |
encodeFileName(java.lang.String name)
Used to encode any string into a string that is safe to use as
a file name on most operating systems.
|
static java.lang.String |
encodeFileName(java.lang.String name,
char escape)
See encodeFileName(String) above.
|
static java.lang.String |
findRelativePath(java.lang.String base,
java.lang.String path)
Build a relative path to the given base path.
|
private static final org.jboss.logging.Logger log
private static final char[] hexDigits
public static final int DEFAULT_BUFFER_SIZE
public static boolean delete(java.io.File dir)
dir - The directory or file to delete.public static boolean delete(java.lang.String dirname)
dirname - The name of the file or directory to delete.public static boolean deleteContaining(java.lang.String filename)
filename - a file or directory in the containing directory to deletepublic static void copy(java.io.File source,
java.io.File target,
byte[] buff)
throws java.io.IOException
source - Source file to copy.target - Destination target file.buff - The copy buffer.java.io.IOException - Failed to copy file.public static void copy(java.io.File source,
java.io.File target,
int size)
throws java.io.IOException
source - Source file to copy.target - Destination target file.size - The size of the copy buffer.java.io.IOException - Failed to copy file.public static void copy(java.io.File source,
java.io.File target)
throws java.io.IOException
source - Source file to copy.target - Destination target file.java.io.IOException - Failed to copy file.public static void copy(java.net.URL src,
java.io.File dest)
throws java.io.IOException
src - the remote or local URLdest - the local filejava.io.IOException - upon errorpublic static java.lang.String encodeFileName(java.lang.String name)
name - the filename to encodepublic static java.lang.String decodeFileName(java.lang.String name)
name - the filename to decodepublic static java.lang.String encodeFileName(java.lang.String name,
char escape)
name - the filename to encodeescape - the escape character to usepublic static java.lang.String decodeFileName(java.lang.String name,
char escape)
name - the filename to decodeescape - the escape character to usepublic static java.lang.String findRelativePath(java.lang.String base,
java.lang.String path)
throws java.io.IOException
base - - the path used as the basepath - - the path to compute relative to the base pathjava.io.IOException