From 0380611be40f8f92256455e117f2f3c04b7dd216 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 7 Mar 2019 17:29:18 -0500 Subject: Improve TypeScope handling --- .../xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index dd061008..7b4bb578 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java @@ -6,7 +6,6 @@ import functionalarchitecture.FunctionalarchitecturePackage; import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor; import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; -import java.util.LinkedList; import java.util.Map; import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EObject; @@ -31,10 +30,9 @@ public class FAMTest { map.put("logicproblem", _xMIResourceFactoryImpl); InputOutput.println("Input and output workspaces are created"); final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); - final EList partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel2.xmi"); + final EList partialModel = GeneralTest.loadPartialModel(inputs, "FaModel.xmi"); final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance()); InputOutput.println("DSL loaded"); - LinkedList _linkedList = new LinkedList(); - GeneralTest.createAndSolveProblem(metamodel, _linkedList, queries, workspace); + GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace); } } -- cgit v1.2.3-70-g09d2