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