diff options
author | 2019-03-14 03:45:46 -0400 | |
---|---|---|
committer | 2020-06-07 19:22:51 -0400 | |
commit | d7730cb0d684d6324622021a310d9b4a53e7531c (patch) | |
tree | b631b8c666448b948bdf670fbf5ad7c2277496dd /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/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/src/ca/mcgill/ecse/dslreasoner/vampire')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index b67a867a..86c9092a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | |||
@@ -65,13 +65,13 @@ class GeneralTest { | |||
65 | // Minimum Scope | 65 | // Minimum Scope |
66 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 66 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
67 | list2MapMin.get(Function.simpleName) | 67 | list2MapMin.get(Function.simpleName) |
68 | ), 3) | 68 | ), 1) |
69 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 69 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
70 | list2MapMin.get(functionalarchitecture.FunctionalInterface.simpleName) | 70 | list2MapMin.get(functionalarchitecture.FunctionalInterface.simpleName) |
71 | ), 2) | 71 | ), 2) |
72 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 72 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
73 | list2MapMin.get(FunctionalOutput.simpleName) | 73 | list2MapMin.get(FunctionalOutput.simpleName) |
74 | ), 1) | 74 | ), 3) |
75 | 75 | ||
76 | // Maximum Scope | 76 | // Maximum Scope |
77 | typeMapMax.put(ecore2Logic.TypeofEClass( | 77 | typeMapMax.put(ecore2Logic.TypeofEClass( |