diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-14 03:45:46 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:51 -0400 |
commit | d7730cb0d684d6324622021a310d9b4a53e7531c (patch) | |
tree | b631b8c666448b948bdf670fbf5ad7c2277496dd /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire | |
parent | Implement type scope for specific types (diff) | |
download | VIATRA-Generator-d7730cb0d684d6324622021a310d9b4a53e7531c.tar.gz VIATRA-Generator-d7730cb0d684d6324622021a310d9b4a53e7531c.tar.zst VIATRA-Generator-d7730cb0d684d6324622021a310d9b4a53e7531c.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')
2 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.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index ff2a8e18..ce6042ea 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin | |||
Binary files differ | |||
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(), |