|
| 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-UnorderedExpr | 26/26 | 0/0 | 26/26 | 0/0 | 26/26 | 26/0 | 0/6 |
| Orderexpr-1[+]
X Orderexpr-1: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {//part[@partid < 2]} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-2[+]
X Orderexpr-2: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {//part[@partid < 2]} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-5[+]
X Orderexpr-5: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {//part[@partid < 2][2]} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-6[+]
X Orderexpr-6: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {//part[@partid < 2][2]} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-9[+]
X Orderexpr-9: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {//part[@partof = 1] union //part[@partid = 1] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-10[+]
X Orderexpr-10: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {//part[@partof = 1] union //part[@partid = 1] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-11[+]
X Orderexpr-11: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {//part[@partof < 2] intersect //part[@partid = 1 or @partid > 2] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-12[+]
X Orderexpr-12: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {//part[@partof < 2] intersect //part[@partid = 1 or @partid > 2] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-13[+]
X Orderexpr-13: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {//part[@partof < 2] except //part[@partid = 2] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-14[+]
X Orderexpr-14: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {//part[@partof < 2] except //part[@partid = 2] } |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-15[+]
X Orderexpr-15: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {fn:subsequence((1,2,3,4),2,2)} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-16[+]
X Orderexpr-16: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {fn:subsequence((1,2,3,4),2,2)} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-17[+]
X Orderexpr-17: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: ordered {fn:reverse((3,2))} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-18[+]
X Orderexpr-18: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ Test: unordered {fn:reverse((2,3))} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-19[+]
X Orderexpr-19: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| Orderexpr-20[+]
X Orderexpr-20: Created on: 2005-10-05 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-1[+]
X orderedunorderedexpr-1: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ Test: ordered {if (fn:true()) then (0,1,2,3,4) else ("A","B","C")} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-2[+]
X orderedunorderedexpr-2: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ Test: ordered {if (1 eq 1 and 2 eq 2) then (0,1,2,3,4) else ("a","b")} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-3[+]
X orderedunorderedexpr-3: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ Test: ordered {if (1 eq 1 or 2 eq 3) then (0,1,2,3,4) else ("a","b")} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-4[+]
X orderedunorderedexpr-4: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-5[+]
X orderedunorderedexpr-5: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: ordered {if (every $x in (1, 2, 3) satisfies $x < 4) then (0,1,2,3,4) else ("a","b")} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| orderedunorderedexpr-6[+]
X orderedunorderedexpr-6: Created on: 2005-12-09 Spec Dependencies: spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-OrderExpr-1[+]
X K-OrderExpr-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10 XQ30 spec = XQ10+ Test: ordered{} |
no result | n/a
test-set dependencies not satisfied |
n/a
notXQ31 |
n/a | n/a | n/a | |
| K-OrderExpr-1a[+]
X K-OrderExpr-1a: Created on: 2007-11-26 Spec Dependencies: spec = XQ31+ spec = XQ10+ Test: ordered{} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-OrderExpr-2[+]
X K-OrderExpr-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10 XQ30 spec = XQ10+ Test: unordered{} |
no result | n/a
test-set dependencies not satisfied |
n/a
notXQ31 |
n/a | n/a | n/a | |
| K-OrderExpr-2a[+]
X K-OrderExpr-2a: Created on: 2015-12-08 Spec Dependencies: spec = XQ31+ spec = XQ10+ Test: unordered{} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-OrderExpr-3[+]
X K-OrderExpr-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: ordered{true()} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-OrderExpr-4[+]
X K-OrderExpr-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: unordered{true()} |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |