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 | 103 |
1 files changed, 103 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml index 80125d37..f6f6d215 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | |||
@@ -1,4 +1,107 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><plugin> | 1 | <?xml version="1.0" encoding="UTF-8"?><plugin> |
2 | <extension id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries"> | ||
4 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> | ||
5 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingGroundStationNetwork"/> | ||
6 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.roundStationNetworkUHF"/> | ||
7 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> | ||
8 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> | ||
9 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> | ||
10 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> | ||
11 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> | ||
12 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> | ||
13 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.differentFrequency"/> | ||
14 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForUHF"/> | ||
15 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForUHF"/> | ||
16 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForKaComm"/> | ||
17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForKaComm"/> | ||
18 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForXComm"/> | ||
19 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForXComm"/> | ||
20 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighPathLengthForSatelite"/> | ||
21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForSatelite"/> | ||
22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForGroundStation"/> | ||
23 | </group> | ||
24 | </extension> | ||
25 | <extension id="queries.Case_study_A" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
26 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A" id="queries.Case_study_A"> | ||
27 | <query-specification fqn="queries.inv03"/> | ||
28 | <query-specification fqn="queries.x_inv03_eligAll"/> | ||
29 | <query-specification fqn="queries.x_inv03_hasAll"/> | ||
30 | <query-specification fqn="queries.inv05"/> | ||
31 | <query-specification fqn="queries.x_inv05_inRange"/> | ||
32 | <query-specification fqn="queries.inv06"/> | ||
33 | <query-specification fqn="queries.inv07"/> | ||
34 | <query-specification fqn="queries.inv08"/> | ||
35 | <query-specification fqn="queries.x_inv08_notEI"/> | ||
36 | <query-specification fqn="queries.x_inv08_noType"/> | ||
37 | <query-specification fqn="queries.x_inv08_inRange"/> | ||
38 | <query-specification fqn="queries.inv10"/> | ||
39 | <query-specification fqn="queries.inv11"/> | ||
40 | <query-specification fqn="queries.x_inv11_incOver100"/> | ||
41 | <query-specification fqn="queries.x_inv11_incNotOver100"/> | ||
42 | <query-specification fqn="queries.inv12"/> | ||
43 | <query-specification fqn="queries.x_inv12_notNonRes"/> | ||
44 | <query-specification fqn="queries.x_inv12_notZZ"/> | ||
45 | <query-specification fqn="queries.inv13"/> | ||
46 | <query-specification fqn="queries.x_inv13"/> | ||
47 | <query-specification fqn="queries.inv15"/> | ||
48 | <query-specification fqn="queries.x_inv15"/> | ||
49 | <query-specification fqn="queries.inv17"/> | ||
50 | <query-specification fqn="queries.inv20"/> | ||
51 | <query-specification fqn="queries.inv33"/> | ||
52 | <query-specification fqn="queries.inv34"/> | ||
53 | <query-specification fqn="queries.inv35"/> | ||
54 | <query-specification fqn="queries.inv47"/> | ||
55 | <query-specification fqn="queries.x_inv47"/> | ||
56 | <query-specification fqn="queries.inv48"/> | ||
57 | <query-specification fqn="queries.x_inv48"/> | ||
58 | <query-specification fqn="queries.inv49_A"/> | ||
59 | <query-specification fqn="queries.inv49_B"/> | ||
60 | </group> | ||
61 | </extension> | ||
62 | <extension id="queries.Case_study_A_withRoot" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
63 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A_withRoot" id="queries.Case_study_A_withRoot"> | ||
64 | <query-specification fqn="queries.inv03"/> | ||
65 | <query-specification fqn="queries.x_inv03_eligAll"/> | ||
66 | <query-specification fqn="queries.x_inv03_hasAll"/> | ||
67 | <query-specification fqn="queries.inv05"/> | ||
68 | <query-specification fqn="queries.x_inv05_inRange"/> | ||
69 | <query-specification fqn="queries.inv06"/> | ||
70 | <query-specification fqn="queries.inv07"/> | ||
71 | <query-specification fqn="queries.inv08"/> | ||
72 | <query-specification fqn="queries.x_inv08_notEI"/> | ||
73 | <query-specification fqn="queries.x_inv08_noType"/> | ||
74 | <query-specification fqn="queries.x_inv08_inRange"/> | ||
75 | <query-specification fqn="queries.inv10"/> | ||
76 | <query-specification fqn="queries.inv11"/> | ||
77 | <query-specification fqn="queries.x_inv11_incOver100"/> | ||
78 | <query-specification fqn="queries.x_inv11_incNotOver100"/> | ||
79 | <query-specification fqn="queries.inv12"/> | ||
80 | <query-specification fqn="queries.x_inv12_notNonRes"/> | ||
81 | <query-specification fqn="queries.x_inv12_notZZ"/> | ||
82 | <query-specification fqn="queries.inv13"/> | ||
83 | <query-specification fqn="queries.x_inv13"/> | ||
84 | <query-specification fqn="queries.inv15"/> | ||
85 | <query-specification fqn="queries.x_inv15"/> | ||
86 | <query-specification fqn="queries.inv17"/> | ||
87 | <query-specification fqn="queries.inv20"/> | ||
88 | <query-specification fqn="queries.inv33"/> | ||
89 | <query-specification fqn="queries.inv34"/> | ||
90 | <query-specification fqn="queries.inv35"/> | ||
91 | <query-specification fqn="queries.inv47"/> | ||
92 | <query-specification fqn="queries.x_inv47"/> | ||
93 | <query-specification fqn="queries.inv48"/> | ||
94 | <query-specification fqn="queries.x_inv48"/> | ||
95 | <query-specification fqn="queries.inv49_A"/> | ||
96 | <query-specification fqn="queries.inv49_B"/> | ||
97 | </group> | ||
98 | </extension> | ||
99 | <extension id="queries.Case_study_short" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
100 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_short" id="queries.Case_study_short"> | ||
101 | <query-specification fqn="queries.inv48"/> | ||
102 | <query-specification fqn="queries.x_inv48"/> | ||
103 | </group> | ||
104 | </extension> | ||
2 | <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> | 105 | <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> |
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> | 106 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> |
4 | <query-specification fqn="queries.memberIsItsOwnParent"/> | 107 | <query-specification fqn="queries.memberIsItsOwnParent"/> |