diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo')
3 files changed, 40 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.CpsMdeOptimiserMain.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.CpsMdeOptimiserMain.xtendbin index 9d288343..c7d29222 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.CpsMdeOptimiserMain.xtendbin +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.CpsMdeOptimiserMain.xtendbin | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.ExcludedOptimisationInterpreter.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.ExcludedOptimisationInterpreter.xtendbin index 46cce8d1..40ce34e3 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.ExcludedOptimisationInterpreter.xtendbin +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.ExcludedOptimisationInterpreter.xtendbin | |||
Binary files differ | |||
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 index 288505a1..7a2a7e99 100644 --- 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 | |||
@@ -5,13 +5,20 @@ import hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage; | |||
5 | import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem; | 5 | import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem; |
6 | import hu.bme.mit.inf.dslreasoner.domains.cps.generator.CpsGenerator; | 6 | import hu.bme.mit.inf.dslreasoner.domains.cps.generator.CpsGenerator; |
7 | import hu.bme.mit.inf.dslreasoner.domains.cps.mdeo.ExcludedRun; | 7 | import hu.bme.mit.inf.dslreasoner.domains.cps.mdeo.ExcludedRun; |
8 | import java.io.BufferedReader; | ||
9 | import java.io.BufferedWriter; | ||
10 | import java.io.FileReader; | ||
11 | import java.io.FileWriter; | ||
12 | import java.util.Collections; | ||
8 | import java.util.Map; | 13 | import java.util.Map; |
14 | import java.util.Set; | ||
9 | import org.eclipse.emf.common.util.URI; | 15 | import org.eclipse.emf.common.util.URI; |
10 | import org.eclipse.emf.ecore.EPackage; | 16 | import org.eclipse.emf.ecore.EPackage; |
11 | import org.eclipse.emf.ecore.resource.Resource; | 17 | import org.eclipse.emf.ecore.resource.Resource; |
12 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | 18 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; |
13 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | 19 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; |
14 | import org.eclipse.xtext.xbase.lib.Exceptions; | 20 | import org.eclipse.xtext.xbase.lib.Exceptions; |
21 | import org.eclipse.xtext.xbase.lib.Pair; | ||
15 | import uk.ac.kcl.inf.mdeoptimiser.languages.MoptStandaloneSetup; | 22 | import uk.ac.kcl.inf.mdeoptimiser.languages.MoptStandaloneSetup; |
16 | 23 | ||
17 | @SuppressWarnings("all") | 24 | @SuppressWarnings("all") |
@@ -32,15 +39,47 @@ public class CpsMdeOptimiserMain { | |||
32 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | 39 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); |
33 | _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl); | 40 | _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl); |
34 | EPackage.Registry.INSTANCE.put(CpsPackage.eNS_URI, CpsPackage.eINSTANCE); | 41 | EPackage.Registry.INSTANCE.put(CpsPackage.eNS_URI, CpsPackage.eINSTANCE); |
35 | final CpsGenerator generator = new CpsGenerator(1, 4, 2); | 42 | final CpsGenerator generator = new CpsGenerator(1, 4, 1); |
36 | final CyberPhysicalSystem problem = generator.generateCpsProblem(); | 43 | final CyberPhysicalSystem problem = generator.generateCpsProblem(); |
37 | Resource _eResource = problem.eResource(); | 44 | Resource _eResource = problem.eResource(); |
38 | _eResource.setURI(URI.createFileURI(CpsMdeOptimiserMain.PROBLEM_PATH)); | 45 | _eResource.setURI(URI.createFileURI(CpsMdeOptimiserMain.PROBLEM_PATH)); |
39 | problem.eResource().save(CollectionLiterals.<Object, Object>emptyMap()); | 46 | problem.eResource().save(CollectionLiterals.<Object, Object>emptyMap()); |
47 | Pair<String, String> _mappedTo = Pair.<String, String>of("cps.ecore", CpsPackage.eNS_URI); | ||
48 | CpsMdeOptimiserMain.fixupHenshinModel("model/cps.henshin", "model/cps_fixup.henshin", Collections.<String, String>unmodifiableMap(CollectionLiterals.<String, String>newHashMap(_mappedTo))); | ||
40 | final Injector injector = new MoptStandaloneSetup().createInjectorAndDoEMFRegistration(); | 49 | final Injector injector = new MoptStandaloneSetup().createInjectorAndDoEMFRegistration(); |
41 | injector.<ExcludedRun>getInstance(ExcludedRun.class).run(CpsMdeOptimiserMain.PROJECT_PATH, CpsMdeOptimiserMain.MOPT_PATH); | 50 | injector.<ExcludedRun>getInstance(ExcludedRun.class).run(CpsMdeOptimiserMain.PROJECT_PATH, CpsMdeOptimiserMain.MOPT_PATH); |
42 | } catch (Throwable _e) { | 51 | } catch (Throwable _e) { |
43 | throw Exceptions.sneakyThrow(_e); | 52 | throw Exceptions.sneakyThrow(_e); |
44 | } | 53 | } |
45 | } | 54 | } |
55 | |||
56 | private static void fixupHenshinModel(final String originalPath, final String outputPath, final Map<String, String> remapMap) { | ||
57 | try { | ||
58 | FileReader _fileReader = new FileReader(originalPath); | ||
59 | final BufferedReader reader = new BufferedReader(_fileReader); | ||
60 | try { | ||
61 | FileWriter _fileWriter = new FileWriter(outputPath); | ||
62 | final BufferedWriter writer = new BufferedWriter(_fileWriter); | ||
63 | try { | ||
64 | String line = null; | ||
65 | while (((line = reader.readLine()) != null)) { | ||
66 | { | ||
67 | Set<Map.Entry<String, String>> _entrySet = remapMap.entrySet(); | ||
68 | for (final Map.Entry<String, String> entry : _entrySet) { | ||
69 | line = line.replace(entry.getKey(), entry.getValue()); | ||
70 | } | ||
71 | writer.write(line); | ||
72 | writer.write("\n"); | ||
73 | } | ||
74 | } | ||
75 | } finally { | ||
76 | writer.close(); | ||
77 | } | ||
78 | } finally { | ||
79 | reader.close(); | ||
80 | } | ||
81 | } catch (Throwable _e) { | ||
82 | throw Exceptions.sneakyThrow(_e); | ||
83 | } | ||
84 | } | ||
46 | } | 85 | } |