diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:36:59 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:36:59 +0200 |
commit | 2c6583e73434fac226ffaf972a9dc8aa9bf35f60 (patch) | |
tree | 61b0dc635e3c39dbd07aae64051b1af3a284a15a | |
parent | Random seed added to Alloy config (diff) | |
download | VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.gz VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.zst VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.zip |
Added a set of mutated queries to yakindu
4 files changed, 378 insertions, 89 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF index 38e11091..f15381b2 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF | |||
@@ -10,6 +10,8 @@ Export-Package: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm, | |||
10 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl, | 10 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl, |
11 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util, | 11 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util, |
12 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu, | 12 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu, |
13 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated, | ||
14 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util, | ||
13 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util | 15 | hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util |
14 | Require-Bundle: org.eclipse.viatra.query.runtime, | 16 | Require-Bundle: org.eclipse.viatra.query.runtime, |
15 | org.eclipse.core.runtime, | 17 | org.eclipse.core.runtime, |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird index bbfea220..12aa0f9e 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird | |||
@@ -55,7 +55,7 @@ | |||
55 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-JFm6uEeaxlsDSOll0vg"/> | 55 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-JFm6uEeaxlsDSOll0vg"/> |
56 | </children> | 56 | </children> |
57 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JEW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> | 57 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JEW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> |
58 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="240" y="380" height="28"/> | 58 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="264" y="380" height="28"/> |
59 | </children> | 59 | </children> |
60 | <children xmi:type="notation:Node" xmi:id="_5T-JF26uEeaxlsDSOll0vg" type="2003" element="_5TqAAG6uEeaxlsDSOll0vg"> | 60 | <children xmi:type="notation:Node" xmi:id="_5T-JF26uEeaxlsDSOll0vg" type="2003" element="_5TqAAG6uEeaxlsDSOll0vg"> |
61 | <children xmi:type="notation:Node" xmi:id="_5T-wIG6uEeaxlsDSOll0vg" type="5007"/> | 61 | <children xmi:type="notation:Node" xmi:id="_5T-wIG6uEeaxlsDSOll0vg" type="5007"/> |
@@ -82,7 +82,7 @@ | |||
82 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_-Q26uEeaxlsDSOll0vg"/> | 82 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_-Q26uEeaxlsDSOll0vg"/> |
83 | </children> | 83 | </children> |
84 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5T_XNW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 84 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5T_XNW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
85 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="105" y="315" height="28"/> | 85 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="215" y="315" height="28"/> |
86 | </children> | 86 | </children> |
87 | <children xmi:type="notation:Node" xmi:id="_5UAlUG6uEeaxlsDSOll0vg" type="2003" element="_5TscQG6uEeaxlsDSOll0vg"> | 87 | <children xmi:type="notation:Node" xmi:id="_5UAlUG6uEeaxlsDSOll0vg" type="2003" element="_5TscQG6uEeaxlsDSOll0vg"> |
88 | <children xmi:type="notation:Node" xmi:id="_5UBMYG6uEeaxlsDSOll0vg" type="5007"/> | 88 | <children xmi:type="notation:Node" xmi:id="_5UBMYG6uEeaxlsDSOll0vg" type="5007"/> |
@@ -91,7 +91,7 @@ | |||
91 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UBzcm6uEeaxlsDSOll0vg"/> | 91 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UBzcm6uEeaxlsDSOll0vg"/> |
92 | </children> | 92 | </children> |
93 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UAlUW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 93 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UAlUW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
94 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="666" y="445" width="90" height="28"/> | 94 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="666" y="445" width="90" height="13"/> |
95 | </children> | 95 | </children> |
96 | <children xmi:type="notation:Node" xmi:id="_5UBzc26uEeaxlsDSOll0vg" type="2003" element="_5TtqYG6uEeaxlsDSOll0vg"> | 96 | <children xmi:type="notation:Node" xmi:id="_5UBzc26uEeaxlsDSOll0vg" type="2003" element="_5TtqYG6uEeaxlsDSOll0vg"> |
97 | <children xmi:type="notation:Node" xmi:id="_5UBzdm6uEeaxlsDSOll0vg" type="5007"/> | 97 | <children xmi:type="notation:Node" xmi:id="_5UBzdm6uEeaxlsDSOll0vg" type="5007"/> |
@@ -100,16 +100,7 @@ | |||
100 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCagm6uEeaxlsDSOll0vg"/> | 100 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCagm6uEeaxlsDSOll0vg"/> |
101 | </children> | 101 | </children> |
102 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UBzdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 102 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UBzdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
103 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="110" y="445" width="65" height="28"/> | 103 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="215" y="445" width="65" height="13"/> |
104 | </children> | ||
105 | <children xmi:type="notation:Node" xmi:id="_5UCag26uEeaxlsDSOll0vg" type="2003" element="_5TuRcW6uEeaxlsDSOll0vg"> | ||
106 | <children xmi:type="notation:Node" xmi:id="_5UCahm6uEeaxlsDSOll0vg" type="5007"/> | ||
107 | <children xmi:type="notation:Node" xmi:id="_5UCah26uEeaxlsDSOll0vg" type="7004"> | ||
108 | <styles xmi:type="notation:SortingStyle" xmi:id="_5UCaiG6uEeaxlsDSOll0vg"/> | ||
109 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCaiW6uEeaxlsDSOll0vg"/> | ||
110 | </children> | ||
111 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCahG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | ||
112 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCahW6uEeaxlsDSOll0vg" x="345" y="445" width="123" height="28"/> | ||
113 | </children> | 104 | </children> |
114 | <children xmi:type="notation:Node" xmi:id="_5UCaim6uEeaxlsDSOll0vg" type="2003" element="_5TvfkG6uEeaxlsDSOll0vg"> | 105 | <children xmi:type="notation:Node" xmi:id="_5UCaim6uEeaxlsDSOll0vg" type="2003" element="_5TvfkG6uEeaxlsDSOll0vg"> |
115 | <children xmi:type="notation:Node" xmi:id="_5UDBkG6uEeaxlsDSOll0vg" type="5007"/> | 106 | <children xmi:type="notation:Node" xmi:id="_5UDBkG6uEeaxlsDSOll0vg" type="5007"/> |
@@ -118,7 +109,7 @@ | |||
118 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDBk26uEeaxlsDSOll0vg"/> | 109 | <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDBk26uEeaxlsDSOll0vg"/> |
119 | </children> | 110 | </children> |
120 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCai26uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 111 | <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCai26uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
121 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="583" y="445" width="75" height="28"/> | 112 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="583" y="445" width="75" height="13"/> |
122 | </children> | 113 | </children> |
123 | <children xmi:type="notation:Node" xmi:id="_5UDBlG6uEeaxlsDSOll0vg" type="2003" element="_5TwGoG6uEeaxlsDSOll0vg"> | 114 | <children xmi:type="notation:Node" xmi:id="_5UDBlG6uEeaxlsDSOll0vg" type="2003" element="_5TwGoG6uEeaxlsDSOll0vg"> |
124 | <children xmi:type="notation:Node" xmi:id="_5UDBl26uEeaxlsDSOll0vg" type="5007"/> | 115 | <children xmi:type="notation:Node" xmi:id="_5UDBl26uEeaxlsDSOll0vg" type="5007"/> |
@@ -145,7 +136,7 @@ | |||
145 | <styles xmi:type="notation:FilteringStyle" xmi:id="_AmLOclW5Eee9fLm-jLw3Vg"/> | 136 | <styles xmi:type="notation:FilteringStyle" xmi:id="_AmLOclW5Eee9fLm-jLw3Vg"/> |
146 | </children> | 137 | </children> |
147 | <styles xmi:type="notation:ShapeStyle" xmi:id="_AmCEgVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 138 | <styles xmi:type="notation:ShapeStyle" xmi:id="_AmCEgVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
148 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="265" y="445" width="75" height="41"/> | 139 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="370" y="445" width="75" height="13"/> |
149 | </children> | 140 | </children> |
150 | <children xmi:type="notation:Node" xmi:id="_Fj8wAFW5Eee9fLm-jLw3Vg" type="2003" element="_FjXhMFW5Eee9fLm-jLw3Vg"> | 141 | <children xmi:type="notation:Node" xmi:id="_Fj8wAFW5Eee9fLm-jLw3Vg" type="2003" element="_FjXhMFW5Eee9fLm-jLw3Vg"> |
151 | <children xmi:type="notation:Node" xmi:id="_Fj9XEFW5Eee9fLm-jLw3Vg" type="5007"/> | 142 | <children xmi:type="notation:Node" xmi:id="_Fj9XEFW5Eee9fLm-jLw3Vg" type="5007"/> |
@@ -154,7 +145,7 @@ | |||
154 | <styles xmi:type="notation:FilteringStyle" xmi:id="_Fj9-IVW5Eee9fLm-jLw3Vg"/> | 145 | <styles xmi:type="notation:FilteringStyle" xmi:id="_Fj9-IVW5Eee9fLm-jLw3Vg"/> |
155 | </children> | 146 | </children> |
156 | <styles xmi:type="notation:ShapeStyle" xmi:id="_Fj8wAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 147 | <styles xmi:type="notation:ShapeStyle" xmi:id="_Fj8wAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
157 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="182" y="445" width="73" height="41"/> | 148 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="287" y="445" width="73" height="13"/> |
158 | </children> | 149 | </children> |
159 | <children xmi:type="notation:Node" xmi:id="_nXiyAFaYEee9fLm-jLw3Vg" type="2003" element="_nXVWoFaYEee9fLm-jLw3Vg"> | 150 | <children xmi:type="notation:Node" xmi:id="_nXiyAFaYEee9fLm-jLw3Vg" type="2003" element="_nXVWoFaYEee9fLm-jLw3Vg"> |
160 | <children xmi:type="notation:Node" xmi:id="_nXjZEFaYEee9fLm-jLw3Vg" type="5007"/> | 151 | <children xmi:type="notation:Node" xmi:id="_nXjZEFaYEee9fLm-jLw3Vg" type="5007"/> |
@@ -163,7 +154,7 @@ | |||
163 | <styles xmi:type="notation:FilteringStyle" xmi:id="_nXjZE1aYEee9fLm-jLw3Vg"/> | 154 | <styles xmi:type="notation:FilteringStyle" xmi:id="_nXjZE1aYEee9fLm-jLw3Vg"/> |
164 | </children> | 155 | </children> |
165 | <styles xmi:type="notation:ShapeStyle" xmi:id="_nXiyAVaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 156 | <styles xmi:type="notation:ShapeStyle" xmi:id="_nXiyAVaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
166 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="475" y="445" width="103" height="41"/> | 157 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="475" y="445" width="103" height="13"/> |
167 | </children> | 158 | </children> |
168 | <styles xmi:type="notation:DiagramStyle" xmi:id="_427AuG6uEeaxlsDSOll0vg"/> | 159 | <styles xmi:type="notation:DiagramStyle" xmi:id="_427AuG6uEeaxlsDSOll0vg"/> |
169 | <edges xmi:type="notation:Edge" xmi:id="_5UEPsG6uEeaxlsDSOll0vg" type="4001" element="_5T2NQG6uEeaxlsDSOll0vg" source="_5T-wJG6uEeaxlsDSOll0vg" target="_5T-JF26uEeaxlsDSOll0vg"> | 160 | <edges xmi:type="notation:Edge" xmi:id="_5UEPsG6uEeaxlsDSOll0vg" type="4001" element="_5T2NQG6uEeaxlsDSOll0vg" source="_5T-wJG6uEeaxlsDSOll0vg" target="_5T-JF26uEeaxlsDSOll0vg"> |
@@ -227,7 +218,7 @@ | |||
227 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UHTCW6uEeaxlsDSOll0vg"/> | 218 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UHTCW6uEeaxlsDSOll0vg"/> |
228 | <styles xmi:type="notation:FontStyle" xmi:id="_5UHTCm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 219 | <styles xmi:type="notation:FontStyle" xmi:id="_5UHTCm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
229 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UHTC26uEeaxlsDSOll0vg" points="[-4, -19, 9, 46]$[-4, -45, 9, 20]"/> | 220 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UHTC26uEeaxlsDSOll0vg" points="[-4, -19, 9, 46]$[-4, -45, 9, 20]"/> |
230 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6grgFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/> | 221 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6grgFaqEee9fLm-jLw3Vg" id="(0.5,1.7727272727272727)"/> |
231 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6s4wFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/> | 222 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6s4wFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/> |
232 | </edges> | 223 | </edges> |
233 | <edges xmi:type="notation:Edge" xmi:id="_5UIhIG6uEeaxlsDSOll0vg" type="4001" element="_5T53oG6uEeaxlsDSOll0vg" source="_5UBzc26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg"> | 224 | <edges xmi:type="notation:Edge" xmi:id="_5UIhIG6uEeaxlsDSOll0vg" type="4001" element="_5T53oG6uEeaxlsDSOll0vg" source="_5UBzc26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg"> |
@@ -243,54 +234,38 @@ | |||
243 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UIhIW6uEeaxlsDSOll0vg" routing="Tree"/> | 234 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UIhIW6uEeaxlsDSOll0vg" routing="Tree"/> |
244 | <styles xmi:type="notation:FontStyle" xmi:id="_5UIhIm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 235 | <styles xmi:type="notation:FontStyle" xmi:id="_5UIhIm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
245 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UIhI26uEeaxlsDSOll0vg" points="[0, 0, -135, -82]$[0, -10, -135, -92]$[136, -10, 1, -92]$[136, -26, 1, -108]"/> | 236 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UIhI26uEeaxlsDSOll0vg" points="[0, 0, -135, -82]$[0, -10, -135, -92]$[136, -10, 1, -92]$[136, -26, 1, -108]"/> |
246 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMG6uEeaxlsDSOll0vg" id="(0.4412698412698412,0.024390243902439025)"/> | 237 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMG6uEeaxlsDSOll0vg" id="(0.4412698412698412,0.08647450110864746)"/> |
247 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | 238 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> |
248 | </edges> | 239 | </edges> |
249 | <edges xmi:type="notation:Edge" xmi:id="_5UJIMm6uEeaxlsDSOll0vg" type="4001" element="_5T53pG6uEeaxlsDSOll0vg" source="_5UCag26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg"> | ||
250 | <children xmi:type="notation:Node" xmi:id="_5UJINm6uEeaxlsDSOll0vg" type="6001"> | ||
251 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIN26uEeaxlsDSOll0vg" y="-10"/> | ||
252 | </children> | ||
253 | <children xmi:type="notation:Node" xmi:id="_5UJIOG6uEeaxlsDSOll0vg" type="6002"> | ||
254 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIOW6uEeaxlsDSOll0vg" y="10"/> | ||
255 | </children> | ||
256 | <children xmi:type="notation:Node" xmi:id="_5UJIOm6uEeaxlsDSOll0vg" type="6003"> | ||
257 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIO26uEeaxlsDSOll0vg" y="10"/> | ||
258 | </children> | ||
259 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UJIM26uEeaxlsDSOll0vg" routing="Tree"/> | ||
260 | <styles xmi:type="notation:FontStyle" xmi:id="_5UJING6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | ||
261 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJINW6uEeaxlsDSOll0vg" points="[0, 0, 75, 60]$[-75, -60, 0, 0]"/> | ||
262 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJvQG6uEeaxlsDSOll0vg" id="(0.4876033057851239,0.0)"/> | ||
263 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJvQW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | ||
264 | </edges> | ||
265 | <edges xmi:type="notation:Edge" xmi:id="_5UJvQm6uEeaxlsDSOll0vg" type="4001" element="_5T6esG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDBlG6uEeaxlsDSOll0vg"> | 240 | <edges xmi:type="notation:Edge" xmi:id="_5UJvQm6uEeaxlsDSOll0vg" type="4001" element="_5T6esG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDBlG6uEeaxlsDSOll0vg"> |
266 | <children xmi:type="notation:Node" xmi:id="_5UJvRm6uEeaxlsDSOll0vg" type="6001"> | 241 | <children xmi:type="notation:Node" xmi:id="_5UJvRm6uEeaxlsDSOll0vg" type="6001"> |
267 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvR26uEeaxlsDSOll0vg" x="-4" y="5"/> | 242 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvR26uEeaxlsDSOll0vg" x="-2" y="5"/> |
268 | </children> | 243 | </children> |
269 | <children xmi:type="notation:Node" xmi:id="_5UJvSG6uEeaxlsDSOll0vg" type="6002"> | 244 | <children xmi:type="notation:Node" xmi:id="_5UJvSG6uEeaxlsDSOll0vg" type="6002"> |
270 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvSW6uEeaxlsDSOll0vg" x="12" y="1"/> | 245 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvSW6uEeaxlsDSOll0vg" x="14" y="1"/> |
271 | </children> | 246 | </children> |
272 | <children xmi:type="notation:Node" xmi:id="_5UJvSm6uEeaxlsDSOll0vg" type="6003"> | 247 | <children xmi:type="notation:Node" xmi:id="_5UJvSm6uEeaxlsDSOll0vg" type="6003"> |
273 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvS26uEeaxlsDSOll0vg" y="10"/> | 248 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvS26uEeaxlsDSOll0vg" x="2" y="10"/> |
274 | </children> | 249 | </children> |
275 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UJvQ26uEeaxlsDSOll0vg" routing="Tree"/> | 250 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UJvQ26uEeaxlsDSOll0vg" routing="Tree"/> |
276 | <styles xmi:type="notation:FontStyle" xmi:id="_5UJvRG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 251 | <styles xmi:type="notation:FontStyle" xmi:id="_5UJvRG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
277 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJvRW6uEeaxlsDSOll0vg" points="[0, 0, 15, -82]$[0, -10, 15, -92]$[-16, -10, -1, -92]$[-16, -26, -1, -108]"/> | 252 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJvRW6uEeaxlsDSOll0vg" points="[0, 0, 58, -82]$[0, -10, 58, -92]$[-59, -10, -1, -92]$[-59, -26, -1, -108]"/> |
278 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/> | 253 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/> |
279 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | 254 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> |
280 | </edges> | 255 | </edges> |
281 | <edges xmi:type="notation:Edge" xmi:id="_5UKWUm6uEeaxlsDSOll0vg" type="4001" element="_5T6etG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDoo26uEeaxlsDSOll0vg"> | 256 | <edges xmi:type="notation:Edge" xmi:id="_5UKWUm6uEeaxlsDSOll0vg" type="4001" element="_5T6etG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDoo26uEeaxlsDSOll0vg"> |
282 | <children xmi:type="notation:Node" xmi:id="_5UKWVm6uEeaxlsDSOll0vg" type="6001"> | 257 | <children xmi:type="notation:Node" xmi:id="_5UKWVm6uEeaxlsDSOll0vg" type="6001"> |
283 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWV26uEeaxlsDSOll0vg" x="-18" y="-10"/> | 258 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWV26uEeaxlsDSOll0vg" x="-23" y="-8"/> |
284 | </children> | 259 | </children> |
285 | <children xmi:type="notation:Node" xmi:id="_5UKWWG6uEeaxlsDSOll0vg" type="6002"> | 260 | <children xmi:type="notation:Node" xmi:id="_5UKWWG6uEeaxlsDSOll0vg" type="6002"> |
286 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWWW6uEeaxlsDSOll0vg" x="-10"/> | 261 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWWW6uEeaxlsDSOll0vg" x="-12"/> |
287 | </children> | 262 | </children> |
288 | <children xmi:type="notation:Node" xmi:id="_5UKWWm6uEeaxlsDSOll0vg" type="6003"> | 263 | <children xmi:type="notation:Node" xmi:id="_5UKWWm6uEeaxlsDSOll0vg" type="6003"> |
289 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWW26uEeaxlsDSOll0vg" x="-9" y="7"/> | 264 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWW26uEeaxlsDSOll0vg" x="-5" y="-6"/> |
290 | </children> | 265 | </children> |
291 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UKWU26uEeaxlsDSOll0vg" routing="Tree"/> | 266 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UKWU26uEeaxlsDSOll0vg" routing="Tree"/> |
292 | <styles xmi:type="notation:FontStyle" xmi:id="_5UKWVG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 267 | <styles xmi:type="notation:FontStyle" xmi:id="_5UKWVG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
293 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UKWVW6uEeaxlsDSOll0vg" points="[0, 0, -83, -82]$[0, -10, -83, -92]$[39, -10, -44, -92]$[39, -26, -44, -108]"/> | 268 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UKWVW6uEeaxlsDSOll0vg" points="[0, 0, -70, -82]$[0, -10, -70, -92]$[39, -10, -31, -92]$[39, -26, -31, -108]"/> |
294 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/> | 269 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/> |
295 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | 270 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> |
296 | </edges> | 271 | </edges> |
@@ -312,66 +287,66 @@ | |||
312 | </edges> | 287 | </edges> |
313 | <edges xmi:type="notation:Edge" xmi:id="_5UK9aG6uEeaxlsDSOll0vg" type="4001" element="_5T7s0G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg"> | 288 | <edges xmi:type="notation:Edge" xmi:id="_5UK9aG6uEeaxlsDSOll0vg" type="4001" element="_5T7s0G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg"> |
314 | <children xmi:type="notation:Node" xmi:id="_5UK9bG6uEeaxlsDSOll0vg" type="6001"> | 289 | <children xmi:type="notation:Node" xmi:id="_5UK9bG6uEeaxlsDSOll0vg" type="6001"> |
315 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9bW6uEeaxlsDSOll0vg" x="-7" y="10"/> | 290 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9bW6uEeaxlsDSOll0vg" x="48" y="10"/> |
316 | </children> | 291 | </children> |
317 | <children xmi:type="notation:Node" xmi:id="_5UK9bm6uEeaxlsDSOll0vg" type="6002"> | 292 | <children xmi:type="notation:Node" xmi:id="_5UK9bm6uEeaxlsDSOll0vg" type="6002"> |
318 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9b26uEeaxlsDSOll0vg" x="-2" y="-11"/> | 293 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9b26uEeaxlsDSOll0vg" x="-11" y="-14"/> |
319 | </children> | 294 | </children> |
320 | <children xmi:type="notation:Node" xmi:id="_5UK9cG6uEeaxlsDSOll0vg" type="6003"> | 295 | <children xmi:type="notation:Node" xmi:id="_5UK9cG6uEeaxlsDSOll0vg" type="6003"> |
321 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9cW6uEeaxlsDSOll0vg" x="-38" y="-11"/> | 296 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9cW6uEeaxlsDSOll0vg" x="22" y="-14"/> |
322 | </children> | 297 | </children> |
323 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UK9aW6uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/> | 298 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UK9aW6uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/> |
324 | <styles xmi:type="notation:FontStyle" xmi:id="_5UK9am6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 299 | <styles xmi:type="notation:FontStyle" xmi:id="_5UK9am6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
325 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UK9a26uEeaxlsDSOll0vg" points="[-59, 30, 281, -117]$[-281, 30, 59, -117]"/> | 300 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UK9a26uEeaxlsDSOll0vg" points="[-59, 30, 171, -117]$[-171, 30, 59, -117]"/> |
326 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/> | 301 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/> |
327 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | 302 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> |
328 | </edges> | 303 | </edges> |
329 | <edges xmi:type="notation:Edge" xmi:id="_5ULkcm6uEeaxlsDSOll0vg" type="4001" element="_5T8T4G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg"> | 304 | <edges xmi:type="notation:Edge" xmi:id="_5ULkcm6uEeaxlsDSOll0vg" type="4001" element="_5T8T4G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg"> |
330 | <children xmi:type="notation:Node" xmi:id="_5ULkdm6uEeaxlsDSOll0vg" type="6001"> | 305 | <children xmi:type="notation:Node" xmi:id="_5ULkdm6uEeaxlsDSOll0vg" type="6001"> |
331 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkd26uEeaxlsDSOll0vg" x="-7" y="10"/> | 306 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkd26uEeaxlsDSOll0vg" x="48" y="10"/> |
332 | </children> | 307 | </children> |
333 | <children xmi:type="notation:Node" xmi:id="_5ULkeG6uEeaxlsDSOll0vg" type="6002"> | 308 | <children xmi:type="notation:Node" xmi:id="_5ULkeG6uEeaxlsDSOll0vg" type="6002"> |
334 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkeW6uEeaxlsDSOll0vg" x="-1" y="9"/> | 309 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkeW6uEeaxlsDSOll0vg" x="-7" y="16"/> |
335 | </children> | 310 | </children> |
336 | <children xmi:type="notation:Node" xmi:id="_5ULkem6uEeaxlsDSOll0vg" type="6003"> | 311 | <children xmi:type="notation:Node" xmi:id="_5ULkem6uEeaxlsDSOll0vg" type="6003"> |
337 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULke26uEeaxlsDSOll0vg" x="-39" y="9"/> | 312 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULke26uEeaxlsDSOll0vg" x="21" y="16"/> |
338 | </children> | 313 | </children> |
339 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5ULkc26uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/> | 314 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5ULkc26uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/> |
340 | <styles xmi:type="notation:FontStyle" xmi:id="_5ULkdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> | 315 | <styles xmi:type="notation:FontStyle" xmi:id="_5ULkdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> |
341 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5ULkdW6uEeaxlsDSOll0vg" points="[-59, 10, 281, -137]$[-281, 10, 59, -137]"/> | 316 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5ULkdW6uEeaxlsDSOll0vg" points="[-59, 10, 171, -137]$[-171, 10, 59, -137]"/> |
342 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/> | 317 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/> |
343 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> | 318 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/> |
344 | </edges> | 319 | </edges> |
345 | <edges xmi:type="notation:Edge" xmi:id="_RkOD8FW5Eee9fLm-jLw3Vg" type="4001" element="_RjqDQFW5Eee9fLm-jLw3Vg" source="_Fj8wAFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg"> | 320 | <edges xmi:type="notation:Edge" xmi:id="_RkOD8FW5Eee9fLm-jLw3Vg" type="4001" element="_RjqDQFW5Eee9fLm-jLw3Vg" source="_Fj8wAFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg"> |
346 | <children xmi:type="notation:Node" xmi:id="_RkRHQFW5Eee9fLm-jLw3Vg" type="6001"> | 321 | <children xmi:type="notation:Node" xmi:id="_RkRHQFW5Eee9fLm-jLw3Vg" type="6001"> |
347 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkRHQVW5Eee9fLm-jLw3Vg" x="2" y="-10"/> | 322 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkRHQVW5Eee9fLm-jLw3Vg" x="16" y="-10"/> |
348 | </children> | 323 | </children> |
349 | <children xmi:type="notation:Node" xmi:id="_RkSVYFW5Eee9fLm-jLw3Vg" type="6002"> | 324 | <children xmi:type="notation:Node" xmi:id="_RkSVYFW5Eee9fLm-jLw3Vg" type="6002"> |
350 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkSVYVW5Eee9fLm-jLw3Vg" x="-12" y="2"/> | 325 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkSVYVW5Eee9fLm-jLw3Vg" x="-2" y="2"/> |
351 | </children> | 326 | </children> |
352 | <children xmi:type="notation:Node" xmi:id="_RkS8cFW5Eee9fLm-jLw3Vg" type="6003"> | 327 | <children xmi:type="notation:Node" xmi:id="_RkS8cFW5Eee9fLm-jLw3Vg" type="6003"> |
353 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkS8cVW5Eee9fLm-jLw3Vg" y="10"/> | 328 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkS8cVW5Eee9fLm-jLw3Vg" x="14" y="-6"/> |
354 | </children> | 329 | </children> |
355 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_RkOrAFW5Eee9fLm-jLw3Vg" routing="Tree"/> | 330 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_RkOrAFW5Eee9fLm-jLw3Vg" routing="Tree"/> |
356 | <styles xmi:type="notation:FontStyle" xmi:id="_RkOrAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 331 | <styles xmi:type="notation:FontStyle" xmi:id="_RkOrAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
357 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RkOrAlW5Eee9fLm-jLw3Vg" points="[0, 0, -40, -82]$[0, -10, -40, -92]$[41, -10, 1, -92]$[41, -26, 1, -108]"/> | 332 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RkOrAlW5Eee9fLm-jLw3Vg" points="[0, -3, -69, -82]$[0, -18, -69, -97]$[71, -18, 2, -97]$[71, -29, 2, -108]"/> |
358 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkFW5Eee9fLm-jLw3Vg" id="(0.6885758998435055,0.0975609756097561)"/> | 333 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkFW5Eee9fLm-jLw3Vg" id="(0.5205479452054794,0.17294900221729492)"/> |
359 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkVW5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/> | 334 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkVW5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/> |
360 | </edges> | 335 | </edges> |
361 | <edges xmi:type="notation:Edge" xmi:id="_SFyf8FW5Eee9fLm-jLw3Vg" type="4001" element="_SFRikFW5Eee9fLm-jLw3Vg" source="_AmCEgFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg"> | 336 | <edges xmi:type="notation:Edge" xmi:id="_SFyf8FW5Eee9fLm-jLw3Vg" type="4001" element="_SFRikFW5Eee9fLm-jLw3Vg" source="_AmCEgFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg"> |
362 | <children xmi:type="notation:Node" xmi:id="_SFzHAFW5Eee9fLm-jLw3Vg" type="6001"> | 337 | <children xmi:type="notation:Node" xmi:id="_SFzHAFW5Eee9fLm-jLw3Vg" type="6001"> |
363 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHAVW5Eee9fLm-jLw3Vg" x="5" y="-10"/> | 338 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHAVW5Eee9fLm-jLw3Vg" y="-10"/> |
364 | </children> | 339 | </children> |
365 | <children xmi:type="notation:Node" xmi:id="_SFzHAlW5Eee9fLm-jLw3Vg" type="6002"> | 340 | <children xmi:type="notation:Node" xmi:id="_SFzHAlW5Eee9fLm-jLw3Vg" type="6002"> |
366 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHA1W5Eee9fLm-jLw3Vg" x="5" y="10"/> | 341 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHA1W5Eee9fLm-jLw3Vg" y="10"/> |
367 | </children> | 342 | </children> |
368 | <children xmi:type="notation:Node" xmi:id="_SFzHBFW5Eee9fLm-jLw3Vg" type="6003"> | 343 | <children xmi:type="notation:Node" xmi:id="_SFzHBFW5Eee9fLm-jLw3Vg" type="6003"> |
369 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHBVW5Eee9fLm-jLw3Vg" x="5" y="5"/> | 344 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHBVW5Eee9fLm-jLw3Vg" y="10"/> |
370 | </children> | 345 | </children> |
371 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_SFyf8VW5Eee9fLm-jLw3Vg" routing="Tree"/> | 346 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_SFyf8VW5Eee9fLm-jLw3Vg" routing="Tree"/> |
372 | <styles xmi:type="notation:FontStyle" xmi:id="_SFyf8lW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 347 | <styles xmi:type="notation:FontStyle" xmi:id="_SFyf8lW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
373 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFyf81W5Eee9fLm-jLw3Vg" points="[0, 0, 81, -82]$[0, -15, 81, -97]$[-80, -15, 1, -97]$[-80, -26, 1, -108]"/> | 348 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFyf81W5Eee9fLm-jLw3Vg" points="[0, -8, 81, -82]$[0, -18, 81, -92]$[-79, -18, 2, -92]$[-79, -34, 2, -108]"/> |
374 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHBlW5Eee9fLm-jLw3Vg" id="(0.4776255707762557,0.21951219512195122)"/> | 349 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHBlW5Eee9fLm-jLw3Vg" id="(0.4776255707762557,0.778270509977827)"/> |
375 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHB1W5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/> | 350 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHB1W5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/> |
376 | </edges> | 351 | </edges> |
377 | <edges xmi:type="notation:Edge" xmi:id="_tAXbsFaYEee9fLm-jLw3Vg" type="4001" element="_tAL1gFaYEee9fLm-jLw3Vg" source="_nXiyAFaYEee9fLm-jLw3Vg" target="_5UDBlG6uEeaxlsDSOll0vg"> | 352 | <edges xmi:type="notation:Edge" xmi:id="_tAXbsFaYEee9fLm-jLw3Vg" type="4001" element="_tAL1gFaYEee9fLm-jLw3Vg" source="_nXiyAFaYEee9fLm-jLw3Vg" target="_5UDBlG6uEeaxlsDSOll0vg"> |
@@ -387,12 +362,12 @@ | |||
387 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_tAXbsVaYEee9fLm-jLw3Vg"/> | 362 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_tAXbsVaYEee9fLm-jLw3Vg"/> |
388 | <styles xmi:type="notation:FontStyle" xmi:id="_tAXbslaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> | 363 | <styles xmi:type="notation:FontStyle" xmi:id="_tAXbslaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> |
389 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_tAXbs1aYEee9fLm-jLw3Vg" points="[-3, -5, 0, 27]$[-3, -31, 0, 1]"/> | 364 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_tAXbs1aYEee9fLm-jLw3Vg" points="[-3, -5, 0, 27]$[-3, -31, 0, 1]"/> |
390 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xYoccFaYEee9fLm-jLw3Vg" id="(0.5825242718446602,0.14634146341463414)"/> | 365 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xYoccFaYEee9fLm-jLw3Vg" id="(0.5825242718446602,0.5188470066518847)"/> |
391 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tAXbu1aYEee9fLm-jLw3Vg" id="(0.175,0.975609756097561)"/> | 366 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tAXbu1aYEee9fLm-jLw3Vg" id="(0.175,0.975609756097561)"/> |
392 | </edges> | 367 | </edges> |
393 | </data> | 368 | </data> |
394 | </ownedAnnotationEntries> | 369 | </ownedAnnotationEntries> |
395 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5Tox4G6uEeaxlsDSOll0vg" name="Pseudostate" tooltipText="" outgoingEdges="_5T4pgG6uEeaxlsDSOll0vg" incomingEdges="_5T53oG6uEeaxlsDSOll0vg _5T53pG6uEeaxlsDSOll0vg _RjqDQFW5Eee9fLm-jLw3Vg _SFRikFW5Eee9fLm-jLw3Vg" width="12" height="10"> | 370 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5Tox4G6uEeaxlsDSOll0vg" name="Pseudostate" tooltipText="" outgoingEdges="_5T4pgG6uEeaxlsDSOll0vg" incomingEdges="_5T53oG6uEeaxlsDSOll0vg _RjqDQFW5Eee9fLm-jLw3Vg _SFRikFW5Eee9fLm-jLw3Vg" width="12" height="10"> |
396 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | 371 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> |
397 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | 372 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> |
398 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 373 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -471,20 +446,6 @@ | |||
471 | </ownedStyle> | 446 | </ownedStyle> |
472 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 447 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
473 | </ownedDiagramElements> | 448 | </ownedDiagramElements> |
474 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5TuRcW6uEeaxlsDSOll0vg" name="Synchronization" tooltipText="" outgoingEdges="_5T53pG6uEeaxlsDSOll0vg" width="12" height="10"> | ||
475 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/> | ||
476 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/> | ||
477 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
478 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
479 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
480 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_5Tu4gG6uEeaxlsDSOll0vg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,255,255"> | ||
481 | <customFeatures>labelFormat</customFeatures> | ||
482 | <customFeatures>backgroundColor</customFeatures> | ||
483 | <customFeatures>foregroundColor</customFeatures> | ||
484 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
485 | </ownedStyle> | ||
486 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
487 | </ownedDiagramElements> | ||
488 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5TvfkG6uEeaxlsDSOll0vg" name="State" tooltipText="" outgoingEdges="_5T6esG6uEeaxlsDSOll0vg _5T6etG6uEeaxlsDSOll0vg" width="12" height="10"> | 449 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5TvfkG6uEeaxlsDSOll0vg" name="State" tooltipText="" outgoingEdges="_5T6esG6uEeaxlsDSOll0vg _5T6etG6uEeaxlsDSOll0vg" width="12" height="10"> |
489 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | 450 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> |
490 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | 451 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> |
@@ -585,18 +546,6 @@ | |||
585 | </ownedStyle> | 546 | </ownedStyle> |
586 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | 547 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> |
587 | </ownedDiagramElements> | 548 | </ownedDiagramElements> |
588 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5T53pG6uEeaxlsDSOll0vg" sourceNode="_5TuRcW6uEeaxlsDSOll0vg" targetNode="_5Tox4G6uEeaxlsDSOll0vg"> | ||
589 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/> | ||
590 | <semanticElements xmi:type="ecore:EGenericType" href="yakindu_simplified.ecore#//Synchronization/@eGenericSuperTypes.0"/> | ||
591 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_5T53pW6uEeaxlsDSOll0vg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
592 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> | ||
593 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_5T53pm6uEeaxlsDSOll0vg" showIcon="false"> | ||
594 | <labelFormat>italic</labelFormat> | ||
595 | </beginLabelStyle> | ||
596 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_5T53p26uEeaxlsDSOll0vg" showIcon="false"/> | ||
597 | </ownedStyle> | ||
598 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | ||
599 | </ownedDiagramElements> | ||
600 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5T6esG6uEeaxlsDSOll0vg" sourceNode="_5TvfkG6uEeaxlsDSOll0vg" targetNode="_5TwGoG6uEeaxlsDSOll0vg"> | 549 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5T6esG6uEeaxlsDSOll0vg" sourceNode="_5TvfkG6uEeaxlsDSOll0vg" targetNode="_5TwGoG6uEeaxlsDSOll0vg"> |
601 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | 550 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> |
602 | <semanticElements xmi:type="ecore:EGenericType" href="yakindu_simplified.ecore#//State/@eGenericSuperTypes.0"/> | 551 | <semanticElements xmi:type="ecore:EGenericType" href="yakindu_simplified.ecore#//State/@eGenericSuperTypes.0"/> |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml index adff6ce6..8069f168 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml | |||
@@ -32,4 +32,72 @@ | |||
32 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.twoSynch"/> | 32 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.twoSynch"/> |
33 | </group> | 33 | </group> |
34 | </extension> | 34 | </extension> |
35 | <extension id="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
36 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated" id="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated"> | ||
37 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M0"/> | ||
38 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M1"/> | ||
39 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M2"/> | ||
40 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M0"/> | ||
41 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M1"/> | ||
42 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M2"/> | ||
43 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M3"/> | ||
44 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M4"/> | ||
45 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M5"/> | ||
46 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M0"/> | ||
47 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M1"/> | ||
48 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M2"/> | ||
49 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M3"/> | ||
50 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M4"/> | ||
51 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M5"/> | ||
52 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M0"/> | ||
53 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M1"/> | ||
54 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M2"/> | ||
55 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M3"/> | ||
56 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M4"/> | ||
57 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_M0"/> | ||
58 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_1"/> | ||
59 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_2"/> | ||
60 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_3"/> | ||
61 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_4"/> | ||
62 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_5"/> | ||
63 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M0"/> | ||
64 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M1"/> | ||
65 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M2"/> | ||
66 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M3"/> | ||
67 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M4"/> | ||
68 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M5"/> | ||
69 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M0"/> | ||
70 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M1"/> | ||
71 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M2"/> | ||
72 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M3"/> | ||
73 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M4"/> | ||
74 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M0"/> | ||
75 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M1"/> | ||
76 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M2"/> | ||
77 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M0"/> | ||
78 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M1"/> | ||
79 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M2"/> | ||
80 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M0"/> | ||
81 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M1"/> | ||
82 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M2"/> | ||
83 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M3"/> | ||
84 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M0"/> | ||
85 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M1"/> | ||
86 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M2"/> | ||
87 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M0"/> | ||
88 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M1"/> | ||
89 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M2"/> | ||
90 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M3"/> | ||
91 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M4"/> | ||
92 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M5"/> | ||
93 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M6"/> | ||
94 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M0"/> | ||
95 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M1"/> | ||
96 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M2"/> | ||
97 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M3"/> | ||
98 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M4"/> | ||
99 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M5"/> | ||
100 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M6"/> | ||
101 | </group> | ||
102 | </extension> | ||
35 | </plugin> | 103 | </plugin> |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql new file mode 100644 index 00000000..58f66fe2 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql | |||
@@ -0,0 +1,270 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated | ||
2 | |||
3 | import epackage "hu.bme.mit.inf.yakindumm" | ||
4 | |||
5 | ///////// | ||
6 | // Entry | ||
7 | ///////// | ||
8 | |||
9 | pattern entryInRegion_M0(r1 : Region, e1 : Entry) { | ||
10 | Region.vertices(r1, e1); | ||
11 | } | ||
12 | pattern entryInRegion_M1(r1 : Region, e1) { | ||
13 | Region.vertices(r1, e1); | ||
14 | } | ||
15 | pattern entryInRegion_M2(r1 : Region, e1: Entry) { | ||
16 | // For positive constraint | ||
17 | Region(r1);Entry(e1); | ||
18 | } | ||
19 | |||
20 | |||
21 | //@Constraint(severity="error", message="error", key = {r1}) | ||
22 | pattern noEntryInRegion_M0(r1 : Region) { | ||
23 | neg find entryInRegion_M0(r1, _); | ||
24 | } | ||
25 | pattern noEntryInRegion_M1(r1 : Region) { | ||
26 | neg find entryInRegion_M1(r1, _); | ||
27 | } | ||
28 | pattern noEntryInRegion_M2(r1 : Region) { | ||
29 | neg find entryInRegion_M2(r1, _); | ||
30 | } | ||
31 | pattern noEntryInRegion_M3(r1 : Region) { | ||
32 | find entryInRegion_M0(r1, _); | ||
33 | } | ||
34 | pattern noEntryInRegion_M4(r1 : Region) { | ||
35 | find entryInRegion_M1(r1, _); | ||
36 | } | ||
37 | pattern noEntryInRegion_M5(r1 : Region) { | ||
38 | find entryInRegion_M2(r1, _); | ||
39 | } | ||
40 | |||
41 | //@Constraint(severity="error", message="error", key = {r}) | ||
42 | pattern multipleEntryInRegion_M0(r : Region) { | ||
43 | find entryInRegion_M0(r, e1); | ||
44 | find entryInRegion_M0(r, e2); | ||
45 | e1 != e2; | ||
46 | } | ||
47 | pattern multipleEntryInRegion_M1(r : Region) { | ||
48 | find entryInRegion_M1(r, e1); | ||
49 | find entryInRegion_M0(r, e2); | ||
50 | e1 != e2; | ||
51 | } | ||
52 | pattern multipleEntryInRegion_M2(r : Region) { | ||
53 | find entryInRegion_M2(r, e1); | ||
54 | find entryInRegion_M0(r, e2); | ||
55 | e1 != e2; | ||
56 | } | ||
57 | pattern multipleEntryInRegion_M3(r : Region) { | ||
58 | find entryInRegion_M0(r, e1); | ||
59 | find entryInRegion_M1(r, e2); | ||
60 | e1 != e2; | ||
61 | } | ||
62 | pattern multipleEntryInRegion_M4(r : Region) { | ||
63 | find entryInRegion_M2(r, e1); | ||
64 | find entryInRegion_M2(r, e2); | ||
65 | e1 != e2; | ||
66 | } | ||
67 | pattern multipleEntryInRegion_M5(r : Region) { | ||
68 | find entryInRegion_M0(r, e1); | ||
69 | find entryInRegion_M0(r, e2); | ||
70 | } | ||
71 | |||
72 | |||
73 | pattern transition_M0(t : Transition, src : Vertex, trg : Vertex) { | ||
74 | Transition.source(t, src); | ||
75 | Transition.target(t, trg); | ||
76 | } | ||
77 | pattern transition_M1(t : Transition, src : Vertex, trg : Vertex) { | ||
78 | Transition.source(t, src); | ||
79 | Vertex(trg); | ||
80 | } | ||
81 | pattern transition_M2(t : Transition, src : Vertex, trg : Vertex) { | ||
82 | Vertex(src); | ||
83 | Transition.target(t, trg); | ||
84 | } | ||
85 | pattern transition_M3(t : Transition, src : Vertex, trg : Vertex) { | ||
86 | Transition.source(t_x, src); | ||
87 | Transition.target(t, trg); | ||
88 | } | ||
89 | pattern transition_M4(t : Transition, src : Vertex, trg : Vertex) { | ||
90 | Transition.source(t, src); | ||
91 | Transition.target(t_x, trg); | ||
92 | } | ||
93 | |||
94 | //@Constraint(severity="error", message="error", key = {e}) | ||
95 | pattern incomingToEntry_M0(t : Transition, e : Entry) { | ||
96 | find transition_M0(t, _, e); | ||
97 | } | ||
98 | pattern incomingToEntry_1(t : Transition, e) { | ||
99 | find transition_M0(t, _, e); | ||
100 | } | ||
101 | pattern incomingToEntry_2(t : Transition, e : Entry) { | ||
102 | find transition_M1(t, _, e); | ||
103 | } | ||
104 | pattern incomingToEntry_3(t : Transition, e : Entry) { | ||
105 | find transition_M2(t, _, e); | ||
106 | } | ||
107 | pattern incomingToEntry_4(t : Transition, e : Entry) { | ||
108 | find transition_M3(t, _, e); | ||
109 | } | ||
110 | pattern incomingToEntry_5(t : Transition, e : Entry) { | ||
111 | find transition_M4(t, _, e); | ||
112 | } | ||
113 | |||
114 | pattern noOutgoingTransitionFromEntry_M0(e : Entry) { | ||
115 | neg find transition_M0(_, e, _); | ||
116 | } | ||
117 | |||
118 | pattern noOutgoingTransitionFromEntry_M1(e) { | ||
119 | Vertex(e); | ||
120 | neg find transition_M0(_, e, _); | ||
121 | } | ||
122 | pattern noOutgoingTransitionFromEntry_M2(e : Entry) { | ||
123 | neg find transition_M1(_, e, _); | ||
124 | } | ||
125 | pattern noOutgoingTransitionFromEntry_M3(e : Entry) { | ||
126 | neg find transition_M2(_, e, _); | ||
127 | } | ||
128 | pattern noOutgoingTransitionFromEntry_M4(e : Entry) { | ||
129 | neg find transition_M3(_, e, _); | ||
130 | } | ||
131 | pattern noOutgoingTransitionFromEntry_M5(e : Entry) { | ||
132 | neg find transition_M4(_, e, _); | ||
133 | } | ||
134 | |||
135 | |||
136 | //@Constraint(severity="error", message="error", key = {e}) | ||
137 | pattern multipleTransitionFromEntry_M0(e : Entry, t1 : Transition, t2: Transition) { | ||
138 | Entry.outgoingTransitions(e,t1); | ||
139 | Entry.outgoingTransitions(e,t2); | ||
140 | t1!=t2; | ||
141 | } | ||
142 | pattern multipleTransitionFromEntry_M1(e, t1 : Transition, t2: Transition) { | ||
143 | Entry.outgoingTransitions(e,t1); | ||
144 | Entry.outgoingTransitions(e,t2); | ||
145 | t1!=t2; | ||
146 | } | ||
147 | pattern multipleTransitionFromEntry_M2(e : Entry, t1 : Transition, t2: Transition) { | ||
148 | Transition(t1); | ||
149 | Entry.outgoingTransitions(e,t2); | ||
150 | t1!=t2; | ||
151 | } | ||
152 | pattern multipleTransitionFromEntry_M3(e : Entry, t1 : Transition, t2: Transition) { | ||
153 | Entry.outgoingTransitions(e,t1); | ||
154 | Transition(t2); | ||
155 | t1!=t2; | ||
156 | } | ||
157 | pattern multipleTransitionFromEntry_M4(e : Entry, t1 : Transition, t2: Transition) { | ||
158 | Entry.outgoingTransitions(e,t1); | ||
159 | Entry.outgoingTransitions(e,t2); | ||
160 | } | ||
161 | |||
162 | ///////// | ||
163 | // Exit | ||
164 | ///////// | ||
165 | |||
166 | //@Constraint(severity="error", message="error", key = {e}) | ||
167 | pattern outgoingFromExit_M0(t : Transition, e : Exit) { | ||
168 | Exit.outgoingTransitions(e,t); | ||
169 | } | ||
170 | pattern outgoingFromExit_M1(t : Transition, e) { | ||
171 | Vertex.outgoingTransitions(e,t); | ||
172 | } | ||
173 | pattern outgoingFromExit_M2(t : Transition, e : Exit) { | ||
174 | Transition(t); | ||
175 | Exit(e); | ||
176 | } | ||
177 | |||
178 | ///////// | ||
179 | // Final | ||
180 | ///////// | ||
181 | |||
182 | //@Constraint(severity="error", message="error", key = {f}) | ||
183 | pattern outgoingFromFinal_M0(t : Transition, f : FinalState) { | ||
184 | FinalState.outgoingTransitions(f,t); | ||
185 | } | ||
186 | pattern outgoingFromFinal_M1(t : Transition, f) { | ||
187 | Vertex.outgoingTransitions(f,t); | ||
188 | } | ||
189 | pattern outgoingFromFinal_M2(t : Transition, f : FinalState) { | ||
190 | Transition(t); | ||
191 | FinalState(f); | ||
192 | } | ||
193 | |||
194 | ///////// | ||
195 | // State vs Region | ||
196 | ///////// | ||
197 | |||
198 | //@Constraint(severity="error", message="error", key = {region}) | ||
199 | pattern noStateInRegion_M0(region: Region) { | ||
200 | neg find StateInRegion_M0(region,_); | ||
201 | } | ||
202 | pattern noStateInRegion_M1(region: Region) { | ||
203 | neg find StateInRegion_M1(region,_); | ||
204 | } | ||
205 | pattern noStateInRegion_M2(region: Region) { | ||
206 | neg find StateInRegion_M2(region,_); | ||
207 | } | ||
208 | pattern noStateInRegion_M3(region: Region) { | ||
209 | find StateInRegion_M0(region,_); | ||
210 | } | ||
211 | |||
212 | pattern StateInRegion_M0(region: Region, state: State) { | ||
213 | Region.vertices(region,state); | ||
214 | } | ||
215 | pattern StateInRegion_M1(region: Region, state) { | ||
216 | Region.vertices(region,state); | ||
217 | } | ||
218 | pattern StateInRegion_M2(region: Region, state:State) { | ||
219 | Region(region);State(state); | ||
220 | } | ||
221 | |||
222 | ///////// | ||
223 | // Choice | ||
224 | ///////// | ||
225 | |||
226 | @Constraint(severity="error", message="error", key = {c}) | ||
227 | pattern choiceHasNoOutgoing_M0(c : Choice) { | ||
228 | neg find transition_M0(_, c, _); | ||
229 | } | ||
230 | pattern choiceHasNoOutgoing_M1(c:Vertex) { | ||
231 | neg find transition_M0(_, c, _); | ||
232 | } | ||
233 | pattern choiceHasNoOutgoing_M2(c : Choice) { | ||
234 | neg find transition_M1(_, c, _); | ||
235 | } | ||
236 | pattern choiceHasNoOutgoing_M3(c : Choice) { | ||
237 | neg find transition_M2(_, c, _); | ||
238 | } | ||
239 | pattern choiceHasNoOutgoing_M4(c : Choice) { | ||
240 | neg find transition_M3(_, c, _); | ||
241 | } | ||
242 | pattern choiceHasNoOutgoing_M5(c : Choice) { | ||
243 | neg find transition_M4(_, c, _); | ||
244 | } | ||
245 | pattern choiceHasNoOutgoing_M6(c : Choice) { | ||
246 | find transition_M0(_, c, _); | ||
247 | } | ||
248 | |||
249 | @Constraint(severity="error", message="error", key = {c}) | ||
250 | pattern choiceHasNoIncoming_M0(c: Choice) { | ||
251 | neg find transition_M0(_, _, c); | ||
252 | } | ||
253 | pattern choiceHasNoIncoming_M1(c:Vertex) { | ||
254 | neg find transition_M0(_, _, c); | ||
255 | } | ||
256 | pattern choiceHasNoIncoming_M2(c: Choice) { | ||
257 | neg find transition_M1(_, _, c); | ||
258 | } | ||
259 | pattern choiceHasNoIncoming_M3(c: Choice) { | ||
260 | neg find transition_M2(_, _, c); | ||
261 | } | ||
262 | pattern choiceHasNoIncoming_M4(c: Choice) { | ||
263 | neg find transition_M3(_, _, c); | ||
264 | } | ||
265 | pattern choiceHasNoIncoming_M5(c: Choice) { | ||
266 | neg find transition_M4(_, _, c); | ||
267 | } | ||
268 | pattern choiceHasNoIncoming_M6(c: Choice) { | ||
269 | find transition_M0(_, _, c); | ||
270 | } | ||