diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:47 -0400 |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Domains/Examples/ModelGenExampleFAM_plugin/model | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/model')
-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 3b138659..5f638164 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | |||
@@ -1,5 +1,6 @@ | |||
1 | <<<<<<< HEAD | 1 | <<<<<<< HEAD |
2 | <<<<<<< HEAD | 2 | <<<<<<< HEAD |
3 | <<<<<<< HEAD | ||
3 | <?xml version="1.0" encoding="UTF-8"?> | 4 | <?xml version="1.0" encoding="UTF-8"?> |
4 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 5 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
5 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | 6 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" |
@@ -203,3 +204,74 @@ | |||
203 | </eClassifiers> | 204 | </eClassifiers> |
204 | </ecore:EPackage> | 205 | </ecore:EPackage> |
205 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation | 206 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation |
207 | ======= | ||
208 | <?xml version="1.0" encoding="UTF-8"?> | ||
209 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
210 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
211 | nsPrefix="functionalarchitecture"> | ||
212 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
213 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
214 | </eAnnotations> | ||
215 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true"> | ||
216 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
217 | containment="true" eOpposite="#//FunctionalInterface/element"/> | ||
218 | <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel" | ||
219 | volatile="true" transient="true"> | ||
220 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
221 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
222 | </eAnnotations> | ||
223 | </eStructuralFeatures> | ||
224 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function" | ||
225 | eOpposite="#//Function/subElements"/> | ||
226 | </eClassifiers> | ||
227 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel"> | ||
228 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1" | ||
229 | eType="#//FunctionalElement" containment="true"/> | ||
230 | </eClassifiers> | ||
231 | <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement"> | ||
232 | <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1" | ||
233 | eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/> | ||
234 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType" | ||
235 | volatile="true" transient="true"> | ||
236 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
237 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
238 | </eAnnotations> | ||
239 | </eStructuralFeatures> | ||
240 | </eClassifiers> | ||
241 | <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator"> | ||
242 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData" | ||
243 | eOpposite="#//FunctionalData/terminator"/> | ||
244 | </eClassifiers> | ||
245 | <eClassifiers xsi:type="ecore:EClass" name="InformationLink"> | ||
246 | <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput" | ||
247 | eOpposite="#//FunctionalOutput/outgoingLinks"/> | ||
248 | <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput" | ||
249 | eOpposite="#//FunctionalInput/IncomingLinks"/> | ||
250 | </eClassifiers> | ||
251 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface"> | ||
252 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData" | ||
253 | containment="true" eOpposite="#//FunctionalData/interface"/> | ||
254 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement" | ||
255 | eOpposite="#//FunctionalElement/interface"/> | ||
256 | </eClassifiers> | ||
257 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData"> | ||
258 | <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1" | ||
259 | eType="#//InformationLink" eOpposite="#//InformationLink/to"/> | ||
260 | </eClassifiers> | ||
261 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData"> | ||
262 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1" | ||
263 | eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/> | ||
264 | </eClassifiers> | ||
265 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true"> | ||
266 | <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator" | ||
267 | containment="true" eOpposite="#//FAMTerminator/data"/> | ||
268 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
269 | eOpposite="#//FunctionalInterface/data"/> | ||
270 | </eClassifiers> | ||
271 | <eClassifiers xsi:type="ecore:EEnum" name="FunctionType"> | ||
272 | <eLiterals name="Root"/> | ||
273 | <eLiterals name="Intermediate" value="1"/> | ||
274 | <eLiterals name="Leaf" value="2"/> | ||
275 | </eClassifiers> | ||
276 | </ecore:EPackage> | ||
277 | >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code | ||