blob: 8b036ff22a2954de348fdbc2c409858fc4a120f8 (
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
|
<?xml version="1.0" encoding="UTF-8"?><plugin>
<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_notDis"/>
<query-specification fqn="queries.x_inv48_Dis"/>
<query-specification fqn="queries.x_inv48_3"/>
<query-specification fqn="queries.inv49"/>
<query-specification fqn="queries.x_inv49_1"/>
<query-specification fqn="queries.x_inv49_2"/>
</group>
</extension>
</plugin>
|