diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation')
2 files changed, 20 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend new file mode 100644 index 00000000..542289d4 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend | |||
@@ -0,0 +1,16 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz | ||
2 | |||
3 | import guru.nidi.graphviz.engine.GraphvizV8Engine | ||
4 | |||
5 | class GraphvizV8WithMemory extends GraphvizV8Engine { | ||
6 | val int memory; | ||
7 | new(int memory) { | ||
8 | this.memory = memory | ||
9 | //this. | ||
10 | } | ||
11 | |||
12 | override protected jsInitEnv() { | ||
13 | println super.jsInitEnv() | ||
14 | super.jsInitEnv() | ||
15 | } | ||
16 | } | ||
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 |