From ec49206d41d8ead2b01b48fdc26bb8ae46ba5d63 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Sat, 31 Oct 2020 11:38:28 +0100 Subject: [PATCH] clean up --- .../server/prob2/proBMangement/BDocumentServiceTest.kt | 3 +-- 1 file changed, 1 insertion(+), 2 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 48f5eb6..8c5fb80 100644 --- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt +++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt @@ -90,7 +90,7 @@ class BDocumentServiceTest { * Fakes the behavior of the user by returning no errors when called the second time * The user fixed the errors */ - class DummyProBKernelManager(val communicator : CommunicatorInterface) : ProBInterface{ + class DummyProBKernelManager(private val communicator : CommunicatorInterface) : ProBInterface{ private var counter = 0 @@ -167,7 +167,6 @@ class BDocumentServiceTest { documentService.checkDocument("src/test/resources/WD_M2.mch") println(communicator.pushedDiagnostics) - val targetSet = communicator.pushedDiagnostics.entries.first().value.map { value -> value.source }.toSet() assertEquals(emptyList(), communicator.pushedDiagnostics.entries.first().value) } -- GitLab