diff options
author | 2019-03-14 03:45:46 -0400 | |
---|---|---|
committer | 2019-03-14 03:45:46 -0400 | |
commit | 56df1f808fa2289c3e97d45d84bce8acc8937280 (patch) | |
tree | 8956a784e9bc76f5f05411e891da86776c10629d /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |
parent | Implement type scope for specific types (diff) | |
download | VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.tar.gz VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.tar.zst VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.zip |
Implement Containment mapping (partially) and revisit enum mapping
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java index 7d3be50d..13a0e74a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |||
@@ -85,13 +85,13 @@ public class GeneralTest { | |||
85 | final Map<String, EClass> list2MapMax = IterableExtensions.<String, EClass>toMap(metamodel.getClasses(), _function_1); | 85 | final Map<String, EClass> list2MapMax = IterableExtensions.<String, EClass>toMap(metamodel.getClasses(), _function_1); |
86 | typeMapMin.put( | 86 | typeMapMin.put( |
87 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 87 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
88 | list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(3)); | 88 | list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(1)); |
89 | typeMapMin.put( | 89 | typeMapMin.put( |
90 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 90 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
91 | list2MapMin.get(functionalarchitecture.FunctionalInterface.class.getSimpleName())), Integer.valueOf(2)); | 91 | list2MapMin.get(functionalarchitecture.FunctionalInterface.class.getSimpleName())), Integer.valueOf(2)); |
92 | typeMapMin.put( | 92 | typeMapMin.put( |
93 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 93 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
94 | list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(1)); | 94 | list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(3)); |
95 | typeMapMax.put( | 95 | typeMapMax.put( |
96 | ecore2Logic.TypeofEClass( | 96 | ecore2Logic.TypeofEClass( |
97 | modelGenerationProblem.getTrace(), | 97 | modelGenerationProblem.getTrace(), |