|
| 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-OrderingModeDecl | 27/27 | 27/27 | 0/0 | 27/27 | 0/0 | 27/27 | 27/27 | 0/0 | 27/27 | 27/27 | 0/0 | 27/27 | 27/27 | 27/27 | 27/27 | 3/15 |
| orderDecl-1[+]
X orderDecl-1: declare ordering unordered; declare ordering ordered; "aa" |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-2[+]
X orderDecl-2: declare ordering ordered; let $a := <a><b>1</b><c>2</c></a> return $a/b union $a/c |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderdecl-3[+]
X orderdecl-3: declare ordering unordered; (<a>1</a>) union (<b>2</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-4[+]
X orderDecl-4: declare ordering ordered; (//overtime) intersect (//overtime) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderdecl-5[+]
X orderdecl-5: declare ordering unordered; (//overtime) intersect (//overtime) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderdecl-6[+]
X orderdecl-6: declare ordering ordered; (//employee[1]) except (//employee[2]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-7[+]
X orderDecl-7: declare ordering unordered; (//employee[1]) except (//employee[2]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-8[+]
X orderDecl-8: declare ordering ordered; for $x in //hours return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-9[+]
X orderDecl-9: declare ordering ordered; for $x in //hours order by $x descending return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-10[+]
X orderDecl-10: declare ordering ordered; for $x in //hours order by $x ascending return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-11[+]
X orderDecl-11: declare ordering unordered; for $x in //hours order by $x descending return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-12[+]
X orderDecl-12: declare ordering unordered; for $x in //hours order by $x ascending return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-13[+]
X orderDecl-13: declare ordering ordered; for $x in (/works/employee/hours) return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderdecl-14[+]
X orderdecl-14: declare ordering unordered; for $x in (/works/employee[4]/hours) return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-15[+]
X orderDecl-15: declare ordering ordered; for $x in (//day) return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-16[+]
X orderDecl-16: declare ordering unordered; for $x in (//day) return $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-17[+]
X orderDecl-17: declare ordering unordered; ordered { for $x in /works//day return $x } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-18[+]
X orderDecl-18: declare ordering ordered; unordered { for $x in /works//day return $x } |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-20[+]
X orderDecl-20: declare ordering ordered; for $x in /works//overtime return $x/child::day |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-21[+]
X orderDecl-21: declare ordering ordered; for $x in /works//day[1] return $x/parent::node() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-22[+]
X orderDecl-22: declare ordering ordered; for $x in /works//day[1] return $x/following::day |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| orderDecl-23[+]
X orderDecl-23: declare ordering ordered; for $x in /works//overtime return $x/descendant::day |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-DefaultOrderingProlog-1[+]
X K-DefaultOrderingProlog-1: declare(::)ordering ordered; 1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-DefaultOrderingProlog-2[+]
X K-DefaultOrderingProlog-2: declare(::)ordering unordered; 1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-DefaultOrderingProlog-3[+]
X K-DefaultOrderingProlog-3: declare(::)ordering unordered; declare(::)ordering ordered; 1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-DefaultOrderingProlog-1[+]
X K2-DefaultOrderingProlog-1: ordering eq ordering |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-DefaultOrderingProlog-2[+]
X K2-DefaultOrderingProlog-2: order eq order |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |