diff options
Diffstat (limited to 'Domains/Examples')
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore | 72 | ||||
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 18 |
2 files changed, 90 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 | ||
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml index 19fa9181..04702ac5 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml +++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |||
@@ -1,5 +1,6 @@ | |||
1 | <<<<<<< HEAD | 1 | <<<<<<< HEAD |
2 | <<<<<<< HEAD | 2 | <<<<<<< HEAD |
3 | <<<<<<< HEAD | ||
3 | <?xml version="1.0" encoding="UTF-8"?><plugin> | 4 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
4 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | 5 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> |
5 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | 6 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> |
@@ -60,3 +61,20 @@ | |||
60 | </extension> | 61 | </extension> |
61 | </plugin> | 62 | </plugin> |
62 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation | 63 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation |
64 | ======= | ||
65 | <?xml version="1.0" encoding="UTF-8"?><plugin> | ||
66 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
67 | <!-- @generated FamMetamodel --> | ||
68 | <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | ||
69 | </extension> | ||
70 | <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
71 | <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"> | ||
72 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/> | ||
73 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
74 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/> | ||
75 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/> | ||
76 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
77 | </group> | ||
78 | </extension> | ||
79 | </plugin> | ||
80 | >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code | ||