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