diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | 43 |
1 files changed, 42 insertions, 1 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml index 2f4febdb..63aa0b02 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |||
@@ -1 +1,42 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><plugin/> | 1 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
2 | <extension id="queries.Case_study_A" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A" id="queries.Case_study_A"> | ||
4 | <query-specification fqn="queries.inv03"/> | ||
5 | <query-specification fqn="queries.x_inv03_eligAll"/> | ||
6 | <query-specification fqn="queries.x_inv03_hasAll"/> | ||
7 | <query-specification fqn="queries.inv05"/> | ||
8 | <query-specification fqn="queries.x_inv05_inRange"/> | ||
9 | <query-specification fqn="queries.inv06"/> | ||
10 | <query-specification fqn="queries.inv07"/> | ||
11 | <query-specification fqn="queries.inv08"/> | ||
12 | <query-specification fqn="queries.x_inv08_notEI"/> | ||
13 | <query-specification fqn="queries.x_inv08_noType"/> | ||
14 | <query-specification fqn="queries.x_inv08_inRange"/> | ||
15 | <query-specification fqn="queries.inv10"/> | ||
16 | <query-specification fqn="queries.inv11"/> | ||
17 | <query-specification fqn="queries.x_inv11_incOver100"/> | ||
18 | <query-specification fqn="queries.x_inv11_incNotOver100"/> | ||
19 | <query-specification fqn="queries.inv12"/> | ||
20 | <query-specification fqn="queries.x_inv12_notNonRes"/> | ||
21 | <query-specification fqn="queries.x_inv12_notZZ"/> | ||
22 | <query-specification fqn="queries.inv13"/> | ||
23 | <query-specification fqn="queries.x_inv13"/> | ||
24 | <query-specification fqn="queries.inv15"/> | ||
25 | <query-specification fqn="queries.x_inv15"/> | ||
26 | <query-specification fqn="queries.inv17"/> | ||
27 | <query-specification fqn="queries.inv20"/> | ||
28 | <query-specification fqn="queries.inv33"/> | ||
29 | <query-specification fqn="queries.inv34"/> | ||
30 | <query-specification fqn="queries.inv35"/> | ||
31 | <query-specification fqn="queries.inv47"/> | ||
32 | <query-specification fqn="queries.x_inv47"/> | ||
33 | <query-specification fqn="queries.inv48"/> | ||
34 | <query-specification fqn="queries.x_inv48_notDis"/> | ||
35 | <query-specification fqn="queries.x_inv48_Dis"/> | ||
36 | <query-specification fqn="queries.x_inv48_3"/> | ||
37 | <query-specification fqn="queries.inv49"/> | ||
38 | <query-specification fqn="queries.x_inv49_1"/> | ||
39 | <query-specification fqn="queries.x_inv49_2"/> | ||
40 | </group> | ||
41 | </extension> | ||
42 | </plugin> | ||