diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem')
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem | 1114 |
1 files changed, 1114 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem new file mode 100644 index 00000000..96543fe1 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem | |||
@@ -0,0 +1,1114 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> | ||
3 | <types xsi:type="language_1:TypeDeclaration" name="User class"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="Project class" subtypes="//@types.7 //@types.8" isAbstract="true"/> | ||
5 | <types xsi:type="language_1:TypeDeclaration" name="Commit class"/> | ||
6 | <types xsi:type="language_1:TypeDeclaration" name="Issue class"/> | ||
7 | <types xsi:type="language_1:TypeDeclaration" name="PullRequest class"/> | ||
8 | <types xsi:type="language_1:TypeDeclaration" name="IssueEvent class"/> | ||
9 | <types xsi:type="language_1:TypeDefinition" name="Action enum" elements="//@elements.0 //@elements.1 //@elements.2 //@elements.3 //@elements.4 //@elements.5 //@elements.6 //@elements.7 //@elements.8 //@elements.9 //@elements.10"/> | ||
10 | <types xsi:type="language_1:TypeDefinition" name="Project class DefinedPart" supertypes="//@types.1" elements="//@elements.11"/> | ||
11 | <types xsi:type="language_1:TypeDeclaration" name="Project class UndefinedPart" supertypes="//@types.1"/> | ||
12 | <assertions name="lowerMultiplicity committer Commit" annotations="//@annotations.0"> | ||
13 | <value xsi:type="language_1:Forall"> | ||
14 | <quantifiedVariables name="src"> | ||
15 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
16 | </quantifiedVariables> | ||
17 | <expression xsi:type="language_1:Exists"> | ||
18 | <quantifiedVariables name="trg 1"> | ||
19 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
20 | </quantifiedVariables> | ||
21 | <expression xsi:type="language_1:And"> | ||
22 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
23 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
24 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> | ||
25 | </operands> | ||
26 | </expression> | ||
27 | </expression> | ||
28 | </value> | ||
29 | </assertions> | ||
30 | <assertions name="upperMultiplicity committer Commit" annotations="//@annotations.1"> | ||
31 | <value xsi:type="language_1:Forall"> | ||
32 | <quantifiedVariables name="src"> | ||
33 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
34 | </quantifiedVariables> | ||
35 | <quantifiedVariables name="trg 1"> | ||
36 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
37 | </quantifiedVariables> | ||
38 | <quantifiedVariables name="trg 2"> | ||
39 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
40 | </quantifiedVariables> | ||
41 | <expression xsi:type="language_1:Impl"> | ||
42 | <leftOperand xsi:type="language_1:And"> | ||
43 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
44 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
45 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
46 | </operands> | ||
47 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
48 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
49 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
50 | </operands> | ||
51 | </leftOperand> | ||
52 | <rightOperand xsi:type="language_1:Not"> | ||
53 | <operand xsi:type="language_1:Distinct"> | ||
54 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
55 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
56 | </operand> | ||
57 | </rightOperand> | ||
58 | </expression> | ||
59 | </value> | ||
60 | </assertions> | ||
61 | <assertions name="upperMultiplicity parents Commit" annotations="//@annotations.2"> | ||
62 | <value xsi:type="language_1:Forall"> | ||
63 | <quantifiedVariables name="src"> | ||
64 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
65 | </quantifiedVariables> | ||
66 | <quantifiedVariables name="trg 1"> | ||
67 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
68 | </quantifiedVariables> | ||
69 | <quantifiedVariables name="trg 2"> | ||
70 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
71 | </quantifiedVariables> | ||
72 | <quantifiedVariables name="trg 3"> | ||
73 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
74 | </quantifiedVariables> | ||
75 | <expression xsi:type="language_1:Impl"> | ||
76 | <leftOperand xsi:type="language_1:And"> | ||
77 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
79 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
80 | </operands> | ||
81 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
82 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
84 | </operands> | ||
85 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
86 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
87 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.3"/> | ||
88 | </operands> | ||
89 | </leftOperand> | ||
90 | <rightOperand xsi:type="language_1:Not"> | ||
91 | <operand xsi:type="language_1:Distinct"> | ||
92 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
93 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
94 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.3"/> | ||
95 | </operand> | ||
96 | </rightOperand> | ||
97 | </expression> | ||
98 | </value> | ||
99 | </assertions> | ||
100 | <assertions name="upperMultiplicity pullrequest Commit" annotations="//@annotations.3"> | ||
101 | <value xsi:type="language_1:Forall"> | ||
102 | <quantifiedVariables name="src"> | ||
103 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
104 | </quantifiedVariables> | ||
105 | <quantifiedVariables name="trg 1"> | ||
106 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
107 | </quantifiedVariables> | ||
108 | <quantifiedVariables name="trg 2"> | ||
109 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
110 | </quantifiedVariables> | ||
111 | <expression xsi:type="language_1:Impl"> | ||
112 | <leftOperand xsi:type="language_1:And"> | ||
113 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
115 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
116 | </operands> | ||
117 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
118 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
119 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
120 | </operands> | ||
121 | </leftOperand> | ||
122 | <rightOperand xsi:type="language_1:Not"> | ||
123 | <operand xsi:type="language_1:Distinct"> | ||
124 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
125 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
126 | </operand> | ||
127 | </rightOperand> | ||
128 | </expression> | ||
129 | </value> | ||
130 | </assertions> | ||
131 | <assertions name="upperMultiplicity pullrequest Issue" annotations="//@annotations.4"> | ||
132 | <value xsi:type="language_1:Forall"> | ||
133 | <quantifiedVariables name="src"> | ||
134 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
135 | </quantifiedVariables> | ||
136 | <quantifiedVariables name="trg 1"> | ||
137 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
138 | </quantifiedVariables> | ||
139 | <quantifiedVariables name="trg 2"> | ||
140 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
141 | </quantifiedVariables> | ||
142 | <expression xsi:type="language_1:Impl"> | ||
143 | <leftOperand xsi:type="language_1:And"> | ||
144 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
145 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
146 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
147 | </operands> | ||
148 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
150 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
151 | </operands> | ||
152 | </leftOperand> | ||
153 | <rightOperand xsi:type="language_1:Not"> | ||
154 | <operand xsi:type="language_1:Distinct"> | ||
155 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
156 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
157 | </operand> | ||
158 | </rightOperand> | ||
159 | </expression> | ||
160 | </value> | ||
161 | </assertions> | ||
162 | <assertions name="upperMultiplicity commit PullRequest" annotations="//@annotations.5"> | ||
163 | <value xsi:type="language_1:Forall"> | ||
164 | <quantifiedVariables name="src"> | ||
165 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
166 | </quantifiedVariables> | ||
167 | <quantifiedVariables name="trg 1"> | ||
168 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
169 | </quantifiedVariables> | ||
170 | <quantifiedVariables name="trg 2"> | ||
171 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
172 | </quantifiedVariables> | ||
173 | <expression xsi:type="language_1:Impl"> | ||
174 | <leftOperand xsi:type="language_1:And"> | ||
175 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
176 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
177 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | ||
178 | </operands> | ||
179 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
180 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
181 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> | ||
182 | </operands> | ||
183 | </leftOperand> | ||
184 | <rightOperand xsi:type="language_1:Not"> | ||
185 | <operand xsi:type="language_1:Distinct"> | ||
186 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | ||
187 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> | ||
188 | </operand> | ||
189 | </rightOperand> | ||
190 | </expression> | ||
191 | </value> | ||
192 | </assertions> | ||
193 | <assertions name="lowerMultiplicity user IssueEvent" annotations="//@annotations.6"> | ||
194 | <value xsi:type="language_1:Forall"> | ||
195 | <quantifiedVariables name="src"> | ||
196 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
197 | </quantifiedVariables> | ||
198 | <expression xsi:type="language_1:Exists"> | ||
199 | <quantifiedVariables name="trg 1"> | ||
200 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
201 | </quantifiedVariables> | ||
202 | <expression xsi:type="language_1:And"> | ||
203 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
204 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
205 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@expression/@quantifiedVariables.0"/> | ||
206 | </operands> | ||
207 | </expression> | ||
208 | </expression> | ||
209 | </value> | ||
210 | </assertions> | ||
211 | <assertions name="upperMultiplicity user IssueEvent" annotations="//@annotations.7"> | ||
212 | <value xsi:type="language_1:Forall"> | ||
213 | <quantifiedVariables name="src"> | ||
214 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
215 | </quantifiedVariables> | ||
216 | <quantifiedVariables name="trg 1"> | ||
217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
218 | </quantifiedVariables> | ||
219 | <quantifiedVariables name="trg 2"> | ||
220 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
221 | </quantifiedVariables> | ||
222 | <expression xsi:type="language_1:Impl"> | ||
223 | <leftOperand xsi:type="language_1:And"> | ||
224 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
225 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | ||
226 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> | ||
227 | </operands> | ||
228 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
229 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | ||
230 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> | ||
231 | </operands> | ||
232 | </leftOperand> | ||
233 | <rightOperand xsi:type="language_1:Not"> | ||
234 | <operand xsi:type="language_1:Distinct"> | ||
235 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> | ||
236 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> | ||
237 | </operand> | ||
238 | </rightOperand> | ||
239 | </expression> | ||
240 | </value> | ||
241 | </assertions> | ||
242 | <assertions name="oppositeReference pullrequest Commit" annotations="//@annotations.8"> | ||
243 | <value xsi:type="language_1:Forall"> | ||
244 | <quantifiedVariables name="src"> | ||
245 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
246 | </quantifiedVariables> | ||
247 | <quantifiedVariables name="trg"> | ||
248 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
249 | </quantifiedVariables> | ||
250 | <expression xsi:type="language_1:Iff"> | ||
251 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
252 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
253 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
254 | </leftOperand> | ||
255 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
256 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
257 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
258 | </rightOperand> | ||
259 | </expression> | ||
260 | </value> | ||
261 | </assertions> | ||
262 | <assertions name="lowerMultiplicity action IssueEvent" annotations="//@annotations.9"> | ||
263 | <value xsi:type="language_1:Forall"> | ||
264 | <quantifiedVariables name="src"> | ||
265 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
266 | </quantifiedVariables> | ||
267 | <expression xsi:type="language_1:Exists"> | ||
268 | <quantifiedVariables name="trg 1"> | ||
269 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
270 | </quantifiedVariables> | ||
271 | <expression xsi:type="language_1:And"> | ||
272 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
273 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | ||
274 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@expression/@quantifiedVariables.0"/> | ||
275 | </operands> | ||
276 | </expression> | ||
277 | </expression> | ||
278 | </value> | ||
279 | </assertions> | ||
280 | <assertions name="upperMultiplicity action IssueEvent" annotations="//@annotations.10"> | ||
281 | <value xsi:type="language_1:Forall"> | ||
282 | <quantifiedVariables name="src"> | ||
283 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
284 | </quantifiedVariables> | ||
285 | <quantifiedVariables name="trg 1"> | ||
286 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
287 | </quantifiedVariables> | ||
288 | <quantifiedVariables name="trg 2"> | ||
289 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
290 | </quantifiedVariables> | ||
291 | <expression xsi:type="language_1:Impl"> | ||
292 | <leftOperand xsi:type="language_1:And"> | ||
293 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
294 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> | ||
296 | </operands> | ||
297 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
298 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
299 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> | ||
300 | </operands> | ||
301 | </leftOperand> | ||
302 | <rightOperand xsi:type="language_1:Not"> | ||
303 | <operand xsi:type="language_1:Distinct"> | ||
304 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> | ||
305 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> | ||
306 | </operand> | ||
307 | </rightOperand> | ||
308 | </expression> | ||
309 | </value> | ||
310 | </assertions> | ||
311 | <assertions name="errorpattern queries loopInParent" annotations="//@annotations.27"> | ||
312 | <value xsi:type="language_1:Forall"> | ||
313 | <quantifiedVariables name="p0"> | ||
314 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
315 | </quantifiedVariables> | ||
316 | <expression xsi:type="language_1:Not"> | ||
317 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
318 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> | ||
319 | </operand> | ||
320 | </expression> | ||
321 | </value> | ||
322 | </assertions> | ||
323 | <assertions name="errorpattern queries consecutiveClosesWithoutReopen" annotations="//@annotations.28"> | ||
324 | <value xsi:type="language_1:Forall"> | ||
325 | <quantifiedVariables name="p0"> | ||
326 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
327 | </quantifiedVariables> | ||
328 | <expression xsi:type="language_1:Not"> | ||
329 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | ||
330 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
331 | </operand> | ||
332 | </expression> | ||
333 | </value> | ||
334 | </assertions> | ||
335 | <assertions name="errorpattern queries consecutiveReopensWithoutClose" annotations="//@annotations.29"> | ||
336 | <value xsi:type="language_1:Forall"> | ||
337 | <quantifiedVariables name="p0"> | ||
338 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
339 | </quantifiedVariables> | ||
340 | <expression xsi:type="language_1:Not"> | ||
341 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> | ||
342 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> | ||
343 | </operand> | ||
344 | </expression> | ||
345 | </value> | ||
346 | </assertions> | ||
347 | <assertions name="errorpattern queries consecutiveSubWithoutUnSub" annotations="//@annotations.30"> | ||
348 | <value xsi:type="language_1:Forall"> | ||
349 | <quantifiedVariables name="p0"> | ||
350 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
351 | </quantifiedVariables> | ||
352 | <quantifiedVariables name="p1"> | ||
353 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
354 | </quantifiedVariables> | ||
355 | <expression xsi:type="language_1:Not"> | ||
356 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> | ||
357 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
358 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> | ||
359 | </operand> | ||
360 | </expression> | ||
361 | </value> | ||
362 | </assertions> | ||
363 | <assertions name="errorpattern queries consecutiveUnSubWithoutSub" annotations="//@annotations.31"> | ||
364 | <value xsi:type="language_1:Forall"> | ||
365 | <quantifiedVariables name="p0"> | ||
366 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
367 | </quantifiedVariables> | ||
368 | <quantifiedVariables name="p1"> | ||
369 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
370 | </quantifiedVariables> | ||
371 | <expression xsi:type="language_1:Not"> | ||
372 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | ||
373 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
374 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> | ||
375 | </operand> | ||
376 | </expression> | ||
377 | </value> | ||
378 | </assertions> | ||
379 | <assertions name="errorpattern queries noCommitter" annotations="//@annotations.32"> | ||
380 | <value xsi:type="language_1:Forall"> | ||
381 | <quantifiedVariables name="p0"> | ||
382 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
383 | </quantifiedVariables> | ||
384 | <expression xsi:type="language_1:Not"> | ||
385 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
386 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> | ||
387 | </operand> | ||
388 | </expression> | ||
389 | </value> | ||
390 | </assertions> | ||
391 | <assertions name="errorpattern queries noUser" annotations="//@annotations.33"> | ||
392 | <value xsi:type="language_1:Forall"> | ||
393 | <quantifiedVariables name="p0"> | ||
394 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
395 | </quantifiedVariables> | ||
396 | <expression xsi:type="language_1:Not"> | ||
397 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> | ||
398 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
399 | </operand> | ||
400 | </expression> | ||
401 | </value> | ||
402 | </assertions> | ||
403 | <relations xsi:type="language_1:RelationDeclaration" name="issue reference Project"> | ||
404 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
405 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
406 | </relations> | ||
407 | <relations xsi:type="language_1:RelationDeclaration" name="projectMembers reference Project"> | ||
408 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
409 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
410 | </relations> | ||
411 | <relations xsi:type="language_1:RelationDeclaration" name="commits reference Project"> | ||
412 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
413 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
414 | </relations> | ||
415 | <relations xsi:type="language_1:RelationDeclaration" name="committer reference Commit"> | ||
416 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
417 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
418 | </relations> | ||
419 | <relations xsi:type="language_1:RelationDeclaration" name="parents reference Commit"> | ||
420 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
421 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
422 | </relations> | ||
423 | <relations xsi:type="language_1:RelationDeclaration" name="pullrequest reference Commit"> | ||
424 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
425 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
426 | </relations> | ||
427 | <relations xsi:type="language_1:RelationDeclaration" name="pullrequest reference Issue"> | ||
428 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
429 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
430 | </relations> | ||
431 | <relations xsi:type="language_1:RelationDeclaration" name="issueevent reference Issue"> | ||
432 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
433 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
434 | </relations> | ||
435 | <relations xsi:type="language_1:RelationDeclaration" name="commit reference PullRequest"> | ||
436 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
437 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
438 | </relations> | ||
439 | <relations xsi:type="language_1:RelationDeclaration" name="user reference IssueEvent"> | ||
440 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
441 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
442 | </relations> | ||
443 | <relations xsi:type="language_1:RelationDeclaration" name="action attribute IssueEvent"> | ||
444 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
445 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
446 | </relations> | ||
447 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries directParent" annotations="//@annotations.11"> | ||
448 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
449 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
450 | <variables name="parameter a"> | ||
451 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
452 | </variables> | ||
453 | <variables name="parameter b"> | ||
454 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
455 | </variables> | ||
456 | <value xsi:type="language_1:Or"> | ||
457 | <operands xsi:type="language_1:And"> | ||
458 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
459 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> | ||
460 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.1"/> | ||
461 | </operands> | ||
462 | <operands xsi:type="language_1:InstanceOf"> | ||
463 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.1"/> | ||
464 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
465 | </operands> | ||
466 | </operands> | ||
467 | </value> | ||
468 | </relations> | ||
469 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries loopInParent" annotations="//@annotations.12"> | ||
470 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
471 | <variables name="parameter a"> | ||
472 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
473 | </variables> | ||
474 | <value xsi:type="language_1:Or"> | ||
475 | <operands xsi:type="language_1:And"> | ||
476 | <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.11"> | ||
477 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> | ||
478 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> | ||
479 | </operands> | ||
480 | </operands> | ||
481 | </value> | ||
482 | </relations> | ||
483 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries checkAction" annotations="//@annotations.13"> | ||
484 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
485 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
486 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
487 | <variables name="parameter i"> | ||
488 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
489 | </variables> | ||
490 | <variables name="parameter e"> | ||
491 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
492 | </variables> | ||
493 | <variables name="parameter t"> | ||
494 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
495 | </variables> | ||
496 | <value xsi:type="language_1:Or"> | ||
497 | <operands xsi:type="language_1:And"> | ||
498 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
499 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> | ||
500 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/> | ||
501 | </operands> | ||
502 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
503 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/> | ||
504 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.2"/> | ||
505 | </operands> | ||
506 | </operands> | ||
507 | </value> | ||
508 | </relations> | ||
509 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries checkUserAction" annotations="//@annotations.14"> | ||
510 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
511 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
512 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
513 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
514 | <variables name="parameter i"> | ||
515 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
516 | </variables> | ||
517 | <variables name="parameter u"> | ||
518 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
519 | </variables> | ||
520 | <variables name="parameter e"> | ||
521 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
522 | </variables> | ||
523 | <variables name="parameter t"> | ||
524 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
525 | </variables> | ||
526 | <value xsi:type="language_1:Or"> | ||
527 | <operands xsi:type="language_1:And"> | ||
528 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
529 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> | ||
530 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/> | ||
531 | </operands> | ||
532 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
533 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/> | ||
534 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> | ||
535 | </operands> | ||
536 | <operands xsi:type="language_1:InstanceOf"> | ||
537 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> | ||
538 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
539 | </operands> | ||
540 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
541 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/> | ||
542 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.3"/> | ||
543 | </operands> | ||
544 | </operands> | ||
545 | </value> | ||
546 | </relations> | ||
547 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries isReopen" annotations="//@annotations.15"> | ||
548 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
549 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
550 | <variables name="parameter i"> | ||
551 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
552 | </variables> | ||
553 | <variables name="parameter e"> | ||
554 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
555 | </variables> | ||
556 | <value xsi:type="language_1:Or"> | ||
557 | <operands xsi:type="language_1:Exists"> | ||
558 | <quantifiedVariables name="variable a"> | ||
559 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
560 | </quantifiedVariables> | ||
561 | <expression xsi:type="language_1:And"> | ||
562 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
563 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> | ||
564 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/> | ||
565 | </operands> | ||
566 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
567 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/> | ||
568 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> | ||
569 | </operands> | ||
570 | <operands xsi:type="language_1:Equals"> | ||
571 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> | ||
572 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/> | ||
573 | </operands> | ||
574 | </expression> | ||
575 | </operands> | ||
576 | </value> | ||
577 | </relations> | ||
578 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries isClose" annotations="//@annotations.16"> | ||
579 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
580 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
581 | <variables name="parameter i"> | ||
582 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
583 | </variables> | ||
584 | <variables name="parameter e"> | ||
585 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
586 | </variables> | ||
587 | <value xsi:type="language_1:Or"> | ||
588 | <operands xsi:type="language_1:Exists"> | ||
589 | <quantifiedVariables name="variable a"> | ||
590 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
591 | </quantifiedVariables> | ||
592 | <expression xsi:type="language_1:And"> | ||
593 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
594 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> | ||
595 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
596 | </operands> | ||
597 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
598 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
599 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/> | ||
600 | </operands> | ||
601 | <operands xsi:type="language_1:Equals"> | ||
602 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/> | ||
603 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> | ||
604 | </operands> | ||
605 | </expression> | ||
606 | </operands> | ||
607 | </value> | ||
608 | </relations> | ||
609 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries isUnSubscribe" annotations="//@annotations.17"> | ||
610 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
611 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
612 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
613 | <variables name="parameter i"> | ||
614 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
615 | </variables> | ||
616 | <variables name="parameter u"> | ||
617 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
618 | </variables> | ||
619 | <variables name="parameter e"> | ||
620 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
621 | </variables> | ||
622 | <value xsi:type="language_1:Or"> | ||
623 | <operands xsi:type="language_1:Exists"> | ||
624 | <quantifiedVariables name="variable a"> | ||
625 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
626 | </quantifiedVariables> | ||
627 | <expression xsi:type="language_1:And"> | ||
628 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
629 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> | ||
630 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/> | ||
631 | </operands> | ||
632 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
633 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/> | ||
634 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
635 | </operands> | ||
636 | <operands xsi:type="language_1:InstanceOf"> | ||
637 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
638 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
639 | </operands> | ||
640 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
641 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/> | ||
642 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> | ||
643 | </operands> | ||
644 | <operands xsi:type="language_1:Equals"> | ||
645 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> | ||
646 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/> | ||
647 | </operands> | ||
648 | </expression> | ||
649 | </operands> | ||
650 | </value> | ||
651 | </relations> | ||
652 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries isSubscribe" annotations="//@annotations.18"> | ||
653 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
654 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
655 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
656 | <variables name="parameter i"> | ||
657 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
658 | </variables> | ||
659 | <variables name="parameter u"> | ||
660 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
661 | </variables> | ||
662 | <variables name="parameter e"> | ||
663 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
664 | </variables> | ||
665 | <value xsi:type="language_1:Or"> | ||
666 | <operands xsi:type="language_1:Exists"> | ||
667 | <quantifiedVariables name="variable a"> | ||
668 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
669 | </quantifiedVariables> | ||
670 | <expression xsi:type="language_1:And"> | ||
671 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
672 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> | ||
673 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/> | ||
674 | </operands> | ||
675 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
676 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/> | ||
677 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> | ||
678 | </operands> | ||
679 | <operands xsi:type="language_1:InstanceOf"> | ||
680 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> | ||
681 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
682 | </operands> | ||
683 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
684 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/> | ||
685 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/> | ||
686 | </operands> | ||
687 | <operands xsi:type="language_1:Equals"> | ||
688 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/> | ||
689 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
690 | </operands> | ||
691 | </expression> | ||
692 | </operands> | ||
693 | </value> | ||
694 | </relations> | ||
695 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveClosesWithoutReopen" annotations="//@annotations.19"> | ||
696 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
697 | <variables name="parameter i"> | ||
698 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
699 | </variables> | ||
700 | <value xsi:type="language_1:Or"> | ||
701 | <operands xsi:type="language_1:Exists"> | ||
702 | <quantifiedVariables name="variable a1"> | ||
703 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
704 | </quantifiedVariables> | ||
705 | <quantifiedVariables name="variable a2"> | ||
706 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
707 | </quantifiedVariables> | ||
708 | <quantifiedVariables name="variable virtual0"> | ||
709 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
710 | </quantifiedVariables> | ||
711 | <quantifiedVariables name="variable virtual1"> | ||
712 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
713 | </quantifiedVariables> | ||
714 | <expression xsi:type="language_1:Forall"> | ||
715 | <quantifiedVariables name="variable 0"> | ||
716 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
717 | </quantifiedVariables> | ||
718 | <expression xsi:type="language_1:And"> | ||
719 | <operands xsi:type="language_1:Equals"> | ||
720 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
721 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> | ||
722 | </operands> | ||
723 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
724 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
725 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
726 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
727 | </operands> | ||
728 | <operands xsi:type="language_1:Equals"> | ||
729 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/> | ||
730 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> | ||
731 | </operands> | ||
732 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
733 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
734 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
735 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/> | ||
736 | </operands> | ||
737 | <operands xsi:type="language_1:Distinct"> | ||
738 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
739 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
740 | </operands> | ||
741 | <operands xsi:type="language_1:Not"> | ||
742 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
743 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
744 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
745 | </operand> | ||
746 | </operands> | ||
747 | </expression> | ||
748 | </expression> | ||
749 | </operands> | ||
750 | </value> | ||
751 | </relations> | ||
752 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveReopensWithoutClose" annotations="//@annotations.20"> | ||
753 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
754 | <variables name="parameter i"> | ||
755 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
756 | </variables> | ||
757 | <value xsi:type="language_1:Or"> | ||
758 | <operands xsi:type="language_1:Exists"> | ||
759 | <quantifiedVariables name="variable a1"> | ||
760 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
761 | </quantifiedVariables> | ||
762 | <quantifiedVariables name="variable a2"> | ||
763 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
764 | </quantifiedVariables> | ||
765 | <quantifiedVariables name="variable virtual0"> | ||
766 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
767 | </quantifiedVariables> | ||
768 | <quantifiedVariables name="variable virtual1"> | ||
769 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
770 | </quantifiedVariables> | ||
771 | <expression xsi:type="language_1:Forall"> | ||
772 | <quantifiedVariables name="variable 0"> | ||
773 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
774 | </quantifiedVariables> | ||
775 | <expression xsi:type="language_1:And"> | ||
776 | <operands xsi:type="language_1:Equals"> | ||
777 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/> | ||
778 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/> | ||
779 | </operands> | ||
780 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
781 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
782 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
783 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/> | ||
784 | </operands> | ||
785 | <operands xsi:type="language_1:Equals"> | ||
786 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/> | ||
787 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/> | ||
788 | </operands> | ||
789 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
790 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
791 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
792 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/> | ||
793 | </operands> | ||
794 | <operands xsi:type="language_1:Distinct"> | ||
795 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
796 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
797 | </operands> | ||
798 | <operands xsi:type="language_1:Not"> | ||
799 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | ||
800 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
801 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
802 | </operand> | ||
803 | </operands> | ||
804 | </expression> | ||
805 | </expression> | ||
806 | </operands> | ||
807 | </value> | ||
808 | </relations> | ||
809 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveSubWithoutUnSub" annotations="//@annotations.21"> | ||
810 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
811 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
812 | <variables name="parameter i"> | ||
813 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
814 | </variables> | ||
815 | <variables name="parameter u"> | ||
816 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
817 | </variables> | ||
818 | <value xsi:type="language_1:Or"> | ||
819 | <operands xsi:type="language_1:Exists"> | ||
820 | <quantifiedVariables name="variable a1"> | ||
821 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
822 | </quantifiedVariables> | ||
823 | <quantifiedVariables name="variable a2"> | ||
824 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
825 | </quantifiedVariables> | ||
826 | <quantifiedVariables name="variable virtual0"> | ||
827 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
828 | </quantifiedVariables> | ||
829 | <quantifiedVariables name="variable virtual1"> | ||
830 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
831 | </quantifiedVariables> | ||
832 | <expression xsi:type="language_1:Forall"> | ||
833 | <quantifiedVariables name="variable 0"> | ||
834 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
835 | </quantifiedVariables> | ||
836 | <expression xsi:type="language_1:And"> | ||
837 | <operands xsi:type="language_1:Equals"> | ||
838 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/> | ||
839 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
840 | </operands> | ||
841 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
842 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> | ||
843 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
844 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> | ||
845 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/> | ||
846 | </operands> | ||
847 | <operands xsi:type="language_1:Equals"> | ||
848 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/> | ||
849 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
850 | </operands> | ||
851 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
852 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> | ||
853 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
854 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/> | ||
855 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/> | ||
856 | </operands> | ||
857 | <operands xsi:type="language_1:Distinct"> | ||
858 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> | ||
859 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/> | ||
860 | </operands> | ||
861 | <operands xsi:type="language_1:Not"> | ||
862 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
863 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> | ||
864 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
865 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
866 | </operand> | ||
867 | </operands> | ||
868 | </expression> | ||
869 | </expression> | ||
870 | </operands> | ||
871 | </value> | ||
872 | </relations> | ||
873 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveUnSubWithoutSub" annotations="//@annotations.22"> | ||
874 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
875 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
876 | <variables name="parameter i"> | ||
877 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
878 | </variables> | ||
879 | <variables name="parameter u"> | ||
880 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
881 | </variables> | ||
882 | <value xsi:type="language_1:Or"> | ||
883 | <operands xsi:type="language_1:Exists"> | ||
884 | <quantifiedVariables name="variable a1"> | ||
885 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
886 | </quantifiedVariables> | ||
887 | <quantifiedVariables name="variable a2"> | ||
888 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
889 | </quantifiedVariables> | ||
890 | <quantifiedVariables name="variable virtual0"> | ||
891 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
892 | </quantifiedVariables> | ||
893 | <quantifiedVariables name="variable virtual1"> | ||
894 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
895 | </quantifiedVariables> | ||
896 | <expression xsi:type="language_1:Forall"> | ||
897 | <quantifiedVariables name="variable 0"> | ||
898 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
899 | </quantifiedVariables> | ||
900 | <expression xsi:type="language_1:And"> | ||
901 | <operands xsi:type="language_1:Equals"> | ||
902 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> | ||
903 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/> | ||
904 | </operands> | ||
905 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
906 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
907 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> | ||
908 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
909 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> | ||
910 | </operands> | ||
911 | <operands xsi:type="language_1:Equals"> | ||
912 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/> | ||
913 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/> | ||
914 | </operands> | ||
915 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
916 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
917 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> | ||
918 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
919 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/> | ||
920 | </operands> | ||
921 | <operands xsi:type="language_1:Distinct"> | ||
922 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
923 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
924 | </operands> | ||
925 | <operands xsi:type="language_1:Not"> | ||
926 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
927 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
928 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> | ||
929 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
930 | </operand> | ||
931 | </operands> | ||
932 | </expression> | ||
933 | </expression> | ||
934 | </operands> | ||
935 | </value> | ||
936 | </relations> | ||
937 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries committer" annotations="//@annotations.23"> | ||
938 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
939 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
940 | <variables name="parameter c"> | ||
941 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
942 | </variables> | ||
943 | <variables name="parameter u"> | ||
944 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
945 | </variables> | ||
946 | <value xsi:type="language_1:Or"> | ||
947 | <operands xsi:type="language_1:And"> | ||
948 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
949 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> | ||
950 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/> | ||
951 | </operands> | ||
952 | <operands xsi:type="language_1:InstanceOf"> | ||
953 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/> | ||
954 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
955 | </operands> | ||
956 | </operands> | ||
957 | </value> | ||
958 | </relations> | ||
959 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries eventUser" annotations="//@annotations.24"> | ||
960 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
961 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
962 | <variables name="parameter e"> | ||
963 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
964 | </variables> | ||
965 | <variables name="parameter u"> | ||
966 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
967 | </variables> | ||
968 | <value xsi:type="language_1:Or"> | ||
969 | <operands xsi:type="language_1:And"> | ||
970 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
971 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> | ||
972 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/> | ||
973 | </operands> | ||
974 | <operands xsi:type="language_1:InstanceOf"> | ||
975 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/> | ||
976 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
977 | </operands> | ||
978 | </operands> | ||
979 | </value> | ||
980 | </relations> | ||
981 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries noCommitter" annotations="//@annotations.25"> | ||
982 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
983 | <variables name="parameter c"> | ||
984 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
985 | </variables> | ||
986 | <value xsi:type="language_1:Or"> | ||
987 | <operands xsi:type="language_1:Forall"> | ||
988 | <quantifiedVariables name="variable 0"> | ||
989 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
990 | </quantifiedVariables> | ||
991 | <expression xsi:type="language_1:And"> | ||
992 | <operands xsi:type="language_1:InstanceOf"> | ||
993 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> | ||
994 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
995 | </operands> | ||
996 | <operands xsi:type="language_1:Not"> | ||
997 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> | ||
998 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> | ||
999 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/> | ||
1000 | </operand> | ||
1001 | </operands> | ||
1002 | </expression> | ||
1003 | </operands> | ||
1004 | </value> | ||
1005 | </relations> | ||
1006 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries noUser" annotations="//@annotations.26"> | ||
1007 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
1008 | <variables name="parameter e"> | ||
1009 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
1010 | </variables> | ||
1011 | <value xsi:type="language_1:Or"> | ||
1012 | <operands xsi:type="language_1:Forall"> | ||
1013 | <quantifiedVariables name="variable 0"> | ||
1014 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
1015 | </quantifiedVariables> | ||
1016 | <expression xsi:type="language_1:And"> | ||
1017 | <operands xsi:type="language_1:InstanceOf"> | ||
1018 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
1019 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
1020 | </operands> | ||
1021 | <operands xsi:type="language_1:Not"> | ||
1022 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | ||
1023 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
1024 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> | ||
1025 | </operand> | ||
1026 | </operands> | ||
1027 | </expression> | ||
1028 | </operands> | ||
1029 | </value> | ||
1030 | </relations> | ||
1031 | <elements name="SUBSCRIBED literal Action" definedInType="//@types.6"/> | ||
1032 | <elements name="MENTIONED literal Action" definedInType="//@types.6"/> | ||
1033 | <elements name="CLOSED literal Action" definedInType="//@types.6"/> | ||
1034 | <elements name="REFERENCED literal Action" definedInType="//@types.6"/> | ||
1035 | <elements name="ASSIGNED literal Action" definedInType="//@types.6"/> | ||
1036 | <elements name="REOPENED literal Action" definedInType="//@types.6"/> | ||
1037 | <elements name="UNSUBSCRIBED literal Action" definedInType="//@types.6"/> | ||
1038 | <elements name="MERGED literal Action" definedInType="//@types.6"/> | ||
1039 | <elements name="HEAD_REF_CLEANED literal Action" definedInType="//@types.6"/> | ||
1040 | <elements name="HEAD_REF_DELETED literal Action" definedInType="//@types.6"/> | ||
1041 | <elements name="HEAD_REF_RESTORED literal Action" definedInType="//@types.6"/> | ||
1042 | <elements name="o 1" definedInType="//@types.7"/> | ||
1043 | <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.5 //@types.2 //@types.0 //@types.1 //@types.3 //@types.7 //@types.8" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.6 //@relations.7"/> | ||
1044 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.3" lower="1"/> | ||
1045 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/> | ||
1046 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.4" upper="2"/> | ||
1047 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.5" upper="1"/> | ||
1048 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.6" upper="1"/> | ||
1049 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.8" upper="1"/> | ||
1050 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.6" relation="//@relations.9" lower="1"/> | ||
1051 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.9" upper="1"/> | ||
1052 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.8" inverseA="//@relations.5" inverseB="//@relations.8"/> | ||
1053 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.9" relation="//@relations.10" lower="1"/> | ||
1054 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.10" upper="1"/> | ||
1055 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="queries.directParent"/> | ||
1056 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="queries.loopInParent"/> | ||
1057 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="queries.checkAction"/> | ||
1058 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="queries.checkUserAction"/> | ||
1059 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="queries.isReopen"> | ||
1060 | <variableTrace targetLogicVariable="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> | ||
1061 | </annotations> | ||
1062 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="queries.isClose"> | ||
1063 | <variableTrace targetLogicVariable="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/> | ||
1064 | </annotations> | ||
1065 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="queries.isUnSubscribe"> | ||
1066 | <variableTrace targetLogicVariable="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> | ||
1067 | </annotations> | ||
1068 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="queries.isSubscribe"> | ||
1069 | <variableTrace targetLogicVariable="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/> | ||
1070 | </annotations> | ||
1071 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="queries.consecutiveClosesWithoutReopen"> | ||
1072 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
1073 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
1074 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
1075 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
1076 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/> | ||
1077 | </annotations> | ||
1078 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="queries.consecutiveReopensWithoutClose"> | ||
1079 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
1080 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
1081 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
1082 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/> | ||
1083 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/> | ||
1084 | </annotations> | ||
1085 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="queries.consecutiveSubWithoutUnSub"> | ||
1086 | <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> | ||
1087 | <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/> | ||
1088 | <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
1089 | <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/> | ||
1090 | <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/> | ||
1091 | </annotations> | ||
1092 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="queries.consecutiveUnSubWithoutSub"> | ||
1093 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1094 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
1095 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
1096 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> | ||
1097 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/> | ||
1098 | </annotations> | ||
1099 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="queries.committer"/> | ||
1100 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="queries.eventUser"/> | ||
1101 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="queries.noCommitter"> | ||
1102 | <variableTrace targetLogicVariable="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/> | ||
1103 | </annotations> | ||
1104 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="queries.noUser"> | ||
1105 | <variableTrace targetLogicVariable="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> | ||
1106 | </annotations> | ||
1107 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.11" query="//@annotations.12"/> | ||
1108 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.12" query="//@annotations.19"/> | ||
1109 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.13" query="//@annotations.20"/> | ||
1110 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.21"/> | ||
1111 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.22"/> | ||
1112 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.25"/> | ||
1113 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.26"/> | ||
1114 | </language:LogicProblem> | ||