blob: f0f6677f429111115296a2da2b823befc43eff72 (
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
|
<?xml version="1.0" encoding="UTF-8"?><plugin>
<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.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>
<extension id="queries.FamilyTreeConstraintsQual" point="org.eclipse.viatra.query.runtime.queryspecification">
<group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraintsQual" id="queries.FamilyTreeConstraintsQual">
<query-specification fqn="queries.memberIsRecursiveParent"/>
<query-specification fqn="queries.isParent"/>
<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>
|
