aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-23 15:16:27 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-23 15:16:27 +0200
commitf9c646d97400741b1fb2863668ea68de0c4f18b7 (patch)
tree783983f3217f006d9acde59b1cf007059a73f9d4 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
parentFix numeric-solver-at-end (diff)
downloadVIATRA-Generator-f9c646d97400741b1fb2863668ea68de0c4f18b7.tar.gz
VIATRA-Generator-f9c646d97400741b1fb2863668ea68de0c4f18b7.tar.zst
VIATRA-Generator-f9c646d97400741b1fb2863668ea68de0c4f18b7.zip
Measurements framework fixes
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml96
1 files changed, 48 insertions, 48 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
index 5f40caf6..01993202 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
@@ -1,48 +1,48 @@
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_withRoot" point="org.eclipse.viatra.query.runtime.queryspecification"> 2 <extension id="queries.Case_study_A_withRoot" point="org.eclipse.viatra.query.runtime.queryspecification">
3 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A_withRoot" id="queries.Case_study_A_withRoot"> 3 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A_withRoot" id="queries.Case_study_A_withRoot">
4 <query-specification fqn="queries.inv03"/> 4 <query-specification fqn="queries.inv03"/>
5 <query-specification fqn="queries.x_inv03_eligAll"/> 5 <query-specification fqn="queries.x_inv03_eligAll"/>
6 <query-specification fqn="queries.x_inv03_hasAll"/> 6 <query-specification fqn="queries.x_inv03_hasAll"/>
7 <query-specification fqn="queries.inv05"/> 7 <query-specification fqn="queries.inv05"/>
8 <query-specification fqn="queries.x_inv05_inRange"/> 8 <query-specification fqn="queries.x_inv05_inRange"/>
9 <query-specification fqn="queries.inv06"/> 9 <query-specification fqn="queries.inv06"/>
10 <query-specification fqn="queries.inv07"/> 10 <query-specification fqn="queries.inv07"/>
11 <query-specification fqn="queries.inv08"/> 11 <query-specification fqn="queries.inv08"/>
12 <query-specification fqn="queries.x_inv08_notEI"/> 12 <query-specification fqn="queries.x_inv08_notEI"/>
13 <query-specification fqn="queries.x_inv08_noType"/> 13 <query-specification fqn="queries.x_inv08_noType"/>
14 <query-specification fqn="queries.x_inv08_inRange"/> 14 <query-specification fqn="queries.x_inv08_inRange"/>
15 <query-specification fqn="queries.inv10"/> 15 <query-specification fqn="queries.inv10"/>
16 <query-specification fqn="queries.inv11"/> 16 <query-specification fqn="queries.inv11"/>
17 <query-specification fqn="queries.x_inv11_incOver100"/> 17 <query-specification fqn="queries.x_inv11_incOver100"/>
18 <query-specification fqn="queries.x_inv11_incNotOver100"/> 18 <query-specification fqn="queries.x_inv11_incNotOver100"/>
19 <query-specification fqn="queries.inv12"/> 19 <query-specification fqn="queries.inv12"/>
20 <query-specification fqn="queries.x_inv12_notNonRes"/> 20 <query-specification fqn="queries.x_inv12_notNonRes"/>
21 <query-specification fqn="queries.x_inv12_notZZ"/> 21 <query-specification fqn="queries.x_inv12_notZZ"/>
22 <query-specification fqn="queries.inv13"/> 22 <query-specification fqn="queries.inv13"/>
23 <query-specification fqn="queries.x_inv13"/> 23 <query-specification fqn="queries.x_inv13"/>
24 <query-specification fqn="queries.inv15"/> 24 <query-specification fqn="queries.inv15"/>
25 <query-specification fqn="queries.x_inv15"/> 25 <query-specification fqn="queries.x_inv15"/>
26 <query-specification fqn="queries.inv17"/> 26 <query-specification fqn="queries.inv17"/>
27 <query-specification fqn="queries.inv20"/> 27 <query-specification fqn="queries.inv20"/>
28 <query-specification fqn="queries.inv33"/> 28 <query-specification fqn="queries.inv33"/>
29 <query-specification fqn="queries.inv34"/> 29 <query-specification fqn="queries.inv34"/>
30 <query-specification fqn="queries.inv35"/> 30 <query-specification fqn="queries.inv35"/>
31 <query-specification fqn="queries.inv47"/> 31 <query-specification fqn="queries.inv47"/>
32 <query-specification fqn="queries.x_inv47"/> 32 <query-specification fqn="queries.x_inv47"/>
33 <query-specification fqn="queries.inv48"/> 33 <query-specification fqn="queries.inv48"/>
34 <query-specification fqn="queries.x_inv48"/> 34 <query-specification fqn="queries.x_inv48"/>
35 <query-specification fqn="queries.inv49_A"/> 35 <query-specification fqn="queries.inv49_A"/>
36 <query-specification fqn="queries.inv49_B"/> 36 <query-specification fqn="queries.inv49_B"/>
37 </group> 37 </group>
38 </extension> 38 </extension>
39 <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> 39 <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification">
40 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> 40 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints">
41 <query-specification fqn="queries.memberIsItsOwnParent"/> 41 <query-specification fqn="queries.memberIsItsOwnParent"/>
42 <query-specification fqn="queries.twoMembersHaveNoParent"/> 42 <query-specification fqn="queries.twoMembersHaveNoParent"/>
43 <query-specification fqn="queries.memberHasParent"/> 43 <query-specification fqn="queries.memberHasParent"/>
44 <query-specification fqn="queries.negativeAge"/> 44 <query-specification fqn="queries.negativeAge"/>
45 <query-specification fqn="queries.parentTooYoung"/> 45 <query-specification fqn="queries.parentTooYoung"/>
46 </group> 46 </group>
47 </extension> 47 </extension>
48</plugin> 48</plugin>