|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-PositionalVar | 34/34 | 34/34 | 0/0 | 34/34 | 0/0 | 34/34 | 33/34 | 0/0 | 34/34 | 34/34 | 0/0 | 34/34 | 34/34 | 34/34 | 34/34 | 2/15 |
| K-ForExprPositionalVar-1[+]
X K-ForExprPositionalVar-1: for $a at $p in (1, 2) return 1, $p |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-2[+]
X K-ForExprPositionalVar-2: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-3[+]
X K-ForExprPositionalVar-3: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-4[+]
X K-ForExprPositionalVar-4: for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-5[+]
X K-ForExprPositionalVar-5: for $a at p1 in 1 return 1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-6[+]
X K-ForExprPositionalVar-6: deep-equal((1, 2, 3), for $i at $p in (1, 2, 3) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-7[+]
X K-ForExprPositionalVar-7: deep-equal((true(), true()), for $i at $p in (1, 2) return boolean($p)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-8[+]
X K-ForExprPositionalVar-8: for $i at $p in (1, 2, 3) return $p + "1" |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-9[+]
X K-ForExprPositionalVar-9: deep-equal((1, 2, 3), for $i at $p in string-to-codepoints("abc") return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-10[+]
X K-ForExprPositionalVar-10: deep-equal((1, 2, 3), for $i at $p in distinct-values((1, 2, 3, 1, 2)) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-11[+]
X K-ForExprPositionalVar-11: empty(for $i at $p in () return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-12[+]
X K-ForExprPositionalVar-12: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 13, (current-date(), 3)) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-13[+]
X K-ForExprPositionalVar-13: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 1, (current-date(), 3)) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-14[+]
X K-ForExprPositionalVar-14: deep-equal((1, 2, 3, 4), for $i at $p in insert-before((1, current-time()), 2, (current-date(), 3)) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-15[+]
X K-ForExprPositionalVar-15: deep-equal((1, 2, 3, 4), for $i at $p in 1 to 4 return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-16[+]
X K-ForExprPositionalVar-16: deep-equal((1, 2, 3, 4), for $i at $p in -10 to -7 return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-17[+]
X K-ForExprPositionalVar-17: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 2) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-18[+]
X K-ForExprPositionalVar-18: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 4) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-19[+]
X K-ForExprPositionalVar-19: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, current-time()), 10) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-20[+]
X K-ForExprPositionalVar-20: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, current-time()), 0) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-21[+]
X K-ForExprPositionalVar-21: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 1) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-22[+]
X K-ForExprPositionalVar-22: deep-equal((1, 2, 3), for $i at $p in remove((1, 2, 3, current-time()), 3) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-23[+]
X K-ForExprPositionalVar-23: 1 eq (for $i at $p in subsequence((1, 2, 3, current-time()), 1, 1) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-24[+]
X K-ForExprPositionalVar-24: empty(for $i at $p in subsequence((1, 2, 3, current-time()), 5) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-25[+]
X K-ForExprPositionalVar-25: empty(for $i at $p in subsequence((1, 2, 3, current-time()), 5, 8) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-26[+]
X K-ForExprPositionalVar-26: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 3, 2) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-27[+]
X K-ForExprPositionalVar-27: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 1, 2) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-28[+]
X K-ForExprPositionalVar-28: deep-equal((1, 2), for $i at $p in subsequence((1, 2, 3, current-time()), 2, 2) return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-29[+]
X K-ForExprPositionalVar-29: 1 eq (for $i at $p in 0 return $p) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ForExprPositionalVar-30[+]
X K-ForExprPositionalVar-30: deep-equal(for $i at $p in (1, 2, 3, 4) return ($i, $p), (1, 1, 2, 2, 3, 3, 4, 4)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-ForExprPositionalVar-1[+]
X K2-ForExprPositionalVar-1: for $i at $p in remove((1, 2, 3), 10) return $p |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-ForExprPositionalVar-2[+]
X K2-ForExprPositionalVar-2: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-ForExprPositionalVar-3[+]
X K2-ForExprPositionalVar-3: 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 | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-ForExprPositionalVar-4[+]
X K2-ForExprPositionalVar-4: for $i at $pos in (3 to 6) let $let := $pos + 1 return ($let, $let - 1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |