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/src/ca/mcgill/ecse | |
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/src/ca/mcgill/ecse')
-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( |