1 files changed, 68 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
new file mode 100644
index 00000000..498e9838
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
@@ -0,0 +1,68 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="fam" nsURI="FamMetamodel" nsPrefix="fam">
+  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
+    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
+  </eAnnotations>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+        containment="true" eOpposite="#//FunctionalInterface/element"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
+        volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.model"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
+        eOpposite="#//Function/subElements"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
+        eType="#//FunctionalElement" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
+        eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
+        changeable="false" volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.type"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
+        eOpposite="#//FunctionalData/terminator"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="InformationLink">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
+        eOpposite="#//FunctionalOutput/outgoingLinks"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
+        eOpposite="#//FunctionalInput/IncomingLinks"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
+        containment="true" eOpposite="#//FunctionalData/interface"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
+        eOpposite="#//FunctionalElement/interface"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
+        eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
+        eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
+        containment="true" eOpposite="#//FAMTerminator/data"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+        eOpposite="#//FunctionalInterface/data"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
+    <eLiterals name="Root"/>
+    <eLiterals name="Intermediate" value="1"/>
+    <eLiterals name="Leaf" value="2"/>
+  </eClassifiers>
+</ecore:EPackage>

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore new file mode 100644 index 00000000..498e9838 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/metamodels/fam.ecore
@@ -0,0 +1,68 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="fam" nsURI="FamMetamodel" nsPrefix="fam">
	4	<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
	5	<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
	6	</eAnnotations>
	7	<eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
	8	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	9	containment="true" eOpposite="#//FunctionalInterface/element"/>
	10	<eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
	11	volatile="true" transient="true" derived="true">
	12	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	13	<details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.model"/>
	14	</eAnnotations>
	15	</eStructuralFeatures>
	16	<eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
	17	eOpposite="#//Function/subElements"/>
	18	</eClassifiers>
	19	<eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
	20	<eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
	21	eType="#//FunctionalElement" containment="true"/>
	22	</eClassifiers>
	23	<eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
	24	<eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
	25	eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
	26	<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
	27	changeable="false" volatile="true" transient="true" derived="true">
	28	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	29	<details key="patternFQN" value="ca.mcgill.ecse.dslreasoner.standalone.test.xyz.type"/>
	30	</eAnnotations>
	31	</eStructuralFeatures>
	32	</eClassifiers>
	33	<eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
	34	<eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
	35	eOpposite="#//FunctionalData/terminator"/>
	36	</eClassifiers>
	37	<eClassifiers xsi:type="ecore:EClass" name="InformationLink">
	38	<eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
	39	eOpposite="#//FunctionalOutput/outgoingLinks"/>
	40	<eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
	41	eOpposite="#//FunctionalInput/IncomingLinks"/>
	42	</eClassifiers>
	43	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
	44	<eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
	45	containment="true" eOpposite="#//FunctionalData/interface"/>
	46	<eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
	47	eOpposite="#//FunctionalElement/interface"/>
	48	</eClassifiers>
	49	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
	50	<eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
	51	eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
	52	</eClassifiers>
	53	<eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
	54	<eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
	55	eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
	56	</eClassifiers>
	57	<eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
	58	<eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
	59	containment="true" eOpposite="#//FAMTerminator/data"/>
	60	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	61	eOpposite="#//FunctionalInterface/data"/>
	62	</eClassifiers>
	63	<eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
	64	<eLiterals name="Root"/>
	65	<eLiterals name="Intermediate" value="1"/>
	66	<eLiterals name="Leaf" value="2"/>
	67	</eClassifiers>
	68	</ecore:EPackage>