|
| 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-UnorderedExpr | 26/26 | 26/26 | 0/0 | 26/26 | 0/0 | 26/26 | 24/26 | 0/0 | 26/26 | 26/26 | 0/0 | 26/26 | 26/26 | 26/26 | 26/26 | 2/15 |
| Orderexpr-1[+]
X Orderexpr-1: ordered {//part[@partid < 2]} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-2[+]
X Orderexpr-2: unordered {//part[@partid < 2]} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-5[+]
X Orderexpr-5: ordered {//part[@partid < 2][2]} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-6[+]
X Orderexpr-6: unordered {//part[@partid < 2][2]} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-9[+]
X Orderexpr-9: ordered {//part[@partof = 1] union //part[@partid = 1] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-10[+]
X Orderexpr-10: unordered {//part[@partof = 1] union //part[@partid = 1] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-11[+]
X Orderexpr-11: ordered {//part[@partof < 2] intersect //part[@partid = 1 or @partid > 2] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-12[+]
X Orderexpr-12: unordered {//part[@partof < 2] intersect //part[@partid = 1 or @partid > 2] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-13[+]
X Orderexpr-13: ordered {//part[@partof < 2] except //part[@partid = 2] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-14[+]
X Orderexpr-14: unordered {//part[@partof < 2] except //part[@partid = 2] } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-15[+]
X Orderexpr-15: ordered {fn:subsequence((1,2,3,4),2,2)} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-16[+]
X Orderexpr-16: unordered {fn:subsequence((1,2,3,4),2,2)} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-17[+]
X Orderexpr-17: ordered {fn:reverse((3,2))} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-18[+]
X Orderexpr-18: unordered {fn:reverse((2,3))} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-19[+]
X Orderexpr-19: ordered { for $i in (//part[@partid = 1], //part[@partid = 2]), $j in (//part[@partof = $i/@partid]) where ($i/@partid + $j/@partid) < 7 return $i/@partid + $j/@partid } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| Orderexpr-20[+]
X Orderexpr-20: unordered { for $i in (//part[@partid = 1], //part[@partid = 2]), $j in (//part[@partof = $i/@partid]) where ($i/@partid + $j/@partid) < 7 return $i/@partid + $j/@partid } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-1[+]
X orderedunorderedexpr-1: ordered {if (fn:true()) then (0,1,2,3,4) else ("A","B","C")} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-2[+]
X orderedunorderedexpr-2: ordered {if (1 eq 1 and 2 eq 2) then (0,1,2,3,4) else ("a","b")} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-3[+]
X orderedunorderedexpr-3: ordered {if (1 eq 1 or 2 eq 3) then (0,1,2,3,4) else ("a","b")} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-4[+]
X orderedunorderedexpr-4: ordered {if (some $x in (1, 2, 3), $y in (2, 3, 4) satisfies $x + $y = 4) then (0,1,2,3,4) else ("a","b")} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-5[+]
X orderedunorderedexpr-5: ordered {if (every $x in (1, 2, 3) satisfies $x < 4) then (0,1,2,3,4) else ("a","b")} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderedunorderedexpr-6[+]
X orderedunorderedexpr-6: ordered {typeswitch(123) case $i as xs:string return ("a","b","c") case $i as xs:double return ("a","b","c") case $i as xs:integer return (1,2,3,4) default return ("a","b","c") } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-OrderExpr-1[+]
X K-OrderExpr-1: ordered{} |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-OrderExpr-2[+]
X K-OrderExpr-2: unordered{} |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-OrderExpr-3[+]
X K-OrderExpr-3: ordered{true()} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-OrderExpr-4[+]
X K-OrderExpr-4: unordered{true()} |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |