1 files changed, 69 insertions, 69 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
index d8331ba8..9654ba41 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
@@ -1,69 +1,69 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?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"
+<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"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam"
-    nsPrefix="functionalarchitecture">
+    nsPrefix="functionalarchitecture">
-  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
+  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
-    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
+    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
-  </eAnnotations>
+  </eAnnotations>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
-        containment="true" eOpposite="#//FunctionalInterface/element"/>
+        containment="true" eOpposite="#//FunctionalInterface/element"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"
-        volatile="true" transient="true" derived="true">
+        volatile="true" transient="true" derived="true">
-      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
-        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
-      </eAnnotations>
+      </eAnnotations>
-    </eStructuralFeatures>
+    </eStructuralFeatures>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"
-        eOpposite="#//Function/subElements"/>
+        eOpposite="#//Function/subElements"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1"
-        eType="#//FunctionalElement" containment="true"/>
+        eType="#//FunctionalElement" containment="true"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
+  <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"
-        eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
+        eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"
-        changeable="false" volatile="true" transient="true" derived="true">
+        changeable="false" volatile="true" transient="true" derived="true">
-      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
-        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
-      </eAnnotations>
+      </eAnnotations>
-    </eStructuralFeatures>
+    </eStructuralFeatures>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
+  <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"
-        eOpposite="#//FunctionalData/terminator"/>
+        eOpposite="#//FunctionalData/terminator"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="InformationLink">
+  <eClassifiers xsi:type="ecore:EClass" name="InformationLink">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput"
-        eOpposite="#//FunctionalOutput/outgoingLinks"/>
+        eOpposite="#//FunctionalOutput/outgoingLinks"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput"
-        eOpposite="#//FunctionalInput/IncomingLinks"/>
+        eOpposite="#//FunctionalInput/IncomingLinks"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData"
-        containment="true" eOpposite="#//FunctionalData/interface"/>
+        containment="true" eOpposite="#//FunctionalData/interface"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement"
-        eOpposite="#//FunctionalElement/interface"/>
+        eOpposite="#//FunctionalElement/interface"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1"
-        eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
+        eType="#//InformationLink" eOpposite="#//InformationLink/to"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1"
-        eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
+        eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
+  <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator"
-        containment="true" eOpposite="#//FAMTerminator/data"/>
+        containment="true" eOpposite="#//FAMTerminator/data"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"
-        eOpposite="#//FunctionalInterface/data"/>
+        eOpposite="#//FunctionalInterface/data"/>
-  </eClassifiers>
+  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
+  <eClassifiers xsi:type="ecore:EEnum" name="FunctionType">
-    <eLiterals name="Root"/>
+    <eLiterals name="Root"/>
-    <eLiterals name="Intermediate" value="1"/>
+    <eLiterals name="Intermediate" value="1"/>
-    <eLiterals name="Leaf" value="2"/>
+    <eLiterals name="Leaf" value="2"/>
-  </eClassifiers>
+  </eClassifiers>
-</ecore:EPackage>
+</ecore:EPackage>

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