desmoj.extensions.experimentation.util

Class FileUtil

java.lang.Object

desmoj.extensions.experimentation.util.FileUtil

public class FileUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FileUtil()

Method Summary

Modifier and Type	Method and Description
static void	copy(java.lang.String source, java.lang.String destination) copy the file of a given URL to the given destination
static void	copy(java.net.URL source, java.lang.String destination) copy the file of a given URL to the given destination
static void	deleteFile(java.lang.String filename) deletes a file
static void	extractFile(java.lang.String jarArchive, java.lang.String fileToExtract, java.lang.String destination) extract a file from a jar archive

Methods inherited from class java.lang.Object

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

Constructor Detail

FileUtil

public FileUtil()

Method Detail

copy

public static void copy(java.net.URL source,
                        java.lang.String destination)

copy the file of a given URL to the given destination

Parameters:

source - URL: the URL of the source file

destination - String: the filename of the destination

copy

public static void copy(java.lang.String source,
                        java.lang.String destination)

copy the file of a given URL to the given destination

Parameters:

source - String: the name of the source file

destination - String: the filename of the destination

deleteFile

public static void deleteFile(java.lang.String filename)

deletes a file

Parameters:

filename - String: the name of the file to be deleted.

extractFile

public static void extractFile(java.lang.String jarArchive,
                               java.lang.String fileToExtract,
                               java.lang.String destination)

extract a file from a jar archive

Parameters:

jarArchive - String: the filename of the source archive

fileToExtract - String: the name of the file to extract (full path from archive root)