Build with Eclipse 2018.12, generated files change

author: Kristóf Marussy <kris7topher@gmail.com> 2019-01-11 15:41:57 +0100
committer: Kristóf Marussy <kris7topher@gmail.com> 2019-02-19 19:18:25 +0100
commit: 2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd (patch)
tree: 6500decbc620c96a0b60be61db3ec8d0c54bca67 /Domains/Examples
parent: Created new module to load referred patterns. hacked metamodel linking. (diff)
download: VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.tar.gz
VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.tar.zst
VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.zip
3 files changed, 102 insertions, 102 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF b/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF
index f1f5d18c..077e646b 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF
@@ -7,16 +7,16 @@ Bundle-ClassPath: .
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin
 Export-Package: functionalarchitecture,
-  functionalarchitecture.impl,
+ functionalarchitecture.impl,
-  functionalarchitecture.util,
+ functionalarchitecture.util,
-  hu.bme.mit.inf.dslreasoner.domains.transima.fam
+ hu.bme.mit.inf.dslreasoner.domains.transima.fam
 Require-Bundle: ModelGenExampleFAM_plugin,
-  org.eclipse.viatra.addon.querybasedfeatures.runtime,
+ org.eclipse.viatra.addon.querybasedfeatures.runtime,
-  org.eclipse.viatra.query.runtime,
+ org.eclipse.viatra.query.runtime,
-  org.apache.log4j;bundle-version="1.2.15",
+ org.apache.log4j;bundle-version="1.2.15",
-  com.google.guava;bundle-version="15.0.0",
+ com.google.guava;bundle-version="15.0.0",
-  org.eclipse.core.runtime,
+ org.eclipse.core.runtime,
-  org.eclipse.emf.ecore;visibility:=reexport
+ org.eclipse.emf.ecore;visibility:=reexport
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy
 Automatic-Module-Name: ModelGenExampleFAM_plugin
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/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
index 3dce57aa..213ec0ed 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -1,24 +1,24 @@
-<?xml version="1.0" encoding="UTF-8"?><plugin>
+<?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">
+  <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"/>
+    <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
-  </extension>
+  </extension>
-  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
+  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
-    <wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
+    <wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
-  </extension>
+  </extension>
-  <extension point="org.eclipse.emf.ecore.generated_package">
+  <extension point="org.eclipse.emf.ecore.generated_package">
-    <!-- @generated FamMetamodel -->
+    <!-- @generated FamMetamodel -->
-    <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
+    <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
-  </extension>
+  </extension>
-  <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">
+  <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">
+    <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.terminatorAndInformation"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
+      <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.rootElements"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasRoot"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasRoot"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasInt"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasInt"/>
-      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasLeaf"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasLeaf"/>
-    </group>
+    </group>
-  </extension>
+  </extension>
-</plugin>
+</plugin>
author	Kristóf Marussy <kris7topher@gmail.com>	2019-01-11 15:41:57 +0100
committer	Kristóf Marussy <kris7topher@gmail.com>	2019-02-19 19:18:25 +0100
commit	2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd (patch)
tree	6500decbc620c96a0b60be61db3ec8d0c54bca67 /Domains/Examples
parent	Created new module to load referred patterns. hacked metamodel linking. (diff)
download	VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.tar.gz VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.tar.zst VIATRA-Generator-2f99ce37e5380c8e53fb3515cc2bc5d48bd3d7fd.zip

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF b/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF index f1f5d18c..077e646b 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF +++ b/Domains/Examples/ModelGenExampleFAM_plugin/META-INF/MANIFEST.MF
@@ -7,16 +7,16 @@ Bundle-ClassPath: .
7	Bundle-Vendor: %providerName	7	Bundle-Vendor: %providerName
8	Bundle-Localization: plugin	8	Bundle-Localization: plugin
9	Export-Package: functionalarchitecture,	9	Export-Package: functionalarchitecture,
10	functionalarchitecture.impl,	10	functionalarchitecture.impl,
11	functionalarchitecture.util,	11	functionalarchitecture.util,
12	hu.bme.mit.inf.dslreasoner.domains.transima.fam	12	hu.bme.mit.inf.dslreasoner.domains.transima.fam
13	Require-Bundle: ModelGenExampleFAM_plugin,	13	Require-Bundle: ModelGenExampleFAM_plugin,
14	org.eclipse.viatra.addon.querybasedfeatures.runtime,	14	org.eclipse.viatra.addon.querybasedfeatures.runtime,
15	org.eclipse.viatra.query.runtime,	15	org.eclipse.viatra.query.runtime,
16	org.apache.log4j;bundle-version="1.2.15",	16	org.apache.log4j;bundle-version="1.2.15",
17	com.google.guava;bundle-version="15.0.0",	17	com.google.guava;bundle-version="15.0.0",
18	org.eclipse.core.runtime,	18	org.eclipse.core.runtime,
19	org.eclipse.emf.ecore;visibility:=reexport	19	org.eclipse.emf.ecore;visibility:=reexport
20	Bundle-RequiredExecutionEnvironment: JavaSE-1.8	20	Bundle-RequiredExecutionEnvironment: JavaSE-1.8
21	Bundle-ActivationPolicy: lazy	21	Bundle-ActivationPolicy: lazy
22	Automatic-Module-Name: ModelGenExampleFAM_plugin	22	Automatic-Module-Name: ModelGenExampleFAM_plugin


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>


diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml index 3dce57aa..213ec0ed 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml +++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -1,24 +1,24 @@
1	<?xml version="1.0" encoding="UTF-8"?><plugin>	1	<?xml version="1.0" encoding="UTF-8"?><plugin>
2	<extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">	2	<extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
3	<wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>	3	<wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
4	</extension>	4	</extension>
5	<extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">	5	<extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
6	<wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>	6	<wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
7	</extension>	7	</extension>
8	<extension point="org.eclipse.emf.ecore.generated_package">	8	<extension point="org.eclipse.emf.ecore.generated_package">
9	<!-- @generated FamMetamodel -->	9	<!-- @generated FamMetamodel -->
10	<package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>	10	<package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
11	</extension>	11	</extension>
12	<extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">	12	<extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">
13	<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">	13	<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">
14	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>	14	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>
15	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>	15	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
16	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>	16	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>
17	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>	17	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
18	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>	18	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
19	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasRoot"/>	19	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasRoot"/>
20	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasInt"/>	20	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasInt"/>
21	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasLeaf"/>	21	<query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.hasLeaf"/>
22	</group>	22	</group>
23	</extension>	23	</extension>
24	</plugin>	24	</plugin>