From 57e614aabedc176ba9965d0ca5e6daa23c5f4758 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 1 Feb 2019 16:03:30 -0500
Subject: Fix FAM Test. Begin Grammar Fix.

---
 .../ecse/dslreasoner/vampire/icse/FAMTest.java     | 38 ++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java

(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
new file mode 100644
index 00000000..92803b7f
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
@@ -0,0 +1,38 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse;
+
+import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest;
+import functionalarchitecture.FunctionalarchitecturePackage;
+import hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns;
+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.Map;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
+import org.eclipse.xtend2.lib.StringConcatenation;
+import org.eclipse.xtext.xbase.lib.InputOutput;
+
+@SuppressWarnings("all")
+public class FAMTest {
+  public static void main(final String[] args) {
+    StringConcatenation _builder = new StringConcatenation();
+    _builder.append("initialModels/");
+    final FileSystemWorkspace inputs = new FileSystemWorkspace(_builder.toString(), "");
+    StringConcatenation _builder_1 = new StringConcatenation();
+    _builder_1.append("output/FAMTest/");
+    final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder_1.toString(), "");
+    workspace.initAndClear();
+    final Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE;
+    final Map<String, Object> map = reg.getExtensionToFactoryMap();
+    XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl();
+    map.put("logicproblem", _xMIResourceFactoryImpl);
+    InputOutput.<String>println("Input and output workspaces are created");
+    final EcoreMetamodelDescriptor metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE);
+    final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel.xmi");
+    final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance());
+    InputOutput.<String>println("DSL loaded");
+    GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace);
+  }
+}
-- 
cgit v1.2.3-70-g09d2