Gradle Jextract Plugin/de.infolektuell.gradle.jextract.model/DownloadClient

DownloadClient

class DownloadClient(source)

A service class for downloading files

Constructors

constructor()

Types

FailedDownloadException

class FailedDownloadException(message: String, val statusCode: Int = 404, err: Throwable? = null) : RuntimeException

Indicates that the client couldn't download a given resource

FailedIntegrityCheckException

class FailedIntegrityCheckException(message: String, err: Throwable? = null) : RuntimeException

Indicates that the integrity of a downloaded file couldn't be verified with the given checksum

data class Resource(val url: URI, val checksum: String, val algorithm: String = "SHA-256") : Serializable

Data describing a downloadable file

Functions

fun download(resource: DownloadClient.Resource, target: Path)

Downloads a resource, checks its integrity, and stores it to a target path