Skip to content
Snippets Groups Projects
Commit 8ef83cfd authored by SeeBasTStick's avatar SeeBasTStick
Browse files

code beautification

parent 847d20b5
No related branches found
No related tags found
No related merge requests found
...@@ -33,7 +33,7 @@ object Communicator : CommunicatorInterface { ...@@ -33,7 +33,7 @@ object Communicator : CommunicatorInterface {
*/ */
override fun sendDebugMessage(message: String, severity: MessageType) { override fun sendDebugMessage(message: String, severity: MessageType) {
if(debugMode) { if(debugMode) {
System.err.println("Debug messages $message") println("Debug messages: $message")
client.logMessage(MessageParams(severity, message)) client.logMessage(MessageParams(severity, message))
} }
......
...@@ -49,13 +49,15 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB ...@@ -49,13 +49,15 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB
return if(probNewHome != probHome) return if(probNewHome != probHome)
{ {
if(probNewHome == "DEFAULT"){ //Use default prob if(probNewHome == "DEFAULT"){ //Use default prob
System.setProperty("prob.home", "null") System.setProperty("prob.home", "DEFAULT")
kernel = setup() kernel = setup()
probHome = probNewHome probHome = probNewHome
true true
} }
else { else {
if (File(probNewHome).exists()) { // Use custom prob
val dict = File(probNewHome)
if (dict.exists() && dict.isDirectory) { // Use custom prob
System.setProperty("prob.home", probNewHome) System.setProperty("prob.home", probNewHome)
kernel = setup() kernel = setup()
probHome = probNewHome probHome = probNewHome
...@@ -82,14 +84,16 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB ...@@ -82,14 +84,16 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB
val path = URI(uri).path val path = URI(uri).path
Files.exists(Path.of(URI(uri))) Files.exists(Path.of(URI(uri)))
communicator.sendDebugMessage("try to use ${settings.probHome} as prob version instead of ${System.getProperty("prob.home")}", MessageType.Info) communicator.sendDebugMessage("try to use ${settings.probHome} as prob version instead of " +
// val result = checkProBVersionSetting(settings.probHome) System.getProperty("prob.home"), MessageType.Info)
// if(!result){ val result = checkProBVersionSetting(settings.probHome)
// throw CouldNotFindProBHomeException("searched at ${settings.probHome} for prob but found nothing") if(!result){
//} throw CouldNotFindProBHomeException("searched at ${settings.probHome} for prob but found nothing")
}
communicator.sendDebugMessage("success!", MessageType.Info) communicator.sendDebugMessage("success!", MessageType.Info)
communicator.sendDebugMessage("checking document", MessageType.Info) communicator.sendDebugMessage("checking document", MessageType.Info)
return kernel.check(path, ProBSettings(wdChecks = settings.wdChecks, strictChecks = settings.strictChecks, performanceHints = settings.performanceHints)) return kernel.check(path, ProBSettings(wdChecks = settings.wdChecks, strictChecks = settings.strictChecks,
performanceHints = settings.performanceHints))
} }
} }
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment