From b503c81bee920c18806af25393d0a90b8f77dba6 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 7 Oct 2019 00:35:42 -0400
Subject: VAMPIRE: Implement Vampire measurement code

---
 Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml')

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
index 19fa9181..04702ac5 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -1,5 +1,6 @@
 <<<<<<< HEAD
 <<<<<<< HEAD
+<<<<<<< HEAD
 <?xml version="1.0" encoding="UTF-8"?><plugin>
   <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
     <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
@@ -60,3 +61,20 @@
   </extension>
 </plugin>
 >>>>>>> ce5aafc0... VAMPIRE: fix model generation
+=======
+<?xml version="1.0" encoding="UTF-8"?><plugin>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated FamMetamodel -->
+    <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
+  </extension>
+  <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns">
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
+    </group>
+  </extension>
+</plugin>
+>>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code
-- 
cgit v1.2.3-70-g09d2