diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-07 17:29:18 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:48 -0400 |
commit | 0380611be40f8f92256455e117f2f3c04b7dd216 (patch) | |
tree | 87feff0aadaa0395299d040bfe83adf77773bd58 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |
parent | Fix Enum handling for Paradox Integration (diff) | |
download | VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.tar.gz VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.tar.zst VIATRA-Generator-0380611be40f8f92256455e117f2f3c04b7dd216.zip |
Improve TypeScope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.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/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index 95bfd87a..a9314376 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -23,12 +23,12 @@ class FAMTest { | |||
23 | println("Input and output workspaces are created") | 23 | println("Input and output workspaces are created") |
24 | 24 | ||
25 | val metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE) | 25 | val metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE) |
26 | val partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel2.xmi") | 26 | val partialModel = GeneralTest.loadPartialModel(inputs, "FaModel.xmi") |
27 | val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance) | 27 | val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance) |
28 | 28 | ||
29 | println("DSL loaded") | 29 | println("DSL loaded") |
30 | 30 | ||
31 | GeneralTest.createAndSolveProblem(metamodel, new LinkedList<EObject>, queries, workspace) | 31 | GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace) |
32 | } | 32 | } |
33 | 33 | ||
34 | 34 | ||