keel.GraphInterKeel.experiments

Class FileUtils

java.lang.Object

keel.GraphInterKeel.experiments.FileUtils

public class FileUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FileUtils()

Method Summary

Modifier and Type	Method and Description
static void	copy(java.lang.String source_name, java.lang.String dest_name) Copy a file
static void	copy(java.net.URL source_url, java.lang.String dest_name) Copy a file
static void	listDir(java.lang.String directory, java.util.Vector result) Gets a directory listing and stores it
static void	mkdir(java.lang.String directory) Creates a new directory if needed (no exists previously)
static void	mkdirs(java.lang.String directory) Creates a new directory tree if needed (no exists previously)
static void	prepareFileDirectories(java.lang.String destination, java.lang.String entryName) Creates the necessary directory to build a KEEL experiment
static void	rmdir(java.lang.String directory) Remove all the files in a directory, and then deletes the latter
static void	UnZipFiles(java.lang.String destination, java.lang.String filename) Unzip a .zip file
static void	ZipFiles(java.lang.String destination, java.util.Vector files) Compress a list of files in a .zip file

Methods inherited from class java.lang.Object

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

Constructor Detail

FileUtils

public FileUtils()

Method Detail

copy

public static void copy(java.lang.String source_name,
                        java.lang.String dest_name)

Copy a file

Parameters:

source_name - the source file

dest_name - the destination file

copy

public static void copy(java.net.URL source_url,
                        java.lang.String dest_name)

Copy a file

Parameters:

source_url - url with the source file

dest_name - destination path

listDir

public static void listDir(java.lang.String directory,
                           java.util.Vector result)

Gets a directory listing and stores it

Parameters:

directory - The path to the directory

result - vector in which the listing will be stored

ZipFiles

public static void ZipFiles(java.lang.String destination,
                            java.util.Vector files)

Compress a list of files in a .zip file

Parameters:

destination - the path to the destination ZIP file

files - list of string with the paths to the files to be compressed

prepareFileDirectories

public static void prepareFileDirectories(java.lang.String destination,
                                          java.lang.String entryName)

Creates the necessary directory to build a KEEL experiment

Parameters:

destination - the destination directory (non-existant)

entryName - the base-name of the directory

UnZipFiles

public static void UnZipFiles(java.lang.String destination,
                              java.lang.String filename)

Unzip a .zip file

Parameters:

destination - destination of the unzziped file(s)

filename - the path to the ZIP file

mkdir

public static void mkdir(java.lang.String directory)

Creates a new directory if needed (no exists previously)

Parameters:

directory - the new directory path

mkdirs

public static void mkdirs(java.lang.String directory)

Creates a new directory tree if needed (no exists previously)

Parameters:

directory - the new directory path

rmdir

public static void rmdir(java.lang.String directory)

Remove all the files in a directory, and then deletes the latter

Parameters:

directory - the directory to be deleted (path)