JextractDataStore

A service class to query data for downloading Jextract, depending on the current platform and a given target JVM version

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard

Functions

Link copied to clipboard
fun filename(version: Int, file: Path? = null): String

Returns an archive filename for the specified Jextract version, using the data from an optional file, falls back to the official distribution data

Link copied to clipboard
fun resource(version: Int, file: Path? = null): DownloadClient.Resource

Returns a downloadable resource for the specified Jextract version, using the data from an optional file, falls back to the official distribution data

Link copied to clipboard
fun version(javaVersion: Int): Int

Returns the matching Jextract version for a given Java major version