Rename linting configuration to diagnostics

Author: fwcd

server/src/main/kotlin/org/javacs/kt/Configuration.kt

@@ -20,7 +20,7 @@ public data class CompletionConfiguration(
     val snippets: SnippetsConfiguration = SnippetsConfiguration()
 )
 
-public data class LintingConfiguration(
+public data class DiagnosticsConfiguration(
     /** The time interval between subsequent lints in ms. */
     var debounceTime: Long = 250L
 )
@@ -85,7 +85,7 @@ class GsonPathConverter : JsonDeserializer<Path?> {
 public data class Configuration(
     val compiler: CompilerConfiguration = CompilerConfiguration(),
     val completion: CompletionConfiguration = CompletionConfiguration(),
-    val linting: LintingConfiguration = LintingConfiguration(),
+    val diagnostics: DiagnosticsConfiguration = DiagnosticsConfiguration(),
     var indexing: IndexingConfiguration = IndexingConfiguration(),
     val externalSources: ExternalSourcesConfiguration = ExternalSourcesConfiguration(),
     val hints: InlayHintsConfiguration = InlayHintsConfiguration()

server/src/main/kotlin/org/javacs/kt/KotlinTextDocumentService.kt

@@ -46,7 +46,7 @@ class KotlinTextDocumentService(
     private lateinit var client: LanguageClient
     private val async = AsyncExecutor()
 
-    var debounceLint = Debouncer(Duration.ofMillis(config.linting.debounceTime))
+    var debounceLint = Debouncer(Duration.ofMillis(config.diagnostics.debounceTime))
     val lintTodo = mutableSetOf<URI>()
     var lintCount = 0
 
@@ -267,7 +267,7 @@ class KotlinTextDocumentService(
     }
 
     public fun updateDebouncer() {
-        debounceLint = Debouncer(Duration.ofMillis(config.linting.debounceTime))
+        debounceLint = Debouncer(Duration.ofMillis(config.diagnostics.debounceTime))
     }
 
     fun lintAll() {

server/src/main/kotlin/org/javacs/kt/KotlinWorkspaceService.kt

@@ -85,7 +85,7 @@ class KotlinWorkspaceService(
         settings?.get("kotlin")?.asJsonObject?.apply {
             // Update deprecated configuration keys
             get("debounceTime")?.asLong?.let {
-                config.linting.debounceTime = it
+                config.diagnostics.debounceTime = it
                 docService.updateDebouncer()
             }
             get("snippetsEnabled")?.asBoolean?.let { config.completion.snippets.enabled = it }
@@ -110,12 +110,16 @@ class KotlinWorkspaceService(
                 get("chainedHints")?.asBoolean?.let { hints.chainedHints = it }
             }
 
-            // Update linter options
-            get("linting")?.asJsonObject?.apply {
-                val linting = config.linting
-                get("debounceTime")?.asLong?.let {
-                    linting.debounceTime = it
-                    docService.updateDebouncer()
+            // Update diagnostics options
+            // Note that the 'linting' key is deprecated and only kept
+            // for backwards compatibility.
+            for (diagnosticsKey in listOf("linting", "diagnostics")) {
+                get(diagnosticsKey)?.asJsonObject?.apply {
+                    val diagnostics = config.diagnostics
+                    get("debounceTime")?.asLong?.let {
+                        diagnostics.debounceTime = it
+                        docService.updateDebouncer()
+                    }
                 }
             }