recordSource
public record JavaArchiveDownloadEvent(
    double progress,
    long downloadedBytes,
    long totalBytes,
    String downloadUrl
)
    implements Event

Gets fired while a Java runtime archive is being downloaded

Implemented interfaces
Event
Event
When it fires and how to listen to it

Record components

progressdouble

The overall download progress as a value from 0.0 to 1.0

Accessor: progress()
downloadedByteslong

The number of bytes downloaded so far

Accessor: downloadedBytes()
totalByteslong

The total size of the Java archive in bytes

Accessor: totalBytes()
downloadUrlString

The URL the Java archive is being downloaded from

Accessor: downloadUrl()

Constructors

public JavaArchiveDownloadEvent(
    double progress,
    long downloadedBytes,
    long totalBytes,
    String downloadUrl
)
Parameters
progressdouble
downloadedByteslong
totalByteslong
downloadUrlString