util
Class FileMan

java.lang.Object
  extended by util.FileMan

public class FileMan
extends java.lang.Object

Container of file related utilities.


Constructor Summary
FileMan()
           
 
Method Summary
static void createEmptyDirectory(java.io.File path)
          Creates an empty directory at the given path.
static void ensureExistence(java.lang.String dir)
          Creates the directory if it doesn't exist yet.
static boolean exists(java.lang.String f)
           
static long getFileSize(java.lang.String filename)
           
static java.lang.String getGZIPVariant(java.lang.String f)
           
static java.util.ArrayList<java.lang.String> getLines(java.lang.String filename)
          Reads lines from a text file.
static java.lang.String getParentDir(java.lang.String fname)
           
static java.lang.String getTextContent(java.lang.String filename)
          Reads content from a text file.
static boolean removeDirectory(java.io.File path)
          Removes a directory, even if it's NOT empty!
static boolean removeFile(java.lang.String file)
          Removes a file.
static void writeToFile(java.lang.String filename, java.lang.String content)
          Writes a string to a file, using UTF-8 encoding.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FileMan

public FileMan()
Method Detail

createEmptyDirectory

public static void createEmptyDirectory(java.io.File path)
Creates an empty directory at the given path. If there already exists such a directory, it will be cleaned up.


ensureExistence

public static void ensureExistence(java.lang.String dir)
Creates the directory if it doesn't exist yet.


exists

public static boolean exists(java.lang.String f)

getFileSize

public static long getFileSize(java.lang.String filename)

getGZIPVariant

public static java.lang.String getGZIPVariant(java.lang.String f)

getLines

public static java.util.ArrayList<java.lang.String> getLines(java.lang.String filename)
Reads lines from a text file.


getParentDir

public static java.lang.String getParentDir(java.lang.String fname)

getTextContent

public static java.lang.String getTextContent(java.lang.String filename)
Reads content from a text file.


removeDirectory

public static boolean removeDirectory(java.io.File path)
Removes a directory, even if it's NOT empty!

Returns:
true on success

removeFile

public static boolean removeFile(java.lang.String file)
Removes a file.


writeToFile

public static void writeToFile(java.lang.String filename,
                               java.lang.String content)
Writes a string to a file, using UTF-8 encoding.