From 660632d3f429a48aac14b3725fd8ad715fd6aa05 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 24 Aug 2020 11:56:44 +0200
Subject: [PATCH] added feedback when evaluation ist done
---
src/main/kotlin/b/language/server/BDocumentService.kt | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt
index 57a0b86..94c82a6 100644
--- a/src/main/kotlin/b/language/server/BDocumentService.kt
+++ b/src/main/kotlin/b/language/server/BDocumentService.kt
@@ -59,6 +59,7 @@ class BDocumentService(private val server: Server, private val communicator: Com
val diagnostics: List<Diagnostic> = prob.checkDocument(currentUri, settings)
communicator.sendDebugMessage("created diagnostics $diagnostics", MessageType.Info)
communicator.publishDiagnostics(PublishDiagnosticsParams(currentUri, diagnostics))
+ communicator.showMessage("Evaluation done - ${diagnostics.size} problem(s)", MessageType.Log)
val filesWithProblems = diagnostics.map { diagnostic -> diagnostic.source }
val invalidFiles = calculateToInvalidate(currentUri, filesWithProblems)
invalidFiles.forEach{uri -> communicator.publishDiagnostics(PublishDiagnosticsParams(uri, listOf()))}
--
GitLab