1 files changed, 69 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
new file mode 100644
index 00000000..d8331ba8
--- /dev/null
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
@@ -0,0 +1,69 @@
+<?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="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam"
+    nsPrefix="functionalarchitecture">
+  <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="hu.bme.mit.inf.dslreasoner.domains.transima.fam.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="hu.bme.mit.inf.dslreasoner.domains.transima.fam.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/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore new file mode 100644 index 00000000..d8331ba8 --- /dev/null +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
@@ -0,0 +1,69 @@
	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="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam"
	4	nsPrefix="functionalarchitecture">
	5	<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
	6	<details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
	7	</eAnnotations>
	8	<eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
	9	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	10	containment="true" eOpposite="#//FunctionalInterface/element"/>
	11	<eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
	12	volatile="true" transient="true" derived="true">
	13	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	14	<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
	15	</eAnnotations>
	16	</eStructuralFeatures>
	17	<eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
	18	eOpposite="#//Function/subElements"/>
	19	</eClassifiers>
	20	<eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
	21	<eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
	22	eType="#//FunctionalElement" containment="true"/>
	23	</eClassifiers>
	24	<eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
	25	<eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
	26	eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
	27	<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
	28	changeable="false" volatile="true" transient="true" derived="true">
	29	<eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
	30	<details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
	31	</eAnnotations>
	32	</eStructuralFeatures>
	33	</eClassifiers>
	34	<eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
	35	<eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
	36	eOpposite="#//FunctionalData/terminator"/>
	37	</eClassifiers>
	38	<eClassifiers xsi:type="ecore:EClass" name="InformationLink">
	39	<eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
	40	eOpposite="#//FunctionalOutput/outgoingLinks"/>
	41	<eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
	42	eOpposite="#//FunctionalInput/IncomingLinks"/>
	43	</eClassifiers>
	44	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
	45	<eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
	46	containment="true" eOpposite="#//FunctionalData/interface"/>
	47	<eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
	48	eOpposite="#//FunctionalElement/interface"/>
	49	</eClassifiers>
	50	<eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
	51	<eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
	52	eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
	53	</eClassifiers>
	54	<eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
	55	<eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
	56	eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
	57	</eClassifiers>
	58	<eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
	59	<eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
	60	containment="true" eOpposite="#//FAMTerminator/data"/>
	61	<eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
	62	eOpposite="#//FunctionalInterface/data"/>
	63	</eClassifiers>
	64	<eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
	65	<eLiterals name="Root"/>
	66	<eLiterals name="Intermediate" value="1"/>
	67	<eLiterals name="Leaf" value="2"/>
	68	</eClassifiers>
	69	</ecore:EPackage>