fixed windows related bugs

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())
 
     }
 

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()