Added support for running application in plain java.

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

2 files changed, 33 insertions, 4 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
index 18331278..699c9308 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
@@ -12,8 +12,33 @@ Require-Bundle: com.google.guava,
  hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",

  hu.bme.mit.inf.dslreasoner.logic.model.validation;bundle-version="0.0.1",

  org.eclipse.emf.ecore.xmi;bundle-version="2.12.0",

- guru.nidi.graphviz-java;bundle-version="0.2.1"

-Import-Package: org.apache.log4j;version="1.2.15"

+ guru.nidi.graphviz-java;bundle-version="0.2.1";visibility:=reexport,

+ org.apache.batik.transcoder;bundle-version="1.6.0",

+ org.apache.batik.dom;bundle-version="[1.6.1,1.6.2]",

+ org.apache.batik.bridge;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.dom.svg;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.util;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.css;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.parser;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.pdf;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.svggen;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.xml;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.ext.awt;bundle-version="[1.6.0,1.6.1]",

+ org.apache.batik.util.gui;bundle-version="[1.6.0,1.6.1]",

+ org.apache.xerces;bundle-version="2.9.0",

+ org.w3c.dom.svg;bundle-version="1.1.0",

+ org.w3c.css.sac;bundle-version="1.3.1"

+Import-Package: com.eclipsesource.v8;version="4.6.0",

+ com.eclipsesource.v8.debug;version="4.6.0",

+ com.eclipsesource.v8.utils;version="4.6.0",

+ com.eclipsesource.v8.utils.typedarrays;version="4.6.0",

+ javax.imageio,

+ javax.xml.parsers,

+ org.apache.log4j;version="1.2.15",

+ org.slf4j;version="1.7.2",

+ org.w3c.dom,

+ org.xml.sax,

+ org.xml.sax.helpers

 Export-Package: hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz

 Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.visualisation

 

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend
index 79074bfc..b067ba7d 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend
@@ -11,6 +11,7 @@ import java.util.concurrent.BlockingQueue
 import java.util.concurrent.CompletableFuture

 import java.util.concurrent.LinkedBlockingQueue

 import org.eclipse.xtend.lib.annotations.Data

+import java.util.function.Consumer

 

 class VisualisationQueque {

         val BlockingQueue<VisualisationQueueEntry> taskQueue = new LinkedBlockingQueue

@@ -43,9 +44,12 @@ class VisualisationQueque {
                         // do nothing

                 } else {

                         runnerThread = new Thread(new Runnable() {

-                                val engine = new GraphvizV8Engine()

-                                

                                 override run() {

+                                        val engine = new GraphvizV8Engine()

+                                        val nullConsumer = new Consumer<GraphvizEngine>() {

+                                                override accept(GraphvizEngine t) {}

+                                        }

+                                        engine.init(nullConsumer,nullConsumer)

                                         //println("Visualisation thread started")

                                         while(true) {

                                                 val head = taskQueue.take