diff options
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore')
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore index a8a3bf64..3b138659 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | |||
@@ -1,4 +1,5 @@ | |||
1 | <<<<<<< HEAD | 1 | <<<<<<< HEAD |
2 | <<<<<<< HEAD | ||
2 | <?xml version="1.0" encoding="UTF-8"?> | 3 | <?xml version="1.0" encoding="UTF-8"?> |
3 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 4 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
4 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | 5 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" |
@@ -131,3 +132,74 @@ | |||
131 | </eClassifiers> | 132 | </eClassifiers> |
132 | </ecore:EPackage> | 133 | </ecore:EPackage> |
133 | >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling | 134 | >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling |
135 | ======= | ||
136 | <?xml version="1.0" encoding="UTF-8"?> | ||
137 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
138 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
139 | nsPrefix="functionalarchitecture"> | ||
140 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
141 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
142 | </eAnnotations> | ||
143 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true"> | ||
144 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
145 | containment="true" eOpposite="#//FunctionalInterface/element"/> | ||
146 | <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel" | ||
147 | volatile="true" transient="true" derived="true"> | ||
148 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
149 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
150 | </eAnnotations> | ||
151 | </eStructuralFeatures> | ||
152 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function" | ||
153 | eOpposite="#//Function/subElements"/> | ||
154 | </eClassifiers> | ||
155 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel"> | ||
156 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1" | ||
157 | eType="#//FunctionalElement" containment="true"/> | ||
158 | </eClassifiers> | ||
159 | <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement"> | ||
160 | <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1" | ||
161 | eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/> | ||
162 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType" | ||
163 | changeable="false" volatile="true" transient="true" derived="true"> | ||
164 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
165 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
166 | </eAnnotations> | ||
167 | </eStructuralFeatures> | ||
168 | </eClassifiers> | ||
169 | <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator"> | ||
170 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData" | ||
171 | eOpposite="#//FunctionalData/terminator"/> | ||
172 | </eClassifiers> | ||
173 | <eClassifiers xsi:type="ecore:EClass" name="InformationLink"> | ||
174 | <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput" | ||
175 | eOpposite="#//FunctionalOutput/outgoingLinks"/> | ||
176 | <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput" | ||
177 | eOpposite="#//FunctionalInput/IncomingLinks"/> | ||
178 | </eClassifiers> | ||
179 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface"> | ||
180 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData" | ||
181 | containment="true" eOpposite="#//FunctionalData/interface"/> | ||
182 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement" | ||
183 | eOpposite="#//FunctionalElement/interface"/> | ||
184 | </eClassifiers> | ||
185 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData"> | ||
186 | <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1" | ||
187 | eType="#//InformationLink" eOpposite="#//InformationLink/to"/> | ||
188 | </eClassifiers> | ||
189 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData"> | ||
190 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1" | ||
191 | eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/> | ||
192 | </eClassifiers> | ||
193 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true"> | ||
194 | <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator" | ||
195 | containment="true" eOpposite="#//FAMTerminator/data"/> | ||
196 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
197 | eOpposite="#//FunctionalInterface/data"/> | ||
198 | </eClassifiers> | ||
199 | <eClassifiers xsi:type="ecore:EEnum" name="FunctionType"> | ||
200 | <eLiterals name="Root"/> | ||
201 | <eLiterals name="Intermediate" value="1"/> | ||
202 | <eLiterals name="Leaf" value="2"/> | ||
203 | </eClassifiers> | ||
204 | </ecore:EPackage> | ||
205 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation | ||