diff options
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin')
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: . | |||
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> |