diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-08 16:12:55 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:29 -0400 |
| commit | 4aee5bcc86b9e6b515fbbdac030df42147be7dc1 (patch) | |
| tree | ce9f8aa1cf0ab33d4304b9ce3a0abf4beb7b757a /Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |
| parent | VAMPIRE: complete first version of VampireModelInterpretation (diff) | |
| download | VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.tar.gz VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.tar.zst VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.zip | |
VAMPIRE: Implement wf constraint handling
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml')
| -rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml index 213ec0ed..c7fcc081 100644 --- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml +++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |||
| @@ -1,3 +1,4 @@ | |||
| 1 | <<<<<<< HEAD | ||
| 1 | <?xml version="1.0" encoding="UTF-8"?><plugin> | 2 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
| 2 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | 3 | <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> |
| 3 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | 4 | <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> |
| @@ -22,3 +23,16 @@ | |||
| 22 | </group> | 23 | </group> |
| 23 | </extension> | 24 | </extension> |
| 24 | </plugin> | 25 | </plugin> |
| 26 | ======= | ||
| 27 | <?xml version="1.0" encoding="UTF-8"?><plugin> | ||
| 28 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
| 29 | <!-- @generated FamMetamodel --> | ||
| 30 | <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/> | ||
| 31 | </extension> | ||
| 32 | <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
| 33 | <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"> | ||
| 34 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/> | ||
| 35 | </group> | ||
| 36 | </extension> | ||
| 37 | </plugin> | ||
| 38 | >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling | ||