Class DownloadClient

java.lang.Object

de.infolektuell.gradle.jextract.model.DownloadClient

public class DownloadClient
extends Object

A service class for downloading files

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	DownloadClient.Resource	Describes a downloadable file

Constructor Summary

Constructors

Constructor	Description
DownloadClient()	Creates a new instance

Method Summary

Modifier and Type	Method	Description
void	download(DownloadClient.Resource resource, Path target)	Downloads a resource, checks its integrity, and stores it to a target path
boolean	verify(DownloadClient.Resource resource, Path file)	Checks that a given file is the downloaded file for a given resource by comparing their checksums.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DownloadClient

public DownloadClient()

Creates a new instance

Method Details

download

public void download(DownloadClient.Resource resource,
 Path target)

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

Parameters:

resource - Data describing the download location and file checksum

target - The file path to store the downloaded file

verify

public boolean verify(DownloadClient.Resource resource,
 Path file)

Checks that a given file is the downloaded file for a given resource by comparing their checksums.

Parameters:

resource - Data describing the remote downloadable file

file - The file to verify

Returns:

True if the checksums match, false otherwise.