edu.stanford.nlp.io

Class FileSystem

java.lang.Object

edu.stanford.nlp.io.FileSystem

public final class FileSystem
extends java.lang.Object

Provides various filesystem operations common to scripting languages such as Perl and Python but not present (currently) in the Java standard libraries.

Author:

Spence Green

Method Summary

Modifier and Type	Method and Description
static void	checkExistsOrFail(java.io.File file)
static void	checkNotExistsOrFail(java.io.File file)
static void	copyFile(java.io.File sourceFile, java.io.File destFile) Copies a file.
static boolean	deleteDir(java.io.File dir) Recursively deletes a directory, including all files and sub-directories.
static boolean	existsAndNonEmpty(java.io.File file) Returns whether a file object both exists and has contents (i.e.
static void	gzipFile(java.io.File uncompressedFileName, java.io.File compressedFileName) Similar to the unix gzip command, only it does not delete the file after compressing it.
static void	main(java.lang.String[] args) Unit test code
static void	mkdirOrFail(java.io.File dir) Make the given directory or throw a RuntimeException
static void	mkdirOrFail(java.lang.String dir) Make the given directory or throw a RuntimeException

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

copyFile

public static void copyFile(java.io.File sourceFile,
                            java.io.File destFile)

Copies a file. The ordering of the parameters corresponds to the Unix cp command.

Parameters:

sourceFile - The file to copy.

destFile - The path to copy to which the file should be copied.

Throws:

RuntimeIOException - If any IO problem

gzipFile

public static void gzipFile(java.io.File uncompressedFileName,
                            java.io.File compressedFileName)
                     throws java.io.IOException

Similar to the unix gzip command, only it does not delete the file after compressing it.

Parameters:

uncompressedFileName - The file to gzip

compressedFileName - The file name for the compressed file

Throws:

java.io.IOException

deleteDir

public static boolean deleteDir(java.io.File dir)

Recursively deletes a directory, including all files and sub-directories.

Parameters:

dir - The directory to delete

Returns:

true on success; false, otherwise.

existsAndNonEmpty

public static boolean existsAndNonEmpty(java.io.File file)

Returns whether a file object both exists and has contents (i.e. the size of the file is greater than 0)

Parameters:

file -

Returns:

true if the file exists and is non-empty

mkdirOrFail

public static void mkdirOrFail(java.lang.String dir)

Make the given directory or throw a RuntimeException

mkdirOrFail

public static void mkdirOrFail(java.io.File dir)

Make the given directory or throw a RuntimeException

checkExistsOrFail

public static void checkExistsOrFail(java.io.File file)

checkNotExistsOrFail

public static void checkNotExistsOrFail(java.io.File file)

main

public static void main(java.lang.String[] args)

Unit test code