From f017bc5fc9eaba0fe37a22279ae55abf8e63866d Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Thu, 10 Nov 2022 12:49:09 +0100
Subject: [PATCH] windows debug message
---
src/main/kotlin/b/language/server/proBMangement/prob/Util.kt | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
index 335d7e1..711186c 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
@@ -9,12 +9,14 @@ import org.eclipse.lsp4j.Range
fun convertErrorItems(errorItems: List<ErrorItem>, currentLoadedFile : String) : List<Diagnostic>{
return errorItems.map { errorItem ->
errorItem.locations.map { location ->
+ println(location.filename)
Diagnostic(Range(
Position(location.startLine - 1, location.startColumn),
Position(location.endLine - 1, location.endColumn)),
errorItem.message,
getErrorItemType(errorItem.type),
location.filename)
+
}.ifEmpty { //Fallback when errors from prob do not have position infos
listOf(Diagnostic(Range(
Position(0,0),
--
GitLab