diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-10 20:56:55 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 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> |