diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-05 13:37:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:22:39 -0400 |
commit | f019f3ec81976f8e05d0c7458aba2f29b18461d0 (patch) | |
tree | d9c338f8ddf33bbdd35018404b57608782796b26 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |
parent | Begin handing of scope and fix type definitions. (diff) | |
download | VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.gz VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.tar.zst VIATRA-Generator-f019f3ec81976f8e05d0c7458aba2f29b18461d0.zip |
Implement type scope handling
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend index e4f6f87a..eb3f4b14 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |||
@@ -1,11 +1,11 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse |
2 | 2 | ||
3 | import functionalarchitecture.FunctionalarchitecturePackage | 3 | import functionalarchitecture.FunctionalarchitecturePackage |
4 | import hu.bme.mit.inf.dslreasoner.domains.y | ||
5 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | 4 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace |
6 | import org.eclipse.emf.ecore.resource.Resource | 5 | import org.eclipse.emf.ecore.resource.Resource |
7 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 6 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
8 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage | 7 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage |
8 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries.YakinduPatterns | ||
9 | 9 | ||
10 | class YakinduTest { | 10 | class YakinduTest { |
11 | def static void main(String[] args) { | 11 | def static void main(String[] args) { |
@@ -23,11 +23,11 @@ class YakinduTest { | |||
23 | 23 | ||
24 | val metamodel = GeneralTest.loadMetamodel(YakindummPackage.eINSTANCE) | 24 | val metamodel = GeneralTest.loadMetamodel(YakindummPackage.eINSTANCE) |
25 | val partialModel = GeneralTest.loadPartialModel(inputs, "Yakindu.xmi") | 25 | val partialModel = GeneralTest.loadPartialModel(inputs, "Yakindu.xmi") |
26 | val queries = GeneralTest.loadQueries(metamodel, | 26 | // val queries = GeneralTest.loadQueries(metamodel, FamPa |
27 | 27 | ||
28 | println("DSL loaded") | 28 | println("DSL loaded") |
29 | 29 | ||
30 | GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace) | 30 | // GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace) |
31 | } | 31 | } |
32 | 32 | ||
33 | 33 | ||