diff options
author | 2018-03-04 16:57:00 -0500 | |
---|---|---|
committer | 2018-03-04 16:57:00 -0500 | |
commit | 8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904 (patch) | |
tree | 148b5c679b4c4143d9d2ce8253372a39eb528525 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu | |
parent | Statistics are appended (diff) | |
download | VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.gz VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.zst VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.zip |
Default visualisation set to .svg
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend index 77646fdd..e4ff4146 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | |||
@@ -229,11 +229,11 @@ class GraphvisVisualisation implements PartialInterpretationVisualisation { | |||
229 | } | 229 | } |
230 | 230 | ||
231 | override writeToFile(ReasonerWorkspace workspace, String name) { | 231 | override writeToFile(ReasonerWorkspace workspace, String name) { |
232 | val file = workspace.getFile('''«name».png''') | 232 | val file = workspace.getFile('''«name».svg''') |
233 | //val bufferedImage = new BufferedImage | 233 | //val bufferedImage = new BufferedImage |
234 | Graphviz.useEngine(new GraphvizV8Engine()); | 234 | Graphviz.useEngine(new GraphvizV8Engine()); |
235 | Graphviz.fromGraph(graph)//.engine(Engine::NEATO) | 235 | Graphviz.fromGraph(graph)//.engine(Engine::NEATO) |
236 | .render(Format.PNG).toFile(file) | 236 | .render(Format.SVG_STANDALONE).toFile(file) |
237 | workspace.refreshFile('''«name».png''') | 237 | workspace.refreshFile('''«name».svg''') |
238 | } | 238 | } |
239 | } | 239 | } |