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

JextractDataStore

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

Constructors

JextractDataStore

constructor()

Properties

executableFilename

val executableFilename: String

Functions

filename

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

resource

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

version

fun version(javaVersion: Int): Int

Returns the matching Jextract version for a given Java major version