diff options
author | 2020-05-11 12:51:37 -0400 | |
---|---|---|
committer | 2020-05-11 12:51:37 -0400 | |
commit | 58a9431a90d2ca147f56c45dcfd4654145550a01 (patch) | |
tree | 2a718ae79c198dd07268190e0b6d750ec7c7a6a2 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |
parent | Fine Tune PLEDGE Case Study Project and Main Method (diff) | |
download | VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.gz VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.zst VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.zip |
Add Satellite Case Study to testing framework
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml index a6ebe14f..80125d37 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |||
@@ -1,48 +1,4 @@ | |||
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"/> | ||
35 | <query-specification fqn="queries.inv49"/> | ||
36 | <query-specification fqn="queries.x_inv49_1"/> | ||
37 | <query-specification fqn="queries.x_inv49_2"/> | ||
38 | </group> | ||
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> | ||
46 | <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> | 2 | <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> |
47 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> | 3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> |
48 | <query-specification fqn="queries.memberIsItsOwnParent"/> | 4 | <query-specification fqn="queries.memberIsItsOwnParent"/> |