diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-14 03:45:46 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-14 03:45:46 -0400 |
| commit | 56df1f808fa2289c3e97d45d84bce8acc8937280 (patch) | |
| tree | 8956a784e9bc76f5f05411e891da86776c10629d /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca | |
| 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')
| -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( |