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.xml21
1 files changed, 21 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
index 04702ac5..d4dfa1c9 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -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"?><plugin> 5<?xml version="1.0" encoding="UTF-8"?><plugin>
5 <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> 6 <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
6 <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> 7 <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>
@@ -78,3 +79,23 @@
78 </extension> 79 </extension>
79</plugin> 80</plugin>
80>>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code 81>>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code
82=======
83<?xml version="1.0" encoding="UTF-8"?><plugin>
84 <extension point="org.eclipse.emf.ecore.generated_package">
85 <!-- @generated FamMetamodel -->
86 <package
87 uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"
88 class="functionalarchitecture.FunctionalarchitecturePackage"
89 genModel="model/FamMetamodel.genmodel"/>
90 </extension>
91 <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">
92 <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">
93 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>
94 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>
95 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>
96 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>
97 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>
98 </group>
99 </extension>
100</plugin>
101>>>>>>> 4d27f278... VAMPIRE: last commit