diff options
author | 2020-02-03 15:20:02 -0500 | |
---|---|---|
committer | 2020-06-07 19:44:44 -0400 | |
commit | 8e461ef60f59a2cb57ddca31a0b785c1b046e63a (patch) | |
tree | ff27d80e7fc391a155fe70c0bd46d6da028c4b37 /Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |
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/plugin.xml')
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 21 |
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 | ||