phelps.io

Class Files

public class Files extends Object

Extensions to java.io.File.

Version: $Revision: 1.3 $ $Date: 2003/10/13 06:18:37 $

Field Summary
static intBUFSIZ
Size a common current disk block size.
Method Summary
static voidcopy(File filein, File fileout)
Copies filein to fileout, creating parent directories as needed.
static FilegetCanonicalFile(String path)
Like java.io.File#getCanonicalFile(String) but also expands ~ to users home directory (as given by the user.home property).
static FilegetFile(String path)
Like java.io.File#File(String) but also expands ~ to users home directory (as given by the user.home property).
static FilegetFuzzyFile(File base, String path)
Returns existing file (not directory), looking around a little if necessary:
  • (UNIX) getCanonicalFile
  • (WWW) if points to directory, tries adding "index.html"
  • (compression) adding or removing a compression suffix
If no existing file can be found, returns same as Files.
static booleanisBackup(String filename)
Returns true if filename is a backup file (e.g., end with ".bkup", with possible additional compression suffix).
static booleanisCompressed(String filename)
Returns true if filename has a compression suffix for a type we can handle, which are .gz, .Z, .
static Stringrelative(File base, File file)
Returns path of file relative to base.
static booleansecureDelete(File file)
Securely deletes a file by first overwriting it with random data several times.
static Stringshortpath(File base, File file)
Returns the shortest path: absolute, relative to base, or relative to user home directory.
static byte[]toByteArray(File file)

Field Detail

BUFSIZ

public static final int BUFSIZ
Size a common current disk block size.

Method Detail

copy

public static void copy(File filein, File fileout)
Copies filein to fileout, creating parent directories as needed.

getCanonicalFile

public static File getCanonicalFile(String path)
Like java.io.File#getCanonicalFile(String) but also expands ~ to users home directory (as given by the user.home property).

getFile

public static File getFile(String path)
Like java.io.File#File(String) but also expands ~ to users home directory (as given by the user.home property).

getFuzzyFile

public static File getFuzzyFile(File base, String path)
Returns existing file (not directory), looking around a little if necessary: If no existing file can be found, returns same as Files.

isBackup

public static boolean isBackup(String filename)
Returns true if filename is a backup file (e.g., end with ".bkup", with possible additional compression suffix).

isCompressed

public static boolean isCompressed(String filename)
Returns true if filename has a compression suffix for a type we can handle, which are .gz, .Z, .bzip2/.bz2.

relative

public static String relative(File base, File file)
Returns path of file relative to base.

secureDelete

public static boolean secureDelete(File file)
Securely deletes a file by first overwriting it with random data several times.

Returns: true iff successful

shortpath

public static String shortpath(File base, File file)
Returns the shortest path: absolute, relative to base, or relative to user home directory.

toByteArray

public static byte[] toByteArray(File file)