public final class FileUtil
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getExtension(java.io.File file)
Return the file extension of a file name.
|
static java.lang.String |
getRelativeURI(java.io.File fromFile,
java.io.File toFile)
Returns relative URI between to files.
|
static java.net.URI |
getURI(java.io.File file)
Return URI for file.
|
static boolean |
hasExtension(java.io.File f,
java.lang.String extension)
Check for extension (case-insensitive).
|
static java.util.ArrayList<java.lang.String> |
readStringListFromFile(java.io.File file)
Read a list of strings from a file.
|
static java.lang.String |
removeExtension(java.io.File file,
java.lang.String oldExtension)
Remove extension in file name.
|
static java.lang.String |
replaceExtension(java.io.File file,
java.lang.String oldExtension,
java.lang.String newExtension)
Replace extension in file name.
|
static java.lang.String |
replaceExtension(java.lang.String file,
java.lang.String oldExtension,
java.lang.String newExtension) |
public static java.lang.String getExtension(java.io.File file)
file
- The file.public static java.lang.String getRelativeURI(java.io.File fromFile, java.io.File toFile)
fromFile
- File to compute the URI relative to.toFile
- Target file or directory.public static java.net.URI getURI(java.io.File file)
public static boolean hasExtension(java.io.File f, java.lang.String extension)
public static java.util.ArrayList<java.lang.String> readStringListFromFile(java.io.File file) throws java.io.IOException
java.io.IOException
public static java.lang.String removeExtension(java.io.File file, java.lang.String oldExtension)
public static java.lang.String replaceExtension(java.io.File file, java.lang.String oldExtension, java.lang.String newExtension)
public static java.lang.String replaceExtension(java.lang.String file, java.lang.String oldExtension, java.lang.String newExtension)