Make diagnostics configurable and disableable

Author: fwcd

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

@@ -6,6 +6,7 @@ import com.google.gson.JsonDeserializer
 import com.google.gson.JsonElement
 import com.google.gson.JsonParseException
 import org.eclipse.lsp4j.InitializeParams
+import org.eclipse.lsp4j.DiagnosticSeverity
 import java.lang.reflect.Type
 import java.nio.file.InvalidPathException
 import java.nio.file.Path
@@ -21,6 +22,10 @@ public data class CompletionConfiguration(
 )
 
 public data class DiagnosticsConfiguration(
+    /** Whether diagnostics are enabled. */
+    var enabled: Boolean = true,
+    /** The minimum severity of enabled diagnostics. */
+    var level: DiagnosticSeverity = DiagnosticSeverity.Hint,
     /** The time interval between subsequent lints in ms. */
     var debounceTime: Long = 250L
 )

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

@@ -305,7 +305,9 @@ class KotlinTextDocumentService(
     }
 
     private fun reportDiagnostics(compiled: Collection<URI>, kotlinDiagnostics: Diagnostics) {
-        val langServerDiagnostics = kotlinDiagnostics.flatMap(::convertDiagnostic)
+        val langServerDiagnostics = kotlinDiagnostics
+            .flatMap(::convertDiagnostic)
+            .filter { config.diagnostics.enabled && it.second.severity <= config.diagnostics.level }
         val byFile = langServerDiagnostics.groupBy({ it.first }, { it.second })
 
         for ((uri, diagnostics) in byFile) {

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

@@ -116,6 +116,17 @@ class KotlinWorkspaceService(
             for (diagnosticsKey in listOf("linting", "diagnostics")) {
                 get(diagnosticsKey)?.asJsonObject?.apply {
                     val diagnostics = config.diagnostics
+                    get("enabled")?.asBoolean?.let {
+                        diagnostics.enabled = it
+                    }
+                    get("level")?.asString?.let {
+                        diagnostics.level = when (it.lowercase()) {
+                            "error" -> DiagnosticSeverity.Error
+                            "warning" -> DiagnosticSeverity.Warning
+                            "information" -> DiagnosticSeverity.Information
+                            else -> DiagnosticSeverity.Hint
+                        }
+                    }
                     get("debounceTime")?.asLong?.let {
                         diagnostics.debounceTime = it
                         docService.updateDebouncer()