guru.benson.pinch

Class Pinch

java.lang.Object

guru.benson.pinch.Pinch

public class Pinch
extends java.lang.Object

This class allows for single file downloads from a ZIP file stored on an HTTP server.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	LOG_TAG

Constructor Summary

Constructors

Constructor and Description
Pinch(java.net.URL url) Class constructor.
Pinch(java.net.URL url, java.lang.String userAgent) Class constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	downloadFile(ExtendedZipEntry entry) Wrapper method for downloadFile(ExtendedZipEntry, String) where name is extracted from entry.
void	downloadFile(ExtendedZipEntry entry, java.lang.String dir)
void	downloadFile(ExtendedZipEntry entry, java.lang.String dir, java.lang.String name) Download and inflate file from a ZIP stored on a HTTP server.
java.util.ArrayList<ExtendedZipEntry>	parseCentralDirectory() Gets the list of files included in the ZIP stored on the HTTP server.

Methods inherited from class java.lang.Object

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

Field Detail

LOG_TAG

public static final java.lang.String LOG_TAG

Constructor Detail

Pinch

public Pinch(java.net.URL url)

Class constructor.

Parameters:

url - The URL pointing to the ZIP file on the HTTP server.

Pinch

public Pinch(java.net.URL url,
     java.lang.String userAgent)

Class constructor.

Parameters:

url - The URL pointing to the ZIP file on the HTTP server.

userAgent - User-agent to be used together with the download request.

Method Detail

parseCentralDirectory

public java.util.ArrayList<ExtendedZipEntry> parseCentralDirectory()

Gets the list of files included in the ZIP stored on the HTTP server.

Returns:

A list of ZIP entries.

downloadFile

public void downloadFile(ExtendedZipEntry entry)
                  throws java.io.FileNotFoundException,
                         java.io.IOException

Wrapper method for downloadFile(ExtendedZipEntry, String) where name is extracted from entry.

Throws:

java.io.FileNotFoundException

java.io.IOException

downloadFile

public void downloadFile(ExtendedZipEntry entry,
                java.lang.String dir)
                  throws java.io.FileNotFoundException,
                         java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException

downloadFile

public void downloadFile(ExtendedZipEntry entry,
                java.lang.String dir,
                java.lang.String name)
                  throws java.io.IOException

Download and inflate file from a ZIP stored on a HTTP server.

Parameters:

entry - Entry representing file to download.

name - Path where to store the downloaded file.

Throws:

java.io.IOException - If an error occurred while reading from network or writing to disk.