|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| op-to | 72/72 | 72/72 | 68/68 | 69/69 | 71/71 | 72/72 | 72/72 | 71/71 | 72/72 | 72/72 | 68/68 | 69/69 | 69/69 | 69/69 | 72/72 | 2/15 |
| rangeExpr-1[+]
X rangeExpr-1: (10, 1 to 4) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-2[+]
X rangeExpr-2: 10 to 10 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-3[+]
X rangeExpr-3: fn:count(15 to 10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-4[+]
X rangeExpr-4: fn:reverse(10 to 15) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-5[+]
X rangeExpr-5: fn:count((1, 2 to ())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-6[+]
X rangeExpr-6: ((1+2) to (2+2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-7[+]
X rangeExpr-7: (-4,-3 to 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-8[+]
X rangeExpr-8: (-4, -3 to -1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-9[+]
X rangeExpr-9: (xs:integer(1) to 5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-10[+]
X rangeExpr-10: (1 to xs:integer(5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-11[+]
X rangeExpr-11: (xs:integer(1) to xs:integer(5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-12[+]
X rangeExpr-12: (fn:min((1,2)) to 5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-13[+]
X rangeExpr-13: (fn:max((1,2)) to 5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-14[+]
X rangeExpr-14: (fn:min((1,2)) to fn:max((6,7))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-15[+]
X rangeExpr-15: fn:min((1 to 5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-16[+]
X rangeExpr-16: fn:max((1 to 5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-17[+]
X rangeExpr-17: fn:avg((1 to 5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-18[+]
X rangeExpr-18: fn:count((1 to 5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-19[+]
X rangeExpr-19: ((3*2) to 10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-20[+]
X rangeExpr-20: (1 to (3*2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-21[+]
X rangeExpr-21: ((1*2) to (3*2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-22[+]
X rangeExpr-22: ((3 - 2) to 10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-23[+]
X rangeExpr-23: (1 to (3 - 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-24[+]
X rangeExpr-24: ((2 - 1) to (7 - 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-25[+]
X rangeExpr-25: ((6 idiv 2) to 10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-26[+]
X rangeExpr-26: (1 to (10 idiv 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-27[+]
X rangeExpr-27: ((5 idiv 5) to (8 idiv 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-28[+]
X rangeExpr-28: 18446744073709551616 to 18446744073709551620 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-29[+]
X rangeExpr-29: count(18446744073709551616 to 18446744073709551620) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| rangeExpr-30[+]
X rangeExpr-30: (28446744073709551616 to 28446744073709551620)!position() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| rangeExpr-31[+]
X rangeExpr-31: ((28446744073709551616 to 28446744073709551620)!last())[1] |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| rangeExpr-32[+]
X rangeExpr-32: reverse(28446744073709551616 to 28446744073709551620) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| K-RangeExpr-1[+]
X K-RangeExpr-1: 1 to 1 eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-2[+]
X K-RangeExpr-2: empty(30 to 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-3[+]
X K-RangeExpr-3: empty(0 to -3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-4[+]
X K-RangeExpr-4: empty(1 to ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-5[+]
X K-RangeExpr-5: empty(() to 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-6[+]
X K-RangeExpr-6: empty(-1 to -3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-7[+]
X K-RangeExpr-7: count(1 to 4) eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-8[+]
X K-RangeExpr-8: count(0 to 4) eq 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-9[+]
X K-RangeExpr-9: count(-5 to -0) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-10[+]
X K-RangeExpr-10: count((10, 1 to 4)) eq 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-11[+]
X K-RangeExpr-11: subsequence(-3 to -1, 1, 1) eq -3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-12[+]
X K-RangeExpr-12: subsequence(-3 to -1, 3, 1) eq -1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-13[+]
X K-RangeExpr-13: empty(reverse(4 to 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-14[+]
X K-RangeExpr-14: subsequence(reverse(1 to 3), 1, 1) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-15[+]
X K-RangeExpr-15: subsequence(reverse(1 to 3), 3, 1) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-16[+]
X K-RangeExpr-16: subsequence(reverse(1 to 4), 2, 1) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-17[+]
X K-RangeExpr-17: subsequence(reverse(1 to 4), 3, 1) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-18[+]
X K-RangeExpr-18: subsequence(reverse(-4 to -1), 2, 1) eq -2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-19[+]
X K-RangeExpr-19: deep-equal((-1, -2, -3, -4), reverse(-4 to -1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-20[+]
X K-RangeExpr-20: deep-equal((), reverse(0 to -5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-21[+]
X K-RangeExpr-21: deep-equal((0, -1, -2, -3, -4, -5), reverse(-5 to 0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-22[+]
X K-RangeExpr-22: count(reverse(-5 to -2)) eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-23[+]
X K-RangeExpr-23: count(reverse(-5 to -0)) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-24[+]
X K-RangeExpr-24: count(reverse(1 to 4)) eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-25[+]
X K-RangeExpr-25: empty(1 to 0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-26[+]
X K-RangeExpr-26: empty(0 to -5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-27[+]
X K-RangeExpr-27: empty(-4 to -5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-28[+]
X K-RangeExpr-28: empty(reverse(1 to 0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-29[+]
X K-RangeExpr-29: empty(reverse(0 to -5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-30[+]
X K-RangeExpr-30: empty(reverse(-4 to -5)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-31[+]
X K-RangeExpr-31: (remove((2.e0, 4), 1) treat as xs:integer to 4) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-32[+]
X K-RangeExpr-32: (4 to remove((2e0, 4), 1) treat as xs:integer) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-33[+]
X K-RangeExpr-33: 1.1 to 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-34[+]
X K-RangeExpr-34: 3 to 1.1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-35[+]
X K-RangeExpr-35: 1.1 to 3.3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-RangeExpr-36[+]
X K-RangeExpr-36: 1 + 1.1 to 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-RangeExpr-1[+]
X K2-RangeExpr-1: 1e3 to 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-RangeExpr-2[+]
X K2-RangeExpr-2: 3 to 1e3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-RangeExpr-3[+]
X K2-RangeExpr-3: for $i in 1 to 3 return $i |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-RangeExpr-4[+]
X K2-RangeExpr-4: 1 to <value>5</value>, 5 to <value>5</value>, <value>1</value> to 5, <value>1</value> to <value>5</value>, let $i := <e>5</e> return $i to $i, count(5 to 10), count(1000 to 2000), count(<e>5</e> to 10), count(3 to <e>10</e>), count(<e>3</e> to <e>10</e>), count(<e>5</e> to 10), count(3 to <e>10</e>), count(<e>3</e> to <e>10</e>), count(4294967295 to 4294967298) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |