|
| 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-exists | 58/58 | 58/58 | 56/56 | 58/58 | 56/56 | 58/58 | 58/58 | 56/56 | 58/58 | 58/58 | 56/56 | 58/58 | 58/58 | 58/58 | 58/58 | 3/15 |
| fn-existsint1args-1[+]
X fn-existsint1args-1: fn:exists((xs:int("-2147483648"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsint1args-2[+]
X fn-existsint1args-2: fn:exists((xs:int("-1873914410"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsint1args-3[+]
X fn-existsint1args-3: fn:exists((xs:int("2147483647"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsintg1args-1[+]
X fn-existsintg1args-1: fn:exists((xs:integer("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsintg1args-2[+]
X fn-existsintg1args-2: fn:exists((xs:integer("830993497117024304"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsintg1args-3[+]
X fn-existsintg1args-3: fn:exists((xs:integer("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdec1args-1[+]
X fn-existsdec1args-1: fn:exists((xs:decimal("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdec1args-2[+]
X fn-existsdec1args-2: fn:exists((xs:decimal("617375191608514839"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdec1args-3[+]
X fn-existsdec1args-3: fn:exists((xs:decimal("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdbl1args-1[+]
X fn-existsdbl1args-1: fn:exists((xs:double("-1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdbl1args-2[+]
X fn-existsdbl1args-2: fn:exists((xs:double("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsdbl1args-3[+]
X fn-existsdbl1args-3: fn:exists((xs:double("1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsflt1args-1[+]
X fn-existsflt1args-1: fn:exists((xs:float("-3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsflt1args-2[+]
X fn-existsflt1args-2: fn:exists((xs:float("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsflt1args-3[+]
X fn-existsflt1args-3: fn:exists((xs:float("3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existslng1args-1[+]
X fn-existslng1args-1: fn:exists((xs:long("-92233720368547758"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existslng1args-2[+]
X fn-existslng1args-2: fn:exists((xs:long("-47175562203048468"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existslng1args-3[+]
X fn-existslng1args-3: fn:exists((xs:long("92233720368547758"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsusht1args-1[+]
X fn-existsusht1args-1: fn:exists((xs:unsignedShort("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsusht1args-2[+]
X fn-existsusht1args-2: fn:exists((xs:unsignedShort("44633"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsusht1args-3[+]
X fn-existsusht1args-3: fn:exists((xs:unsignedShort("65535"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnint1args-1[+]
X fn-existsnint1args-1: fn:exists((xs:negativeInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnint1args-2[+]
X fn-existsnint1args-2: fn:exists((xs:negativeInteger("-297014075999096793"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnint1args-3[+]
X fn-existsnint1args-3: fn:exists((xs:negativeInteger("-1"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existspint1args-1[+]
X fn-existspint1args-1: fn:exists((xs:positiveInteger("1"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existspint1args-2[+]
X fn-existspint1args-2: fn:exists((xs:positiveInteger("52704602390610033"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existspint1args-3[+]
X fn-existspint1args-3: fn:exists((xs:positiveInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsulng1args-1[+]
X fn-existsulng1args-1: fn:exists((xs:unsignedLong("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsulng1args-2[+]
X fn-existsulng1args-2: fn:exists((xs:unsignedLong("130747108607674654"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsulng1args-3[+]
X fn-existsulng1args-3: fn:exists((xs:unsignedLong("184467440737095516"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnpi1args-1[+]
X fn-existsnpi1args-1: fn:exists((xs:nonPositiveInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnpi1args-2[+]
X fn-existsnpi1args-2: fn:exists((xs:nonPositiveInteger("-475688437271870490"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnpi1args-3[+]
X fn-existsnpi1args-3: fn:exists((xs:nonPositiveInteger("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnni1args-1[+]
X fn-existsnni1args-1: fn:exists((xs:nonNegativeInteger("0"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnni1args-2[+]
X fn-existsnni1args-2: fn:exists((xs:nonNegativeInteger("303884545991464527"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existsnni1args-3[+]
X fn-existsnni1args-3: fn:exists((xs:nonNegativeInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existssht1args-1[+]
X fn-existssht1args-1: fn:exists((xs:short("-32768"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existssht1args-2[+]
X fn-existssht1args-2: fn:exists((xs:short("-5324"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-existssht1args-3[+]
X fn-existssht1args-3: fn:exists((xs:short("32767"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-1[+]
X K-SeqExistsFunc-1: exists(1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-2[+]
X K-SeqExistsFunc-2: exists() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-3[+]
X K-SeqExistsFunc-3: not(exists(())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-4[+]
X K-SeqExistsFunc-4: exists(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-5[+]
X K-SeqExistsFunc-5: exists((1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-6[+]
X K-SeqExistsFunc-6: exists((1, 2, 3)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-7[+]
X K-SeqExistsFunc-7: not(exists(())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-8[+]
X K-SeqExistsFunc-8: not(exists( ((), (), (), ()) )) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-9[+]
X K-SeqExistsFunc-9: exists(reverse((1, 2, 3))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-10[+]
X K-SeqExistsFunc-10: exists(timezone-from-dateTime(current-dateTime())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-11[+]
X K-SeqExistsFunc-11: exists(timezone-from-date(current-date())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-12[+]
X K-SeqExistsFunc-12: exists(timezone-from-time(current-time())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-13[+]
X K-SeqExistsFunc-13: empty(remove(current-time(), 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-SeqExistsFunc-14[+]
X K-SeqExistsFunc-14: not(empty(remove((current-time(), 1), 1))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-exists-001[+]
X cbcl-exists-001: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then (1, 2, 3) else $arg }; fn:exists( ( (), local:generate( () ), local:generate( 0 ), (1 to 10000000), local:generate( () ), 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-exists-002[+]
X cbcl-exists-002: exists(for $x in (1 to 10)[. mod 2 = 0] return "blah") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-exists-003[+]
X cbcl-exists-003: exists(text {(1 to 10)[. mod 2 = 0]}) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-exists-004[+]
X cbcl-exists-004: exists(for $x in (1 to 10)[. mod 2 = 0] return true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-exists-005[+]
X cbcl-exists-005: exists(for $x in (1 to 10)[. mod 2 = 0] return floor($x)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |