From df12163128073296c4d811fa67b02e37ceb20179 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 5 Mar 2019 13:37:02 -0500 Subject: Implement type scope handling --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend') 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 @@ package ca.mcgill.ecse.dslreasoner.vampire.icse import functionalarchitecture.FunctionalarchitecturePackage -import hu.bme.mit.inf.dslreasoner.domains.y import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace import org.eclipse.emf.ecore.resource.Resource import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage +import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.queries.YakinduPatterns class YakinduTest { def static void main(String[] args) { @@ -23,11 +23,11 @@ class YakinduTest { val metamodel = GeneralTest.loadMetamodel(YakindummPackage.eINSTANCE) val partialModel = GeneralTest.loadPartialModel(inputs, "Yakindu.xmi") - val queries = GeneralTest.loadQueries(metamodel, +// val queries = GeneralTest.loadQueries(metamodel, FamPa println("DSL loaded") - GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace) +// GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace) } -- cgit v1.2.3-54-g00ecf