start a LSP for KeY

buildSrc/src/main/kotlin/buildlogic.java-common-conventions.gradle.kts

@@ -137,7 +137,7 @@ dokka {
 }
 
 // To generate documentation in HTML
-val dokkaHtmlJar by tasks.registering(Jar::class) {
+val dokkaHtmlJar = tasks.register<Jar>("dokkaHtmlJar") {
     description = "A HTML Documentation JAR containing Dokka HTML"
     from(tasks.dokkaGeneratePublicationHtml.flatMap { it.outputDirectory })
     archiveClassifier.set("html-doc")

buildSrc/src/main/kotlin/publish-convention.gradle.kts

@@ -60,11 +60,19 @@ mavenPublishing {
             }
         }
         developers {
+            developer {
+                id = "weigl"
+                email = "[email protected]"
+                name = "Alexander Weigl"
+                organization = "Karlsruhe Institute of Technology"
+                organizationUrl = "https://kikit.kit.edu"
+                roles = listOf("developer", "maintainer")
+            }
         }
         scm {
-            connection = "scm:git:git://example.com/my-library.git"
-            developerConnection = "scm:git:ssh://example.com/my-library.git"
-            url = "http://example.com/my-library/"
+            connection = "scm:git:git://github.com/keyproject/key-rpc.git"
+            developerConnection = "scm:git:ssh://github.com/keyproject/key-rpc.git"
+            url = "http://keyproject.github.io/key-rpc"
         }
     }
 }
@@ -73,7 +81,7 @@ fun envOrPropertyValue(key: String): String =
     if (key in System.getenv()) {
         System.getenv(key)
     } else {
-        project.properties[key]?.toString() ?: ""
+        project.findProperty(key)?.toString() ?: ""
     }
 
 val emptyJavadocJar = tasks.findByName("plainJavadocJar")!!

gradle/libs.versions.toml

@@ -11,6 +11,7 @@ therapi = "0.15.0"
 kotlin-gradle-plugin = "2.4.0"
 dokka = "2.2.0"
 spotless = "8.7.0"
+assertj = "3.27.7"
 
 [libraries]
 kotlin-gradle-plugin = { module = "org.jetbrains.kotlin:kotlin-gradle-plugin", version.ref = "kotlin-gradle-plugin" }
@@ -22,11 +23,17 @@ key-ui = { module = "org.key-project:key.ui", version.ref = "key" }
 jacoco-cobertura = { module = "name.remal.jacoco-to-cobertura:name.remal.jacoco-to-cobertura.gradle.plugin", version = "2.0.4" }
 
 lsp4j-jsonrpc = { module = "org.eclipse.lsp4j:org.eclipse.lsp4j.jsonrpc", version.ref = "lsp4j" }
+lsp4j-lsp = { module = "org.eclipse.lsp4j:org.eclipse.lsp4j", version.ref = "lsp4j" }
 lsp4j-websocket-jakarta = { module = "org.eclipse.lsp4j:org.eclipse.lsp4j.websocket.jakarta", version.ref = "lsp4j" }
 jetty-websocket-javax-server = { module = "org.eclipse.jetty.websocket:websocket-javax-server", version.ref = "jetty-websocket" }
 picocli = { module = "info.picocli:picocli", version.ref = "picocli" }
 guava = { module = "com.google.guava:guava", version.ref = "guava" }
+auto-service = { module = "com.google.auto.service:auto-service", version = "1.1.1" }
 therapi-runtime-javadoc-scribe = { module = "com.github.therapi:therapi-runtime-javadoc-scribe", version.ref = "therapi" }
 therapi-runtime-javadoc = { module = "com.github.therapi:therapi-runtime-javadoc", version.ref = "therapi" }
 clickt = { module = "com.github.ajalt.clikt:clikt", version = "5.1.0" }
 vanniktech-maven = { module = "com.vanniktech.maven.publish:com.vanniktech.maven.publish.gradle.plugin", version = "0.37.0" }
+assertj-core = { module = "org.assertj:assertj-core", version.ref = "assertj" }
+
+[plugins]
+shadow = { id = "com.gradleup.shadow", version = "9.6.1" }

keyext.lsp/build.gradle.kts

@@ -0,0 +1,39 @@
+plugins {
+    id("buildlogic.java-library-conventions")
+    application
+    alias(libs.plugins.shadow)
+    kotlin("kapt")
+}
+
+application {
+    mainClass = "org.key_project.key.lsp.Main"
+}
+
+dependencies {
+    api(project(":keyext.api"))
+    api(libs.lsp4j.jsonrpc)
+    api(libs.lsp4j.lsp)
+    implementation(libs.lsp4j.websocket.jakarta)
+    implementation(libs.jetty.websocket.javax.server)
+    implementation(libs.picocli)
+    implementation(libs.guava)
+    implementation(libs.auto.service)
+    implementation(libs.clickt)
+
+    annotationProcessor(libs.therapi.runtime.javadoc.scribe)
+    api(libs.therapi.runtime.javadoc)
+
+    implementation("io.github.wadoon:kotlin-prettyprinting:1.1.0")
+
+    testImplementation(libs.assertj.core)
+    testImplementation("org.mockito:mockito-core:5.23.0")
+    testImplementation(kotlin("test"))
+}
+
+tasks.named<JavaCompile>("compileJava") {
+    options.compilerArgs.add("-parameters") // for having parameter name in reflection
+}
+
+repositories {
+    mavenCentral()
+}