|
| 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-exactly-one | 54/54 | 54/54 | 50/50 | 54/54 | 50/50 | 54/54 | 54/54 | 50/50 | 54/54 | 54/54 | 50/50 | 54/54 | 54/54 | 54/54 | 54/54 | 3/15 |
| fn-exactly-oneint1args-1[+]
X fn-exactly-oneint1args-1: fn:exactly-one(xs:int("-2147483648")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneint1args-2[+]
X fn-exactly-oneint1args-2: fn:exactly-one(xs:int("-1873914410")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneint1args-3[+]
X fn-exactly-oneint1args-3: fn:exactly-one(xs:int("2147483647")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneintg1args-1[+]
X fn-exactly-oneintg1args-1: fn:exactly-one(xs:integer("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneintg1args-2[+]
X fn-exactly-oneintg1args-2: fn:exactly-one(xs:integer("830993497117024304")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneintg1args-3[+]
X fn-exactly-oneintg1args-3: fn:exactly-one(xs:integer("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedec1args-1[+]
X fn-exactly-onedec1args-1: fn:exactly-one(xs:decimal("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedec1args-2[+]
X fn-exactly-onedec1args-2: fn:exactly-one(xs:decimal("617375191608514839")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedec1args-3[+]
X fn-exactly-onedec1args-3: fn:exactly-one(xs:decimal("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedbl1args-1[+]
X fn-exactly-onedbl1args-1: fn:exactly-one(xs:double("-1.7976931348623157E308")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedbl1args-2[+]
X fn-exactly-onedbl1args-2: fn:exactly-one(xs:double("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onedbl1args-3[+]
X fn-exactly-onedbl1args-3: fn:exactly-one(xs:double("1.7976931348623157E308")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneflt1args-1[+]
X fn-exactly-oneflt1args-1: fn:exactly-one(xs:float("-3.4028235E38")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneflt1args-2[+]
X fn-exactly-oneflt1args-2: fn:exactly-one(xs:float("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneflt1args-3[+]
X fn-exactly-oneflt1args-3: fn:exactly-one(xs:float("3.4028235E38")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onelng1args-1[+]
X fn-exactly-onelng1args-1: fn:exactly-one(xs:long("-92233720368547758")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onelng1args-2[+]
X fn-exactly-onelng1args-2: fn:exactly-one(xs:long("-47175562203048468")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onelng1args-3[+]
X fn-exactly-onelng1args-3: fn:exactly-one(xs:long("92233720368547758")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneusht1args-1[+]
X fn-exactly-oneusht1args-1: fn:exactly-one(xs:unsignedShort("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneusht1args-2[+]
X fn-exactly-oneusht1args-2: fn:exactly-one(xs:unsignedShort("44633")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneusht1args-3[+]
X fn-exactly-oneusht1args-3: fn:exactly-one(xs:unsignedShort("65535")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenint1args-1[+]
X fn-exactly-onenint1args-1: fn:exactly-one(xs:negativeInteger("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenint1args-2[+]
X fn-exactly-onenint1args-2: fn:exactly-one(xs:negativeInteger("-297014075999096793")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenint1args-3[+]
X fn-exactly-onenint1args-3: fn:exactly-one(xs:negativeInteger("-1")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onepint1args-1[+]
X fn-exactly-onepint1args-1: fn:exactly-one(xs:positiveInteger("1")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onepint1args-2[+]
X fn-exactly-onepint1args-2: fn:exactly-one(xs:positiveInteger("52704602390610033")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onepint1args-3[+]
X fn-exactly-onepint1args-3: fn:exactly-one(xs:positiveInteger("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneulng1args-1[+]
X fn-exactly-oneulng1args-1: fn:exactly-one(xs:unsignedLong("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneulng1args-2[+]
X fn-exactly-oneulng1args-2: fn:exactly-one(xs:unsignedLong("130747108607674654")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-oneulng1args-3[+]
X fn-exactly-oneulng1args-3: fn:exactly-one(xs:unsignedLong("184467440737095516")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenpi1args-1[+]
X fn-exactly-onenpi1args-1: fn:exactly-one(xs:nonPositiveInteger("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenpi1args-2[+]
X fn-exactly-onenpi1args-2: fn:exactly-one(xs:nonPositiveInteger("-475688437271870490")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenpi1args-3[+]
X fn-exactly-onenpi1args-3: fn:exactly-one(xs:nonPositiveInteger("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenni1args-1[+]
X fn-exactly-onenni1args-1: fn:exactly-one(xs:nonNegativeInteger("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenni1args-2[+]
X fn-exactly-onenni1args-2: fn:exactly-one(xs:nonNegativeInteger("303884545991464527")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onenni1args-3[+]
X fn-exactly-onenni1args-3: fn:exactly-one(xs:nonNegativeInteger("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onesht1args-1[+]
X fn-exactly-onesht1args-1: fn:exactly-one(xs:short("-32768")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onesht1args-2[+]
X fn-exactly-onesht1args-2: fn:exactly-one(xs:short("-5324")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-onesht1args-3[+]
X fn-exactly-onesht1args-3: fn:exactly-one(xs:short("32767")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-exactly-one-1[+]
X fn-exactly-one-1: fn:exactly-one((1,2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-1[+]
X K-SeqExactlyOneFunc-1: exactly-one(1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-2[+]
X K-SeqExactlyOneFunc-2: exactly-one() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-3[+]
X K-SeqExactlyOneFunc-3: exactly-one( (1, 2, 3) ) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-4[+]
X K-SeqExactlyOneFunc-4: exactly-one("one") eq "one" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-5[+]
X K-SeqExactlyOneFunc-5: count(exactly-one( "one" )) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-6[+]
X K-SeqExactlyOneFunc-6: exactly-one(error()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-7[+]
X K-SeqExactlyOneFunc-7: exactly-one((true(), error())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-8[+]
X K-SeqExactlyOneFunc-8: exactly-one(( error(), true())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-9[+]
X K-SeqExactlyOneFunc-9: exactly-one( () ) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExactlyOneFunc-10[+]
X K-SeqExactlyOneFunc-10: zero-or-more(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-exactly-one-001[+]
X cbcl-exactly-one-001: boolean( exactly-one( remove( (<a/>, 1), 1 ) ) ) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-exactly-one-002[+]
X cbcl-exactly-one-002: declare function local:generate($arg as xs:integer) { if ($arg = 0) then (1, 2, 3) else $arg }; fn:exactly-one(fn:unordered( local:generate(1) )) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-exactly-one-003[+]
X cbcl-exactly-one-003: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then () else if ($arg = 1) then $arg else ($arg, $arg) }; 1 + fn:exactly-one(fn:one-or-more( local:generate( 1 ) )) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-exactly-one-004[+]
X cbcl-exactly-one-004: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then () else if ($arg = 1) then $arg else ($arg, $arg) }; 1 + fn:exactly-one(fn:zero-or-one( local:generate( 1 ) )) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |