|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectanl.aida.util.FileUtilities
public class FileUtilities
Utility methods for dealing with files and directories.
Constructor Summary | |
---|---|
FileUtilities()
|
Method Summary | |
---|---|
static java.io.File |
backupDir(java.io.File dirToBackup)
Backups the specified directory into a new directory in the same parent directory. |
static java.io.File |
backupDir(java.io.File dirToBackup,
java.io.File backupParentDir)
Backs up the specified directory into a new directory in the specified parent directory. |
static void |
copyDirs(java.io.File sourceDir,
java.io.File destDir)
Recursively copy all the files from the source directory to the destination directory. |
static void |
copyDirs(java.io.File sourceDir,
java.io.File destDir,
java.io.FileFilter filter)
Recursively copy all the files from the source directory to the destination directory. |
static void |
copyFile(java.io.File source,
java.io.File dest)
Copies the specified source file to the destination file. |
static void |
delete(java.io.File file)
Deletes the specified file. |
static void |
deleteIgnoreVC(java.io.File file,
java.lang.String... filesToIgnore)
Deletes the specified file. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FileUtilities()
Method Detail |
---|
public static java.io.File backupDir(java.io.File dirToBackup) throws java.io.IOException
dirToBackup
-
java.io.IOException
public static java.io.File backupDir(java.io.File dirToBackup, java.io.File backupParentDir) throws java.io.IOException
dirToBackup
- the directory to backupbackupParentDir
- the parent directory of the new backup directory
java.io.IOException
public static void copyFile(java.io.File source, java.io.File dest) throws java.io.IOException
source
- the source to copydest
- the destination file
java.io.IOException
public static void copyDirs(java.io.File sourceDir, java.io.File destDir) throws java.io.IOException
sourceDir
- the source directorydestDir
- the destination directory
java.io.IOException
public static void copyDirs(java.io.File sourceDir, java.io.File destDir, java.io.FileFilter filter) throws java.io.IOException
sourceDir
- the source directorydestDir
- the destination directoryfilter
- determines what is copied out of the source directory
java.io.IOException
public static void deleteIgnoreVC(java.io.File file, java.lang.String... filesToIgnore)
file
- the file or directory to delete.public static void delete(java.io.File file)
file
- the file or directory to delete.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |