diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-02-03 15:20:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:44:44 -0400 |
commit | 8e461ef60f59a2cb57ddca31a0b785c1b046e63a (patch) | |
tree | ff27d80e7fc391a155fe70c0bd46d6da028c4b37 /Domains/Examples/ModelGenExampleFAM_plugin/model | |
parent | VAMPIRE: Further Post-submission updates (diff) | |
download | VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.gz VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.zst VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.zip |
VAMPIRE: last commit
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/model')
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | 73 | ||||
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.genmodel | 1 |
2 files changed, 74 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore index 5f638164..89fbcfcb 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | |||
@@ -1,6 +1,7 @@ | |||
1 | <<<<<<< HEAD | 1 | <<<<<<< HEAD |
2 | <<<<<<< HEAD | 2 | <<<<<<< HEAD |
3 | <<<<<<< HEAD | 3 | <<<<<<< HEAD |
4 | <<<<<<< HEAD | ||
4 | <?xml version="1.0" encoding="UTF-8"?> | 5 | <?xml version="1.0" encoding="UTF-8"?> |
5 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 6 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
6 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | 7 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" |
@@ -275,3 +276,75 @@ | |||
275 | </eClassifiers> | 276 | </eClassifiers> |
276 | </ecore:EPackage> | 277 | </ecore:EPackage> |
277 | >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code | 278 | >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code |
279 | ======= | ||
280 | <?xml version="1.0" encoding="UTF-8"?> | ||
281 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
282 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="functionalarchitecture" nsURI="http://www.inf.mit.bme.hu/viatrasolver/example/fam" | ||
283 | nsPrefix="functionalarchitecture"> | ||
284 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
285 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
286 | </eAnnotations> | ||
287 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalElement" abstract="true"> | ||
288 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
289 | containment="true" eOpposite="#//FunctionalInterface/element"/> | ||
290 | <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel" | ||
291 | volatile="true" transient="true"> | ||
292 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
293 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
294 | </eAnnotations> | ||
295 | </eStructuralFeatures> | ||
296 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function" | ||
297 | eOpposite="#//Function/subElements"/> | ||
298 | </eClassifiers> | ||
299 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalArchitectureModel"> | ||
300 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootElements" upperBound="-1" | ||
301 | eType="#//FunctionalElement" containment="true"/> | ||
302 | </eClassifiers> | ||
303 | <eClassifiers xsi:type="ecore:EClass" name="Function" eSuperTypes="#//FunctionalElement"> | ||
304 | <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1" | ||
305 | eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/> | ||
306 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType" | ||
307 | volatile="true" transient="true"> | ||
308 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
309 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
310 | </eAnnotations> | ||
311 | </eStructuralFeatures> | ||
312 | </eClassifiers> | ||
313 | <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator"> | ||
314 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData" | ||
315 | eOpposite="#//FunctionalData/terminator"/> | ||
316 | </eClassifiers> | ||
317 | <eClassifiers xsi:type="ecore:EClass" name="InformationLink"> | ||
318 | <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//FunctionalOutput" | ||
319 | eOpposite="#//FunctionalOutput/outgoingLinks"/> | ||
320 | <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" eType="#//FunctionalInput" | ||
321 | eOpposite="#//FunctionalInput/IncomingLinks"/> | ||
322 | </eClassifiers> | ||
323 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInterface"> | ||
324 | <eStructuralFeatures xsi:type="ecore:EReference" name="data" upperBound="-1" eType="#//FunctionalData" | ||
325 | containment="true" eOpposite="#//FunctionalData/interface"/> | ||
326 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//FunctionalElement" | ||
327 | eOpposite="#//FunctionalElement/interface"/> | ||
328 | </eClassifiers> | ||
329 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalInput" eSuperTypes="#//FunctionalData"> | ||
330 | <eStructuralFeatures xsi:type="ecore:EReference" name="IncomingLinks" upperBound="-1" | ||
331 | eType="#//InformationLink" eOpposite="#//InformationLink/to"/> | ||
332 | </eClassifiers> | ||
333 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalOutput" eSuperTypes="#//FunctionalData"> | ||
334 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingLinks" upperBound="-1" | ||
335 | eType="#//InformationLink" containment="true" eOpposite="#//InformationLink/from"/> | ||
336 | </eClassifiers> | ||
337 | <eClassifiers xsi:type="ecore:EClass" name="FunctionalData" abstract="true"> | ||
338 | <eStructuralFeatures xsi:type="ecore:EReference" name="terminator" eType="#//FAMTerminator" | ||
339 | containment="true" eOpposite="#//FAMTerminator/data"/> | ||
340 | <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface" | ||
341 | eOpposite="#//FunctionalInterface/data"/> | ||
342 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
343 | </eClassifiers> | ||
344 | <eClassifiers xsi:type="ecore:EEnum" name="FunctionType"> | ||
345 | <eLiterals name="Root"/> | ||
346 | <eLiterals name="Intermediate" value="1"/> | ||
347 | <eLiterals name="Leaf" value="2"/> | ||
348 | </eClassifiers> | ||
349 | </ecore:EPackage> | ||
350 | >>>>>>> 4d27f278... VAMPIRE: last commit | ||
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.genmodel b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.genmodel index 9d89c145..bd428811 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.genmodel +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.genmodel | |||
@@ -43,6 +43,7 @@ | |||
43 | <genClasses image="false" ecoreClass="FamMetamodel.ecore#//FunctionalData"> | 43 | <genClasses image="false" ecoreClass="FamMetamodel.ecore#//FunctionalData"> |
44 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FamMetamodel.ecore#//FunctionalData/terminator"/> | 44 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FamMetamodel.ecore#//FunctionalData/terminator"/> |
45 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference FamMetamodel.ecore#//FunctionalData/interface"/> | 45 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference FamMetamodel.ecore#//FunctionalData/interface"/> |
46 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute FamMetamodel.ecore#//FunctionalData/value"/> | ||
46 | </genClasses> | 47 | </genClasses> |
47 | </genPackages> | 48 | </genPackages> |
48 | </genmodel:GenModel> | 49 | </genmodel:GenModel> |