public class Downloader extends Object
| Constructor and Description |
|---|
Downloader(HttpClient httpClient,
Config config,
BinaryOperator<String> preDownloadFunction,
UnaryOperator<File> postDownloadFunction) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
deleteFile(File file) |
void |
deleteFolder(File folder) |
String |
download(URL url,
String driverVersion,
String driverName) |
String |
getCachePath() |
File |
getTarget(String driverVersion,
URL url) |
void |
renameFile(File from,
File to) |
protected void |
setFileExecutable(File file) |
public Downloader(HttpClient httpClient, Config config, BinaryOperator<String> preDownloadFunction, UnaryOperator<File> postDownloadFunction)
public String download(URL url, String driverVersion, String driverName) throws IOException
IOExceptionpublic String getCachePath()
protected void setFileExecutable(File file)
protected void deleteFile(File file)
public void deleteFolder(File folder)
Copyright © 2020. All rights reserved.