diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-11 12:51:37 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 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"/> |