diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
commit | 6eb760ee960cd3efe51ca6e4107153c09838a1da (patch) | |
tree | 2edd0e21be50265f65f0cfd2fd43f18a252aef02 /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java | |
parent | Dump required Xbase version down to 2.17 (diff) | |
download | VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.gz VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.zst VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.zip |
Clean up CPS and Satellite domains
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java deleted file mode 100644 index c047f255..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/CpsMdeOptimiserMain.java +++ /dev/null | |||
@@ -1,82 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.cps.mdeo; | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage; | ||
4 | import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem; | ||
5 | import hu.bme.mit.inf.dslreasoner.domains.cps.generator.CpsGenerator; | ||
6 | import java.io.BufferedReader; | ||
7 | import java.io.BufferedWriter; | ||
8 | import java.io.FileReader; | ||
9 | import java.io.FileWriter; | ||
10 | import java.util.Collections; | ||
11 | import java.util.Map; | ||
12 | import java.util.Set; | ||
13 | import org.eclipse.emf.common.util.URI; | ||
14 | import org.eclipse.emf.ecore.EPackage; | ||
15 | import org.eclipse.emf.ecore.resource.Resource; | ||
16 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | ||
17 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | ||
18 | import org.eclipse.xtext.xbase.lib.Exceptions; | ||
19 | import org.eclipse.xtext.xbase.lib.Pair; | ||
20 | import uk.ac.kcl.inf.mdeoptimiser.interfaces.cli.Run; | ||
21 | |||
22 | @SuppressWarnings("all") | ||
23 | public class CpsMdeOptimiserMain { | ||
24 | private static final String PROJECT_PATH = "."; | ||
25 | |||
26 | private static final String PROBLEM_PATH = "model/problem.xmi"; | ||
27 | |||
28 | private static final String MOPT_PATH = "src/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/cps.mopt"; | ||
29 | |||
30 | private CpsMdeOptimiserMain() { | ||
31 | new IllegalStateException("This is a static utility class and should not be instantiated directly."); | ||
32 | } | ||
33 | |||
34 | public static void main(final String[] args) { | ||
35 | try { | ||
36 | Map<String, Object> _extensionToFactoryMap = Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap(); | ||
37 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | ||
38 | _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl); | ||
39 | EPackage.Registry.INSTANCE.put(CpsPackage.eNS_URI, CpsPackage.eINSTANCE); | ||
40 | final CpsGenerator generator = new CpsGenerator(1, 4, 1); | ||
41 | final CyberPhysicalSystem problem = generator.generateCpsProblem(); | ||
42 | Resource _eResource = problem.eResource(); | ||
43 | _eResource.setURI(URI.createFileURI(CpsMdeOptimiserMain.PROBLEM_PATH)); | ||
44 | problem.eResource().save(CollectionLiterals.<Object, Object>emptyMap()); | ||
45 | Pair<String, String> _mappedTo = Pair.<String, String>of("cps.ecore", CpsPackage.eNS_URI); | ||
46 | CpsMdeOptimiserMain.fixupHenshinModel("model/cps.henshin", "model/cps_fixup.henshin", Collections.<String, String>unmodifiableMap(CollectionLiterals.<String, String>newHashMap(_mappedTo))); | ||
47 | Run.main(new String[] { "-p", CpsMdeOptimiserMain.PROJECT_PATH, "-m", CpsMdeOptimiserMain.MOPT_PATH }); | ||
48 | } catch (Throwable _e) { | ||
49 | throw Exceptions.sneakyThrow(_e); | ||
50 | } | ||
51 | } | ||
52 | |||
53 | private static void fixupHenshinModel(final String originalPath, final String outputPath, final Map<String, String> remapMap) { | ||
54 | try { | ||
55 | FileReader _fileReader = new FileReader(originalPath); | ||
56 | final BufferedReader reader = new BufferedReader(_fileReader); | ||
57 | try { | ||
58 | FileWriter _fileWriter = new FileWriter(outputPath); | ||
59 | final BufferedWriter writer = new BufferedWriter(_fileWriter); | ||
60 | try { | ||
61 | String line = null; | ||
62 | while (((line = reader.readLine()) != null)) { | ||
63 | { | ||
64 | Set<Map.Entry<String, String>> _entrySet = remapMap.entrySet(); | ||
65 | for (final Map.Entry<String, String> entry : _entrySet) { | ||
66 | line = line.replace(entry.getKey(), entry.getValue()); | ||
67 | } | ||
68 | writer.write(line); | ||
69 | writer.write("\n"); | ||
70 | } | ||
71 | } | ||
72 | } finally { | ||
73 | writer.close(); | ||
74 | } | ||
75 | } finally { | ||
76 | reader.close(); | ||
77 | } | ||
78 | } catch (Throwable _e) { | ||
79 | throw Exceptions.sneakyThrow(_e); | ||
80 | } | ||
81 | } | ||
82 | } | ||