aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml')
-rw-r--r--Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml18
1 files changed, 18 insertions, 0 deletions
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