From 29c1ffbbeedf614c2ad53ee93e649350cd61111c Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Thu, 10 Nov 2022 13:48:09 +0100
Subject: [PATCH] fixed windows related bugs
---
.../server/prob2/proBMangement/BDocumentServiceTest.kt | 3 ++-
.../b/language/server/prob2/proBMangement/UtilTest.kt | 7 ++++---
2 files changed, 6 insertions(+), 4 deletions(-)
diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
index 77647d5..bf360da 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -116,6 +116,7 @@ class BDocumentServiceTest {
val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
+ val expectedDocument = File("b-language-server/src/test/resources/WD_M1.mch").absolutePath
documentService.checkDocument(URI("src/test/resources/WD_M1.mch"))
@@ -124,7 +125,7 @@ class BDocumentServiceTest {
assertEquals(1, communicator.pushedDiagnostics.entries.size)
assertEquals(3, communicator.pushedDiagnostics.entries.first().value.size)
- assertTrue(targetSet.first().contains("b-language-server/src/test/resources/WD_M1.mch"))
+ assertEquals(expectedDocument, targetSet.first())
}
diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
index 7b79c99..466c6f8 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
@@ -8,6 +8,7 @@ import org.eclipse.lsp4j.DiagnosticSeverity
import org.eclipse.lsp4j.Position
import org.eclipse.lsp4j.Range
import org.junit.jupiter.api.Test
+import java.io.File
import kotlin.test.assertEquals
class UtilTest {
@@ -21,16 +22,16 @@ class UtilTest {
val endLine = 101
val endCol = 101
val message = "hello"
- val file = "/test"
+ val file = File("/test")
val errorItem = ErrorItem(message, ErrorItem.Type.INTERNAL_ERROR,
- listOf(ErrorItem.Location(file, startLine,statCol,endLine,endCol)))
+ listOf(ErrorItem.Location(file.absolutePath, startLine,statCol,endLine,endCol)))
val diagnostic = Diagnostic(
Range(
Position(startLine-1, statCol),
Position(endLine-1, endCol)),
- message, DiagnosticSeverity.Error, file)
+ message, DiagnosticSeverity.Error, file.absolutePath)
val errorItemAfter = convertErrorItems(listOf(errorItem), "dummy").first()
--
GitLab