|
| Implementations | |||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|
| prod-PositionalVar | 34/34 | 0/0 | 34/34 | 0/0 | 34/34 | 34/0 | 0/6 |
| K-ForExprPositionalVar-1[+]
X K-ForExprPositionalVar-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $a at $p in (1, 2) return 1, $p |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-2[+]
X K-ForExprPositionalVar-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-3[+]
X K-ForExprPositionalVar-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p2 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-4[+]
X K-ForExprPositionalVar-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p3 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-5[+]
X K-ForExprPositionalVar-5: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $a at p1 in 1 return 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-6[+]
X K-ForExprPositionalVar-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in (1, 2, 3) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-7[+]
X K-ForExprPositionalVar-7: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((true(), true()), for $i at $p in (1, 2) return boolean($p)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-8[+]
X K-ForExprPositionalVar-8: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $i at $p in (1, 2, 3) return $p + "1" |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-9[+]
X K-ForExprPositionalVar-9: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in string-to-codepoints("abc") return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-10[+]
X K-ForExprPositionalVar-10: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in distinct-values((1, 2, 3, 1, 2)) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-11[+]
X K-ForExprPositionalVar-11: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: empty(for $i at $p in () return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-12[+]
X K-ForExprPositionalVar-12: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 13, (current-date(), 3)) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-13[+]
X K-ForExprPositionalVar-13: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 1, (current-date(), 3)) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-14[+]
X K-ForExprPositionalVar-14: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 2, (current-date(), 3)) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-15[+]
X K-ForExprPositionalVar-15: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3, 4), for $i at $p in 1 to 4 return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-16[+]
X K-ForExprPositionalVar-16: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3, 4), for $i at $p in -10 to -7 return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-17[+]
X K-ForExprPositionalVar-17: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 2) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-18[+]
X K-ForExprPositionalVar-18: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 4) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-19[+]
X K-ForExprPositionalVar-19: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, current-time()), 10) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-20[+]
X K-ForExprPositionalVar-20: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, current-time()), 0) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-21[+]
X K-ForExprPositionalVar-21: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 1) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-22[+]
X K-ForExprPositionalVar-22: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 3) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-23[+]
X K-ForExprPositionalVar-23: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: 1 eq (for $i at $p in subsequence((1, 2, 3, current-time()), 1, 1) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-24[+]
X K-ForExprPositionalVar-24: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: empty(for $i at $p in subsequence((1, 2, 3, current-time()), 5) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-25[+]
X K-ForExprPositionalVar-25: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: empty(for $i at $p in subsequence((1, 2, 3, current-time()), 5, 8) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-26[+]
X K-ForExprPositionalVar-26: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 3, 2) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-27[+]
X K-ForExprPositionalVar-27: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 1, 2) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-28[+]
X K-ForExprPositionalVar-28: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 2, 2) return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-29[+]
X K-ForExprPositionalVar-29: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: 1 eq (for $i at $p in 0 return $p) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ForExprPositionalVar-30[+]
X K-ForExprPositionalVar-30: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: deep-equal(for $i at $p in (1, 2, 3, 4) return ($i, $p), (1, 1, 2, 2, 3, 3, 4, 4)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-ForExprPositionalVar-1[+]
X K2-ForExprPositionalVar-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $i at $p in remove((1, 2, 3), 10) return $p |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-ForExprPositionalVar-2[+]
X K2-ForExprPositionalVar-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: let $tree := <e> <a id="1"/> <a id="2"/> <a id="3"/> </e> for $i at $pos in ("a", "b", "c") return ($tree/@id eq $pos, $pos) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-ForExprPositionalVar-3[+]
X K2-ForExprPositionalVar-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: let $tree := <e> <a id="1"/> <a id="2"/> <a id="3"/> </e> for $i at $pos in ("a", "b", "c") return ($tree/a/@id = $pos, $pos) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-ForExprPositionalVar-4[+]
X K2-ForExprPositionalVar-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: for $i at $pos in (3 to 6) let $let := $pos + 1 return ($let, $let - 1) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |