From 55b61b0db39e07bd0313941f0878e3f3cbe830de Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Sun, 16 Aug 2020 16:56:51 +0200
Subject: [PATCH] fixed error with -lint
---
.../server/proBMangement/probCli/ProBCommandLineAccess.kt | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/main/kotlin/b/language/server/proBMangement/probCli/ProBCommandLineAccess.kt b/src/main/kotlin/b/language/server/proBMangement/probCli/ProBCommandLineAccess.kt
index 76afede..69e1d60 100644
--- a/src/main/kotlin/b/language/server/proBMangement/probCli/ProBCommandLineAccess.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/probCli/ProBCommandLineAccess.kt
@@ -37,6 +37,8 @@ class ProBCommandLineAccess(val communicator : CommunicatorInterface) : ProBInte
performActionOnDocument(command)
val problems = readProblems(errorPath.path)
+ communicator.sendDebugMessage("deleting tmp", MessageType.Info )
+ errorDict.delete()
communicator.sendDebugMessage("found the following problems: $problems", MessageType.Info)
return transformProblems(problems)
@@ -91,7 +93,6 @@ class ProBCommandLineAccess(val communicator : CommunicatorInterface) : ProBInte
command.add(additionalArgument)
command.add(typeCheckDefinitions)
command.add(tRUE)
- command.add(additionalArgument)
command.add(lint)
}
@@ -238,8 +239,8 @@ class ProBCommandLineAccess(val communicator : CommunicatorInterface) : ProBInte
DiagnosticSeverity.Hint
}
},
- problem.file
- //code = " probcli v.${problem.version}"
+ problem.file,
+ " probcli v.${problem.version}"
)
}
}
--
GitLab