Added support for running application in plain java.

(However, I might added several unnecessary dependencies to the
visualisation package.)

1 files changed, 12 insertions, 8 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
index 1d8c473f..030d2b9e 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
@@ -144,15 +144,19 @@ class ScriptConsole {
         

         private def MessageConsole prepareRuntimeConsole() {

                 val plugin = ConsolePlugin.getDefault();

-                val conMan = plugin.getConsoleManager();

-                val existingConsoles = conMan.getConsoles();

-                val existingConsolesWithID = existingConsoles.filter[it.name.equals(consoleID)]

-                if(existingConsolesWithID.empty) {

-                        val MessageConsole res = new MessageConsole(consoleID,null)

-                        conMan.addConsoles(#[res]);

-                        return res

+                if(plugin === null) {

+                        return null

                 } else {

-                        return existingConsolesWithID.head as MessageConsole

+                        val conMan = plugin.getConsoleManager();

+                        val existingConsoles = conMan.getConsoles();

+                        val existingConsolesWithID = existingConsoles.filter[it.name.equals(consoleID)]

+                        if(existingConsolesWithID.empty) {

+                                val MessageConsole res = new MessageConsole(consoleID,null)

+                                conMan.addConsoles(#[res]);

+                                return res

+                        } else {

+                                return existingConsolesWithID.head as MessageConsole

+                        }

                 }

         }