diff options
author | 2017-09-27 22:47:51 +0200 | |
---|---|---|
committer | 2017-09-27 22:47:51 +0200 | |
commit | 0d4516ef455e916ffac2702d2bfe727c71789bc0 (patch) | |
tree | cb16562d8c29f2df497d876ab46ca1e1e99f8c0b /Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/VisualiseAllModelInDirectory.xtend | |
parent | Set thread stop signal to volatile (diff) | |
download | VIATRA-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.xtend | 64 |
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 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.run | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage | ||
4 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | ||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage | ||
6 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | ||
7 | import java.io.File | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage | ||
9 | import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage | ||
10 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage | ||
11 | import org.eclipse.emf.ecore.resource.Resource | ||
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml | ||
13 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation | ||
14 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | ||
15 | |||
16 | class 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 | } | ||