public interface FetchingCacheService
| Modifier and Type | Method and Description |
|---|---|
void |
get(java.util.Set<org.apache.commons.lang3.tuple.Pair<java.net.URI,java.io.File>> sourceDestinationPairs)
Download a given set of resources (if not already cached) and copy them to the specified destinations.
|
void |
get(java.net.URI sourceFileUri,
java.io.File destinationFile)
Download a given resource (if not already cached) and copy it to the specified destination.
|
void get(java.net.URI sourceFileUri,
java.io.File destinationFile)
throws DownloadException,
java.io.IOException
sourceFileUri - the resource URIdestinationFile - the location on disk where to copy the resource for useDownloadException - if the resource is not found or fails to downloadjava.io.IOException - if downloading or copying the file to destination failsvoid get(java.util.Set<org.apache.commons.lang3.tuple.Pair<java.net.URI,java.io.File>> sourceDestinationPairs) throws DownloadException, java.io.IOException
sourceDestinationPairs - a set of resource URIs and their requested local target locationsDownloadException - if the resource is not found or fails to downloadjava.io.IOException - if downloading or copying the file to destination fails