diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualisationQueque.xtend | 8 |
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 | |||
11 | import java.util.concurrent.CompletableFuture | 11 | import java.util.concurrent.CompletableFuture |
12 | import java.util.concurrent.LinkedBlockingQueue | 12 | import java.util.concurrent.LinkedBlockingQueue |
13 | import org.eclipse.xtend.lib.annotations.Data | 13 | import org.eclipse.xtend.lib.annotations.Data |
14 | import java.util.function.Consumer | ||
14 | 15 | ||
15 | class VisualisationQueque { | 16 | class 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 |