diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/.gitignore | 1 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | 84 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin | bin | 16907 -> 16978 bytes |
3 files changed, 43 insertions, 42 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/.gitignore index 07e30191..e8806810 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/.gitignore +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/.gitignore | |||
@@ -1 +1,2 @@ | |||
1 | /run/ | 1 | /run/ |
2 | /queries/ | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml index 63aa0b02..8b036ff2 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |||
@@ -1,42 +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"> | 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"> | 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"/> | 4 | <query-specification fqn="queries.inv03"/> |
5 | <query-specification fqn="queries.x_inv03_eligAll"/> | 5 | <query-specification fqn="queries.x_inv03_eligAll"/> |
6 | <query-specification fqn="queries.x_inv03_hasAll"/> | 6 | <query-specification fqn="queries.x_inv03_hasAll"/> |
7 | <query-specification fqn="queries.inv05"/> | 7 | <query-specification fqn="queries.inv05"/> |
8 | <query-specification fqn="queries.x_inv05_inRange"/> | 8 | <query-specification fqn="queries.x_inv05_inRange"/> |
9 | <query-specification fqn="queries.inv06"/> | 9 | <query-specification fqn="queries.inv06"/> |
10 | <query-specification fqn="queries.inv07"/> | 10 | <query-specification fqn="queries.inv07"/> |
11 | <query-specification fqn="queries.inv08"/> | 11 | <query-specification fqn="queries.inv08"/> |
12 | <query-specification fqn="queries.x_inv08_notEI"/> | 12 | <query-specification fqn="queries.x_inv08_notEI"/> |
13 | <query-specification fqn="queries.x_inv08_noType"/> | 13 | <query-specification fqn="queries.x_inv08_noType"/> |
14 | <query-specification fqn="queries.x_inv08_inRange"/> | 14 | <query-specification fqn="queries.x_inv08_inRange"/> |
15 | <query-specification fqn="queries.inv10"/> | 15 | <query-specification fqn="queries.inv10"/> |
16 | <query-specification fqn="queries.inv11"/> | 16 | <query-specification fqn="queries.inv11"/> |
17 | <query-specification fqn="queries.x_inv11_incOver100"/> | 17 | <query-specification fqn="queries.x_inv11_incOver100"/> |
18 | <query-specification fqn="queries.x_inv11_incNotOver100"/> | 18 | <query-specification fqn="queries.x_inv11_incNotOver100"/> |
19 | <query-specification fqn="queries.inv12"/> | 19 | <query-specification fqn="queries.inv12"/> |
20 | <query-specification fqn="queries.x_inv12_notNonRes"/> | 20 | <query-specification fqn="queries.x_inv12_notNonRes"/> |
21 | <query-specification fqn="queries.x_inv12_notZZ"/> | 21 | <query-specification fqn="queries.x_inv12_notZZ"/> |
22 | <query-specification fqn="queries.inv13"/> | 22 | <query-specification fqn="queries.inv13"/> |
23 | <query-specification fqn="queries.x_inv13"/> | 23 | <query-specification fqn="queries.x_inv13"/> |
24 | <query-specification fqn="queries.inv15"/> | 24 | <query-specification fqn="queries.inv15"/> |
25 | <query-specification fqn="queries.x_inv15"/> | 25 | <query-specification fqn="queries.x_inv15"/> |
26 | <query-specification fqn="queries.inv17"/> | 26 | <query-specification fqn="queries.inv17"/> |
27 | <query-specification fqn="queries.inv20"/> | 27 | <query-specification fqn="queries.inv20"/> |
28 | <query-specification fqn="queries.inv33"/> | 28 | <query-specification fqn="queries.inv33"/> |
29 | <query-specification fqn="queries.inv34"/> | 29 | <query-specification fqn="queries.inv34"/> |
30 | <query-specification fqn="queries.inv35"/> | 30 | <query-specification fqn="queries.inv35"/> |
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_notDis"/> |
35 | <query-specification fqn="queries.x_inv48_Dis"/> | 35 | <query-specification fqn="queries.x_inv48_Dis"/> |
36 | <query-specification fqn="queries.x_inv48_3"/> | 36 | <query-specification fqn="queries.x_inv48_3"/> |
37 | <query-specification fqn="queries.inv49"/> | 37 | <query-specification fqn="queries.inv49"/> |
38 | <query-specification fqn="queries.x_inv49_1"/> | 38 | <query-specification fqn="queries.x_inv49_1"/> |
39 | <query-specification fqn="queries.x_inv49_2"/> | 39 | <query-specification fqn="queries.x_inv49_2"/> |
40 | </group> | 40 | </group> |
41 | </extension> | 41 | </extension> |
42 | </plugin> | 42 | </plugin> |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin index c5572067..0b00309c 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin | |||
Binary files differ | |||