add web code

gradle/libs.versions.toml

@@ -10,6 +10,7 @@ jupiter = "5.12.0"
 clickt = "4.2.2"
 jdk = "21"
 kotlin = "1.9.20"
+ktor = "1.6.8"
 
 [libraries]
 clickt = { module = "com.github.ajalt.clikt:clikt", version.ref = "clickt" }
@@ -30,5 +31,9 @@ okhttp = { module = "com.squareup.okhttp3:okhttp", version = "4.9.1" }
 mockito = { module = "org.mockito:mockito-inline", version = "" }
 kotlin-gradle = { module = "org.jetbrains.kotlin:kotlin-gradle-plugin", version.ref = "kotlin" }
 
+ktor-core = { module = "io.ktor:ktor-server-core", version.ref = "ktor" }
+ktor-netty = { module = "io.ktor:ktor-server-netty", version.ref = "ktor" }
+ktor-html = { module = "io.ktor:ktor-html-builder", version.ref = "ktor" }
+
 [plugins]
 jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" }

settings.gradle.kts

@@ -1,3 +1,6 @@
+plugins {
+    id("org.gradle.toolchains.foojay-resolver-convention") version "0.5.0"
+}
 rootProject.name = "jml-tools"
 include("prettyprinting")
 include("lint")
@@ -10,3 +13,4 @@ include("utils")
 include("xpath")
 include("cli")
 include("lsp")
+include("web")

web/build.gradle.kts

@@ -0,0 +1,20 @@
+plugins {
+    id("standard-kotlin")
+}
+
+group = "io.github.jmltoolkit"
+
+repositories {
+    mavenCentral()
+}
+
+dependencies {
+    testImplementation("org.jetbrains.kotlin:kotlin-test")
+    api(libs.jmlcore)
+    api(libs.jmlsymbol)
+
+    implementation(libs.ktor.core)
+    implementation(libs.ktor.html)
+    implementation(libs.ktor.netty)
+    implementation(libs.logback)
+}