diff options
author | 2020-05-10 20:56:55 -0400 | |
---|---|---|
committer | 2020-05-10 20:56:55 -0400 | |
commit | fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 (patch) | |
tree | 4ee9262ebb91eb6bf8a84af0f771d6c4366c7b0d /Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |
parent | Satelite case study update for Models-Attribute paper (diff) | |
download | VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.gz VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.zst VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.zip |
Fix PLEDGE Case Study File
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml index 63aa0b02..40c6a0f6 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |||
@@ -31,12 +31,16 @@ | |||
31 | <query-specification fqn="queries.inv47"/> | 31 | <query-specification fqn="queries.inv47"/> |
32 | <query-specification fqn="queries.x_inv47"/> | 32 | <query-specification fqn="queries.x_inv47"/> |
33 | <query-specification fqn="queries.inv48"/> | 33 | <query-specification fqn="queries.inv48"/> |
34 | <query-specification fqn="queries.x_inv48_notDis"/> | 34 | <query-specification fqn="queries.x_inv48"/> |
35 | <query-specification fqn="queries.x_inv48_Dis"/> | ||
36 | <query-specification fqn="queries.x_inv48_3"/> | ||
37 | <query-specification fqn="queries.inv49"/> | 35 | <query-specification fqn="queries.inv49"/> |
38 | <query-specification fqn="queries.x_inv49_1"/> | 36 | <query-specification fqn="queries.x_inv49_1"/> |
39 | <query-specification fqn="queries.x_inv49_2"/> | 37 | <query-specification fqn="queries.x_inv49_2"/> |
40 | </group> | 38 | </group> |
41 | </extension> | 39 | </extension> |
40 | <extension id="queries.Case_study_short" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
41 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_short" id="queries.Case_study_short"> | ||
42 | <query-specification fqn="queries.inv48"/> | ||
43 | <query-specification fqn="queries.x_inv48"/> | ||
44 | </group> | ||
45 | </extension> | ||
42 | </plugin> | 46 | </plugin> |