public class RemoteDataProvider extends Object
Modifier and Type | Field and Description |
---|---|
static String |
DATA_DIRECTORY |
Constructor and Description |
---|
RemoteDataProvider(URL url)
Initializes this downloader to fetch data from the given URL.
|
Modifier and Type | Method and Description |
---|---|
void |
deleteData()
Deletes the data downloaded.
|
File |
getLocalDirectory()
Returns the folder to access the downloaded data.
|
URL |
getUrl()
Returns the URL assigned to this RemoteDataProvider
|
static void |
main(String[] args) |
void |
redownload()
Forces a redownload of the data.
|
public static String DATA_DIRECTORY
public RemoteDataProvider(URL url) throws IOException
url
- URL to download data fromIOException
- on errors downloading or extracting the filepublic void redownload() throws IOException
IOException
public void deleteData()
public File getLocalDirectory()
public URL getUrl()
public static void main(String[] args) throws IOException
IOException
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann