From b8694fcd581b19161f72f0da288bf72e922455a8 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 13 Jul 2017 14:16:59 +0200 Subject: Repaired dependency --- .../visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 5 ++++- .../hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend | 3 ++- 2 files changed, 6 insertions(+), 2 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf') 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 a4baeadb..81dd97b1 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 @@ -33,6 +33,8 @@ import guru.nidi.graphviz.engine.Engine import guru.nidi.graphviz.attribute.Records import guru.nidi.graphviz.attribute.Attributes import java.util.List +import guru.nidi.graphviz.engine.GraphvizEngine +import guru.nidi.graphviz.engine.GraphvizV8Engine class GraphvizVisualisation implements PartialInterpretationVisualiser { @@ -196,7 +198,7 @@ class GraphvizVisualisation implements PartialInterpretationVisualiser { } protected def typePredicateColor(Set types) { types.averageColor } protected def typePredicateColor(String name) { - val Random random = new Random(name.hashCode+1) + val Random random = new Random(name.hashCode) val rangePicker = [|random.nextInt(128)+128] return #[rangePicker.apply(), rangePicker.apply(), rangePicker.apply()] } @@ -232,6 +234,7 @@ class GraphvisVisualisation implements PartialInterpretationVisualisation { override writeToFile(ReasonerWorkspace workspace, String name) { val path = '''«workspace.workspaceURI.toFileString»/«name».png''' + Graphviz.useEngine(new GraphvizV8Engine()); Graphviz.fromGraph(graph)//.engine(Engine::NEATO) .render(Format.PNG).toFile(new File(path)); } diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend index 75187c26..428973a4 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend @@ -7,7 +7,8 @@ import org.eclipse.emf.ecore.resource.Resource import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl class Test { - def static void main(String[] args) { + def static void main(String[] args) { + println("xxx") val workspace = new FileSystemWorkspace("input/","") PartialinterpretationPackage.eINSTANCE.eClass -- cgit v1.2.3-54-g00ecf