Compilateur Kotlin

Elide intègre Kotlin 2.5.0-Beta1. Une distribution limitée à l’exécution signale que kotlinc nécessite la distribution complète.

Compiler des fichiers source

// Hello.kt
fun main() = println("Hello!")

elide kotlinc -- -d out Hello.kt
elide java -- -cp out HelloKt

Les options de kotlinc se placent après -- ; celles d’Elide, avant. elide kotlinc --help liste celles d’Elide, elide kotlinc -- -help celles de kotlinc.

elide java n’ajoute pas la bibliothèque standard Kotlin : le code qui l’appelle (listOf, joinToString) y échoue donc :

fun main() = println(listOf("Hello", "Kotlin").joinToString(" "))

Options d’Elide

JAR d’ABI

elide kotlinc --abi-only -- -d header.jar src/**/*.kt

Le JAR contient les signatures publiques et protégées, @Metadata, les corps inline pertinents pour l’ABI, les valeurs const et les marqueurs d’arguments par défaut. Une ABI inchangée produit un JAR identique octet pour octet : les modifications de corps laissent donc les dépendants en cache.

ELIDE_KOTLINC_ABI_STRIP=1 saute la génération de code des corps. Laissez-la non définie quand l’ABI inclut des déclarations générées par des plugins, comme le $serializer de kotlinx.serialization. Les workers l’acceptent par requête.

Construire des projets

elide build compile les source sets Kotlin trouvés par convention ou déclarés dans elide.pkl.

kotlin {
  apiLevel = "auto"
  languageLevel = "auto"
  compilerOptions {
    allWarningsAsErrors = true
    optIn { "kotlin.time.ExperimentalTime" }
    freeCompilerArgs { "-Xcontext-parameters" }
  }
}

Chaque compilation écrit ses arguments dans kotlinc.args, à côté de sa sortie.

Plugins et fonctionnalités

kotlin {
  features {
    metro = false
  }
  plugins {
    ["org.jetbrains.kotlinx.serialization"] {
      ["mode"] = "json"
    }
  }
}

dependencies {
  maven {
    kotlinPlugins { "com.example:my-compiler-plugin:1.0.0" }
  }
}

• Chaque entrée de plugins devient -P plugin:<id>:<key>=<value>, triée par identifiant puis par clé.
• Les plugins tiers vont dans le groupe kotlinPlugins et nécessitent un ManagedKotlinToolchain ou un CustomKotlinToolchain. Le compilateur intégré avertit Custom Kotlin compiler plugins are not supported when using the embedded compiler, plugins will not be applied et compile sans eux.
• Un plugin intégré absent de la distribution est ignoré, avec ses options, et un avertissement est émis.
• Les bibliothèques Kotlin implicites ne vont qu’aux racines de dépendances qui contiennent des sources Kotlin. reflection = false retire kotlin-reflect ; compilerOptions.noStdlib = true le retire ainsi que la bibliothèque standard. Les dépendances déclarées sont conservées.
• project("core").friend() expose les déclarations internal d’un projet voisin ; voir Espaces de travail.
• Un source set voit les déclarations internal des source sets dont il dépend dans le même projet : chaque source set nommé dans son dependsOn (main pour un source set de test qui l’omet), ainsi que ceux dont ces derniers dépendent.

Choisir une chaîne d’outils

import "elide:Kotlin.pkl" as Kotlin

kotlin {
  toolchain = "embedded"                                       // the default
  // toolchain = new Kotlin.ManagedKotlinToolchain { version = "2.4.0" }
  // toolchain = new Kotlin.CustomKotlinToolchain { path = "/opt/kotlinc" }
}

La chaîne d’outils s’applique aux builds de projet ; elide kotlinc utilise toujours le compilateur intégré.

KAPT et KSP ne sont pas pris en charge. Le code Kotlin qui utilise des types Java générés doit les obtenir d’un source set ou d’un projet en amont.

Exemples

• Collections Kotlin
• Tests Kotlin

Partez d’un modèle :

elide init --template ktjvm       # Kotlin app with a test