aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java6
1 files changed, 2 insertions, 4 deletions
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;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; 6import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;
7import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor; 7import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor;
8import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; 8import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace;
9import java.util.LinkedList;
10import java.util.Map; 9import java.util.Map;
11import org.eclipse.emf.common.util.EList; 10import org.eclipse.emf.common.util.EList;
12import org.eclipse.emf.ecore.EObject; 11import org.eclipse.emf.ecore.EObject;
@@ -31,10 +30,9 @@ public class FAMTest {
31 map.put("logicproblem", _xMIResourceFactoryImpl); 30 map.put("logicproblem", _xMIResourceFactoryImpl);
32 InputOutput.<String>println("Input and output workspaces are created"); 31 InputOutput.<String>println("Input and output workspaces are created");
33 final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE); 32 final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE);
34 final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel2.xmi"); 33 final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FaModel.xmi");
35 final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance()); 34 final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance());
36 InputOutput.<String>println("DSL loaded"); 35 InputOutput.<String>println("DSL loaded");
37 LinkedList<EObject> _linkedList = new LinkedList<EObject>(); 36 GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace);
38 GeneralTest.createAndSolveProblem(metamodel, _linkedList, queries, workspace);
39 } 37 }
40} 38}