public interface DownloadStatusInfo
DownloadManagerService
. Most of the information is
accessed through a reference to the ReliableResourceDownloadManager
responsible for the download.Modifier and Type | Method and Description |
---|---|
void |
addDownloadInfo(String downloadIdentifier,
ReliableResourceDownloader downloader,
ResourceResponse resourceResponse)
Adds a
ReliableResourceDownloadManager to the Map, which
is used by this.getDownloadStatus . |
void |
cancelDownload(String userId,
String downloadIdentifier)
Function for admin to cancel a download.
|
List<String> |
getAllDownloads()
Function to get all downloads.
|
List<String> |
getAllDownloads(String userId)
Function to get all downloads for a specific user.
|
Map<String,String> |
getDownloadStatus(String downloadIdentifier)
Function to get information about a specific download.
|
void |
removeDownloadInfo(String downloadIdentifier)
Function to remove the map entry corresponding to the downloadIdentifer passed it.
|
void addDownloadInfo(String downloadIdentifier, ReliableResourceDownloader downloader, ResourceResponse resourceResponse)
ReliableResourceDownloadManager
to the Map, which
is used by this.getDownloadStatus
. Currently this is called in ReliableResourceDownloadManager
downloadIdentifier
- Randomly generated String assigned to download at its start.downloadManager
- The Object that handles the download; this
uses it to gather
information about the download.List<String> getAllDownloads()
List<String> getAllDownloads(String userId)
userId
- The id of the user.this.getAllDownloads
.Map<String,String> getDownloadStatus(String downloadIdentifier)
downloadIdentifier
- The randomly generated downloadId string assigned to the download at
its start.this.getAllDownloadsStatus
for details.void removeDownloadInfo(String downloadIdentifier)
this.getAllDownloadsStatus
, this.getDownloadStatus
, or this.getAllDownloads
.downloadIdentifier
- The randomly generated downloadId string assigned to the download at
its start.void cancelDownload(String userId, String downloadIdentifier)
userId
- The Id assigned to the user who is downloading.downloadIdentifier
- The randomly generated downloadId string assigned to the download at
its start.This work is licensed under a Creative Commons Attribution 4.0 International License.