|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| fn-reverse | 70/70 | 70/70 | 66/66 | 70/70 | 66/66 | 70/70 | 70/70 | 66/66 | 70/70 | 70/70 | 66/66 | 70/70 | 70/70 | 70/70 | 70/70 | 3/15 |
| fn-reverseint1args-1[+]
X fn-reverseint1args-1: fn:reverse((xs:int("-2147483648"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseint1args-2[+]
X fn-reverseint1args-2: fn:reverse((xs:int("-1873914410"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseint1args-3[+]
X fn-reverseint1args-3: fn:reverse((xs:int("2147483647"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseintg1args-1[+]
X fn-reverseintg1args-1: fn:reverse((xs:integer("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseintg1args-2[+]
X fn-reverseintg1args-2: fn:reverse((xs:integer("830993497117024304"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseintg1args-3[+]
X fn-reverseintg1args-3: fn:reverse((xs:integer("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedec1args-1[+]
X fn-reversedec1args-1: fn:reverse((xs:decimal("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedec1args-2[+]
X fn-reversedec1args-2: fn:reverse((xs:decimal("617375191608514839"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedec1args-3[+]
X fn-reversedec1args-3: fn:reverse((xs:decimal("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedbl1args-1[+]
X fn-reversedbl1args-1: fn:reverse((xs:double("-1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedbl1args-2[+]
X fn-reversedbl1args-2: fn:reverse((xs:double("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversedbl1args-3[+]
X fn-reversedbl1args-3: fn:reverse((xs:double("1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseflt1args-1[+]
X fn-reverseflt1args-1: fn:reverse((xs:float("-3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseflt1args-2[+]
X fn-reverseflt1args-2: fn:reverse((xs:float("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseflt1args-3[+]
X fn-reverseflt1args-3: fn:reverse((xs:float("3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverselng1args-1[+]
X fn-reverselng1args-1: fn:reverse((xs:long("-92233720368547758"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverselng1args-2[+]
X fn-reverselng1args-2: fn:reverse((xs:long("-47175562203048468"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverselng1args-3[+]
X fn-reverselng1args-3: fn:reverse((xs:long("92233720368547758"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseusht1args-1[+]
X fn-reverseusht1args-1: fn:reverse((xs:unsignedShort("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseusht1args-2[+]
X fn-reverseusht1args-2: fn:reverse((xs:unsignedShort("44633"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseusht1args-3[+]
X fn-reverseusht1args-3: fn:reverse((xs:unsignedShort("65535"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenint1args-1[+]
X fn-reversenint1args-1: fn:reverse((xs:negativeInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenint1args-2[+]
X fn-reversenint1args-2: fn:reverse((xs:negativeInteger("-297014075999096793"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenint1args-3[+]
X fn-reversenint1args-3: fn:reverse((xs:negativeInteger("-1"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversepint1args-1[+]
X fn-reversepint1args-1: fn:reverse((xs:positiveInteger("1"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversepint1args-2[+]
X fn-reversepint1args-2: fn:reverse((xs:positiveInteger("52704602390610033"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversepint1args-3[+]
X fn-reversepint1args-3: fn:reverse((xs:positiveInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseulng1args-1[+]
X fn-reverseulng1args-1: fn:reverse((xs:unsignedLong("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseulng1args-2[+]
X fn-reverseulng1args-2: fn:reverse((xs:unsignedLong("130747108607674654"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reverseulng1args-3[+]
X fn-reverseulng1args-3: fn:reverse((xs:unsignedLong("184467440737095516"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenpi1args-1[+]
X fn-reversenpi1args-1: fn:reverse((xs:nonPositiveInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenpi1args-2[+]
X fn-reversenpi1args-2: fn:reverse((xs:nonPositiveInteger("-475688437271870490"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenpi1args-3[+]
X fn-reversenpi1args-3: fn:reverse((xs:nonPositiveInteger("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenni1args-1[+]
X fn-reversenni1args-1: fn:reverse((xs:nonNegativeInteger("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenni1args-2[+]
X fn-reversenni1args-2: fn:reverse((xs:nonNegativeInteger("303884545991464527"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversenni1args-3[+]
X fn-reversenni1args-3: fn:reverse((xs:nonNegativeInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversesht1args-1[+]
X fn-reversesht1args-1: fn:reverse((xs:short("-32768"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversesht1args-2[+]
X fn-reversesht1args-2: fn:reverse((xs:short("-5324"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-reversesht1args-3[+]
X fn-reversesht1args-3: fn:reverse((xs:short("32767"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| reverse-001[+]
X reverse-001: fn:reverse(1 to 10) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| reverse-002[+]
X reverse-002: fn:reverse(()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| reverse-003[+]
X reverse-003: string-join(reverse(((//*:Open)[1])/ancestor-or-self::*/local-name()), '~') |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-1[+]
X K-SeqReverseFunc-1: reverse() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-2[+]
X K-SeqReverseFunc-2: reverse(1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-3[+]
X K-SeqReverseFunc-3: empty(reverse(())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-4[+]
X K-SeqReverseFunc-4: not(empty(reverse((1)))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-5[+]
X K-SeqReverseFunc-5: not(reverse(())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-6[+]
X K-SeqReverseFunc-6: not(exists(reverse(()))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-7[+]
X K-SeqReverseFunc-7: exists(reverse((1))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-8[+]
X K-SeqReverseFunc-8: reverse((1, current-time())[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-9[+]
X K-SeqReverseFunc-9: exists(reverse((1, 2, 3))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-10[+]
X K-SeqReverseFunc-10: count(reverse((1, 2, 3))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-11[+]
X K-SeqReverseFunc-11: count(reverse((1, 2, 3))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-12[+]
X K-SeqReverseFunc-12: deep-equal((3, 2, 1), reverse(1 to 3)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-13[+]
X K-SeqReverseFunc-13: deep-equal((3, 2, 1), reverse((1, 2, 3))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-14[+]
X K-SeqReverseFunc-14: deep-equal((11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1), reverse(((), (), 1, 2, (3, 4), (5), (6, (7, 8), 9), 10, (), 11, ()))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-15[+]
X K-SeqReverseFunc-15: reverse(error()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-16[+]
X K-SeqReverseFunc-16: reverse((1, 2, 3))[last()] eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-17[+]
X K-SeqReverseFunc-17: reverse((1, 2, 3))[last() - 2] |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-18[+]
X K-SeqReverseFunc-18: reverse((1, 2, 3))[last() - 1] |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-19[+]
X K-SeqReverseFunc-19: deep-equal((3, 2, 1), reverse((1, 2, 3))[true()]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-20[+]
X K-SeqReverseFunc-20: reverse((1, 2, current-time(), 3))[last() - 1] |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqReverseFunc-21[+]
X K-SeqReverseFunc-21: reverse((1, 2, current-time(), 3))[last() - 0] |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-SeqReverseFunc-1[+]
X K2-SeqReverseFunc-1: reverse((<a> <b> <c/> <d/> </b> <e/> </a> , <f/>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-SeqReverseFunc-2[+]
X K2-SeqReverseFunc-2: declare variable $myVar := unordered{ordered{unordered{fn:reverse((<a/>, <b/>))}}}; deep-equal($myVar, (<a/>, <b/>)) or deep-equal($myVar, (<b/>, <a/>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-SeqReverseFunc-3[+]
X K2-SeqReverseFunc-3: declare variable $myVar := unordered(fn:reverse((<a/>, <b/>))); deep-equal($myVar, (<a/>, <b/>)) or deep-equal($myVar, (<b/>, <a/>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-SeqReverseFunc-4[+]
X K2-SeqReverseFunc-4: fn:reverse(1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-SeqReverseFunc-5[+]
X K2-SeqReverseFunc-5: fn:reverse() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-SeqReverseFunc-6[+]
X K2-SeqReverseFunc-6: declare ordering unordered; reverse((1, 2)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-reverse-1[+]
X cbcl-reverse-1: empty(reverse( () )) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |