diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:47 -0400 |
commit | b503c81bee920c18806af25393d0a90b8f77dba6 (patch) | |
tree | 9b70f606bfa7fa450457c04714e045e5ac5f6199 /Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.gz VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.tar.zst VIATRA-Generator-b503c81bee920c18806af25393d0a90b8f77dba6.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml')
-rw-r--r-- | Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml | 18 |
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 | ||