aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-09-27 22:47:51 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-09-27 22:47:51 +0200
commit0d4516ef455e916ffac2702d2bfe727c71789bc0 (patch)
treecb16562d8c29f2df497d876ab46ca1e1e99f8c0b /Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend
parentSet thread stop signal to volatile (diff)
downloadVIATRA-Generator-0d4516ef455e916ffac2702d2bfe727c71789bc0.tar.gz
VIATRA-Generator-0d4516ef455e916ffac2702d2bfe727c71789bc0.tar.zst
VIATRA-Generator-0d4516ef455e916ffac2702d2bfe727c71789bc0.zip
Research paper measurement configuration updates
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend')
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend64
1 files changed, 64 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend
new file mode 100644
index 00000000..f0059a85
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend
@@ -0,0 +1,64 @@
1package hu.bme.mit.inf.dslreasoner.run
2
3import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
4import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
5import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage
6import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace
7import java.io.File
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage
9import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
10import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage
11import org.eclipse.emf.ecore.resource.Resource
12import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml
13import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation
14import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl
15
16class VisualiseAllModelInDirectory {
17 def static void main(String[] args) {
18 LogiclanguagePackage.eINSTANCE.class
19 LogicproblemPackage.eINSTANCE.class
20 PartialinterpretationPackage.eINSTANCE.class
21 Ecore2logicannotationsPackage.eINSTANCE.class
22 Viatra2LogicAnnotationsPackage.eINSTANCE.class
23 Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("*",new XMIResourceFactoryImpl)
24
25 //"D:/Data/ICSE18/Yakindu-WF/Largest-by-Graph-Solver".visualiseModel
26// val folderName = new File("D:/Data/ICSE18/FAM+WF/Largest-by-Graph-Solver")
27// for(subFolderName : folderName.listFiles) {
28// subFolderName.absolutePath.visualiseModel
29// }
30 }
31
32 def static visualiseModel(String folderName) {
33 val file = new File(folderName+"/"+"solution1.partialinterpretation")
34 val hasSource = file.exists
35
36
37 if(hasSource) {
38 val hasPng = new File(folderName+"/"+"solution1.png").exists
39 val hasGml = new File(folderName+"/"+"solution1.gml").exists
40
41 val workspace = new FileSystemWorkspace(folderName,"")
42 val model = workspace.readModel(PartialInterpretation,"solution1.partialinterpretation")
43
44 if(!hasGml) {
45 val partialInterpretation2GML = new PartialInterpretation2Gml
46 val gmlText = partialInterpretation2GML.transform(model)
47 workspace.writeText('''solution1.gml''',gmlText)
48 println('''solution1.gml''')
49 }
50
51 if(!hasPng && model.newElements.size <160) {
52 val visualiser = new GraphvizVisualisation
53 val visualisation = visualiser.visualiseConcretization(model)
54 visualisation.writeToFile(workspace,"solution1")
55 println("solution1.png")
56 println("Need png!")
57 }
58
59 println('''«folderName» visualised''')
60 } else {
61 println('''«folderName» missing''')
62 }
63 }
64}