org.biojava.nbio.core.util

Class FileDownloadUtils

java.lang.Object

org.biojava.nbio.core.util.FileDownloadUtils

public class FileDownloadUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
FileDownloadUtils()

Method Summary

Modifier and Type	Method and Description
static void	copy(File src, File dst) Copy the content of file src to dst TODO since java 1.7 this is provided in java.nio.file.Files
static void	deleteDirectory(Path dir) Recursively delete a folder & contents
static void	deleteDirectory(String dir) Recursively delete a folder & contents
static void	downloadFile(URL url, File destination) Download the content provided at URL url and store the result to a local file, using a temp file to cache the content in case something goes wrong in download
static String	expandUserHome(String file) Expands ~ in paths to the user's home directory.
static String	getFileExtension(File f)
static String	getFilePrefix(File f)
static void	main(String[] args)
static boolean	ping(String url, int timeout) Pings a HTTP URL.
static URLConnection	prepareURLConnection(String url, int timeout) Prepare URLConnection with customised timeouts.
static String	toUnixPath(String path) Converts path to Unix convention and adds a terminating slash if it was omitted

Methods inherited from class java.lang.Object

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

Constructor Detail

FileDownloadUtils

public FileDownloadUtils()

Method Detail

copy

public static void copy(File src,
                        File dst)
                 throws IOException

Copy the content of file src to dst TODO since java 1.7 this is provided in java.nio.file.Files

Parameters:

src -

dst -

Throws:

IOException

getFileExtension

public static String getFileExtension(File f)

getFilePrefix

public static String getFilePrefix(File f)

downloadFile

public static void downloadFile(URL url,
                                File destination)
                         throws IOException

Download the content provided at URL url and store the result to a local file, using a temp file to cache the content in case something goes wrong in download

Parameters:

url -

destination -

Throws:

IOException

toUnixPath

public static String toUnixPath(String path)

Converts path to Unix convention and adds a terminating slash if it was omitted

Parameters:

path - original platform dependent path

Returns:

path in Unix convention

Since:

3.2

expandUserHome

public static String expandUserHome(String file)

Expands ~ in paths to the user's home directory.

This does not work for some special cases for paths: Other users' homes (~user/...), and Tilde expansion within the path (/.../~/...)

Parameters:

file -

Returns:

ping

public static boolean ping(String url,
                           int timeout)

Pings a HTTP URL. This effectively sends a HEAD request and returns true if the response code is in the 200-399 range.

Parameters:

url - The HTTP URL to be pinged.

timeout - The timeout in millis for both the connection timeout and the response read timeout. Note that the total timeout is effectively two times the given timeout.

Returns:

true if the given HTTP URL has returned response code 200-399 on a HEAD request within the given timeout, otherwise false.

prepareURLConnection

public static URLConnection prepareURLConnection(String url,
                                                 int timeout)
                                          throws IOException

Prepare URLConnection with customised timeouts.

Parameters:

url - The URL

timeout - The timeout in millis for both the connection timeout and the response read timeout. Note that the total timeout is effectively two times the given timeout.

Example of code. UrlConnection conn = prepareURLConnection("http://www.google.com/", 20000); conn.connect(); conn.getInputStream();

NB. User should execute connect() method before getting input stream.

Returns:

Throws:

IOException

deleteDirectory

public static void deleteDirectory(Path dir)
                            throws IOException

Recursively delete a folder & contents

Parameters:

dir - directory to delete

Throws:

IOException

deleteDirectory

public static void deleteDirectory(String dir)
                            throws IOException

Recursively delete a folder & contents

Parameters:

dir - directory to delete

Throws:

IOException

main

public static void main(String[] args)