diff options
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml')
| -rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml index c7fcc081..19fa9181 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml +++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |||
| @@ -1,4 +1,5 @@ | |||
| 1 | <<<<<<< HEAD | 1 | <<<<<<< HEAD |
| 2 | <<<<<<< HEAD | ||
| 2 | <?xml version="1.0" encoding="UTF-8"?><plugin> | 3 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
| 3 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | 4 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> |
| 4 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | 5 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> |
| @@ -36,3 +37,26 @@ | |||
| 36 | </extension> | 37 | </extension> |
| 37 | </plugin> | 38 | </plugin> |
| 38 | >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling | 39 | >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling |
| 40 | ======= | ||
| 41 | <?xml version="1.0" encoding="UTF-8"?><plugin> | ||
| 42 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
| 43 | <!-- @generated FamMetamodel --> | ||
| 44 | <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | ||
| 45 | </extension> | ||
| 46 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | ||
| 47 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | ||
| 48 | </extension> | ||
| 49 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | ||
| 50 | <wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | ||
| 51 | </extension> | ||
| 52 | <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
| 53 | <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"> | ||
| 54 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/> | ||
| 55 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/> | ||
| 56 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/> | ||
| 57 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/> | ||
| 58 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/> | ||
| 59 | </group> | ||
| 60 | </extension> | ||
| 61 | </plugin> | ||
| 62 | >>>>>>> ce5aafc0... VAMPIRE: fix model generation | ||