aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-07-05 14:51:12 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-07-05 14:51:12 +0200
commit35d887b2b0a2fcaf480019f070bd6c58b325d23f (patch)
tree1ed8a0dbd26959b243e7afd997fa800d958b4f9d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src
parentFixing multiple true/false + bug preventing generation without PS (diff)
downloadVIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.tar.gz
VIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.tar.zst
VIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.zip
Added support for running application in plain java.
(However, I might added several unnecessary dependencies to the visualisation package.)
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend8
1 files changed, 6 insertions, 2 deletions
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
11import java.util.concurrent.CompletableFuture 11import java.util.concurrent.CompletableFuture
12import java.util.concurrent.LinkedBlockingQueue 12import java.util.concurrent.LinkedBlockingQueue
13import org.eclipse.xtend.lib.annotations.Data 13import org.eclipse.xtend.lib.annotations.Data
14import java.util.function.Consumer
14 15
15class VisualisationQueque { 16class VisualisationQueque {
16 val BlockingQueue<VisualisationQueueEntry> taskQueue = new LinkedBlockingQueue 17 val BlockingQueue<VisualisationQueueEntry> taskQueue = new LinkedBlockingQueue
@@ -43,9 +44,12 @@ class VisualisationQueque {
43 // do nothing 44 // do nothing
44 } else { 45 } else {
45 runnerThread = new Thread(new Runnable() { 46 runnerThread = new Thread(new Runnable() {
46 val engine = new GraphvizV8Engine()
47
48 override run() { 47 override run() {
48 val engine = new GraphvizV8Engine()
49 val nullConsumer = new Consumer<GraphvizEngine>() {
50 override accept(GraphvizEngine t) {}
51 }
52 engine.init(nullConsumer,nullConsumer)
49 //println("Visualisation thread started") 53 //println("Visualisation thread started")
50 while(true) { 54 while(true) {
51 val head = taskQueue.take 55 val head = taskQueue.take