diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-15 01:17:27 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-15 01:17:27 +0200 |
commit | 5a878bb3c28f28cb26ded9349a561c8b2f2f0871 (patch) | |
tree | e323ca43175c1193130a6cd743a39bd79f27067b /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme | |
parent | Alloy type mapping fix (diff) | |
download | VIATRA-Generator-5a878bb3c28f28cb26ded9349a561c8b2f2f0871.tar.gz VIATRA-Generator-5a878bb3c28f28cb26ded9349a561c8b2f2f0871.tar.zst VIATRA-Generator-5a878bb3c28f28cb26ded9349a561c8b2f2f0871.zip |
javascript engine memory increased for visualizing
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme')
-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, 4 insertions, 4 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 b067ba7d..6f003f80 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 | |||
@@ -3,15 +3,15 @@ package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz | |||
3 | import guru.nidi.graphviz.engine.Format | 3 | import guru.nidi.graphviz.engine.Format |
4 | import guru.nidi.graphviz.engine.Graphviz | 4 | import guru.nidi.graphviz.engine.Graphviz |
5 | import guru.nidi.graphviz.engine.GraphvizEngine | 5 | import guru.nidi.graphviz.engine.GraphvizEngine |
6 | import guru.nidi.graphviz.engine.GraphvizV8Engine | ||
7 | import guru.nidi.graphviz.model.Graph | 6 | import guru.nidi.graphviz.model.Graph |
8 | import java.io.File | 7 | import java.io.File |
9 | import java.io.IOException | 8 | import java.io.IOException |
10 | import java.util.concurrent.BlockingQueue | 9 | import java.util.concurrent.BlockingQueue |
11 | import java.util.concurrent.CompletableFuture | 10 | import java.util.concurrent.CompletableFuture |
12 | import java.util.concurrent.LinkedBlockingQueue | 11 | import java.util.concurrent.LinkedBlockingQueue |
13 | import org.eclipse.xtend.lib.annotations.Data | ||
14 | import java.util.function.Consumer | 12 | import java.util.function.Consumer |
13 | import org.eclipse.xtend.lib.annotations.Data | ||
14 | import guru.nidi.graphviz.engine.GraphvizV8Engine | ||
15 | 15 | ||
16 | class VisualisationQueque { | 16 | class VisualisationQueque { |
17 | val BlockingQueue<VisualisationQueueEntry> taskQueue = new LinkedBlockingQueue | 17 | val BlockingQueue<VisualisationQueueEntry> taskQueue = new LinkedBlockingQueue |
@@ -45,7 +45,7 @@ class VisualisationQueque { | |||
45 | } else { | 45 | } else { |
46 | runnerThread = new Thread(new Runnable() { | 46 | runnerThread = new Thread(new Runnable() { |
47 | override run() { | 47 | override run() { |
48 | val engine = new GraphvizV8Engine() | 48 | val engine = new GraphvizV8Engine |
49 | val nullConsumer = new Consumer<GraphvizEngine>() { | 49 | val nullConsumer = new Consumer<GraphvizEngine>() { |
50 | override accept(GraphvizEngine t) {} | 50 | override accept(GraphvizEngine t) {} |
51 | } | 51 | } |
@@ -69,7 +69,7 @@ class VisualisationQueque { | |||
69 | private def execute(GraphvizEngine engine, Graph document, File targetFile, Format format) { | 69 | private def execute(GraphvizEngine engine, Graph document, File targetFile, Format format) { |
70 | Graphviz.useEngine(engine); | 70 | Graphviz.useEngine(engine); |
71 | try { | 71 | try { |
72 | Graphviz.fromGraph(document).render(format).toFile(targetFile) | 72 | Graphviz.fromGraph(document).totalMemory(536870912).render(format).toFile(targetFile) |
73 | return null | 73 | return null |
74 | } catch(IOException e){ | 74 | } catch(IOException e){ |
75 | return e.message | 75 | return e.message |