|
| 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-not | 83/83 | 83/83 | 80/80 | 83/83 | 80/80 | 83/83 | 83/83 | 80/80 | 83/83 | 83/83 | 80/80 | 83/83 | 83/83 | 83/83 | 83/83 | 3/15 |
| fn-notint1args-1[+]
X fn-notint1args-1: fn:not(xs:int("-2147483648")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notint1args-2[+]
X fn-notint1args-2: fn:not(xs:int("-1873914410")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notint1args-3[+]
X fn-notint1args-3: fn:not(xs:int("2147483647")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notintg1args-1[+]
X fn-notintg1args-1: fn:not(xs:integer("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notintg1args-2[+]
X fn-notintg1args-2: fn:not(xs:integer("830993497117024304")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notintg1args-3[+]
X fn-notintg1args-3: fn:not(xs:integer("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdec1args-1[+]
X fn-notdec1args-1: fn:not(xs:decimal("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdec1args-2[+]
X fn-notdec1args-2: fn:not(xs:decimal("617375191608514839")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdec1args-3[+]
X fn-notdec1args-3: fn:not(xs:decimal("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdbl1args-1[+]
X fn-notdbl1args-1: fn:not(xs:double("-1.7976931348623157E308")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdbl1args-2[+]
X fn-notdbl1args-2: fn:not(xs:double("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notdbl1args-3[+]
X fn-notdbl1args-3: fn:not(xs:double("1.7976931348623157E308")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notflt1args-1[+]
X fn-notflt1args-1: fn:not(xs:float("-3.4028235E38")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notflt1args-2[+]
X fn-notflt1args-2: fn:not(xs:float("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notflt1args-3[+]
X fn-notflt1args-3: fn:not(xs:float("3.4028235E38")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notlng1args-1[+]
X fn-notlng1args-1: fn:not(xs:long("-92233720368547758")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notlng1args-2[+]
X fn-notlng1args-2: fn:not(xs:long("-47175562203048468")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notlng1args-3[+]
X fn-notlng1args-3: fn:not(xs:long("92233720368547758")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notusht1args-1[+]
X fn-notusht1args-1: fn:not(xs:unsignedShort("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notusht1args-2[+]
X fn-notusht1args-2: fn:not(xs:unsignedShort("44633")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notusht1args-3[+]
X fn-notusht1args-3: fn:not(xs:unsignedShort("65535")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnint1args-1[+]
X fn-notnint1args-1: fn:not(xs:negativeInteger("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnint1args-2[+]
X fn-notnint1args-2: fn:not(xs:negativeInteger("-297014075999096793")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnint1args-3[+]
X fn-notnint1args-3: fn:not(xs:negativeInteger("-1")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notpint1args-1[+]
X fn-notpint1args-1: fn:not(xs:positiveInteger("1")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notpint1args-2[+]
X fn-notpint1args-2: fn:not(xs:positiveInteger("52704602390610033")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notpint1args-3[+]
X fn-notpint1args-3: fn:not(xs:positiveInteger("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notulng1args-1[+]
X fn-notulng1args-1: fn:not(xs:unsignedLong("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notulng1args-2[+]
X fn-notulng1args-2: fn:not(xs:unsignedLong("130747108607674654")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notulng1args-3[+]
X fn-notulng1args-3: fn:not(xs:unsignedLong("184467440737095516")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnpi1args-1[+]
X fn-notnpi1args-1: fn:not(xs:nonPositiveInteger("-999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnpi1args-2[+]
X fn-notnpi1args-2: fn:not(xs:nonPositiveInteger("-475688437271870490")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnpi1args-3[+]
X fn-notnpi1args-3: fn:not(xs:nonPositiveInteger("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnni1args-1[+]
X fn-notnni1args-1: fn:not(xs:nonNegativeInteger("0")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnni1args-2[+]
X fn-notnni1args-2: fn:not(xs:nonNegativeInteger("303884545991464527")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notnni1args-3[+]
X fn-notnni1args-3: fn:not(xs:nonNegativeInteger("999999999999999999")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notsht1args-1[+]
X fn-notsht1args-1: fn:not(xs:short("-32768")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notsht1args-2[+]
X fn-notsht1args-2: fn:not(xs:short("-5324")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-notsht1args-3[+]
X fn-notsht1args-3: fn:not(xs:short("32767")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-1[+]
X fn-not-1: fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-2[+]
X fn-not-2: fn:not("fn:not()") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-3[+]
X fn-not-3: fn:not("true") and fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-4[+]
X fn-not-4: fn:not("true") or fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-5[+]
X fn-not-5: fn:not("true") eq fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-6[+]
X fn-not-6: fn:not("true") ne fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-7[+]
X fn-not-7: fn:not("true") lt fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-8[+]
X fn-not-8: fn:not("true") le fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-9[+]
X fn-not-9: fn:not("true") gt fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-10[+]
X fn-not-10: fn:not("true") ge fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-11[+]
X fn-not-11: fn:not("true") = fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-12[+]
X fn-not-12: fn:not("true") != fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-13[+]
X fn-not-13: fn:not("true") < fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-14[+]
X fn-not-14: fn:not("true") <= fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-15[+]
X fn-not-15: fn:not("true") > fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-16[+]
X fn-not-16: fn:not("true") >= fn:not("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-17[+]
X fn-not-17: xs:boolean(fn:not("true")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-18[+]
X fn-not-18: fn:string(fn:not("true")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-19[+]
X fn-not-19: fn:concat(xs:string(fn:not("true")),xs:string(fn:not("true"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-20[+]
X fn-not-20: fn:contains(xs:string(fn:not("true")),xs:string(fn:not("true"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-21[+]
X fn-not-21: fn:string-length(xs:string(fn:not("true"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-22[+]
X fn-not-22: not(//banana) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-23[+]
X fn-not-23: not(//*) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-24[+]
X fn-not-24: not(xs:double('NaN')) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-25[+]
X fn-not-25: not(xs:float('NaN')) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-26[+]
X fn-not-26: not("") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-27[+]
X fn-not-27: not((true(), false())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-28[+]
X fn-not-28: not((23, /)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| fn-not-29[+]
X fn-not-29: not((/, 23)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-1[+]
X K-NotFunc-1: not() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-2[+]
X K-NotFunc-2: not(1, 2, 3, 4, 5, 6) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-3[+]
X K-NotFunc-3: not(false() and false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-4[+]
X K-NotFunc-4: not(not(true())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-5[+]
X K-NotFunc-5: not(false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-6[+]
X K-NotFunc-6: not(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-7[+]
X K-NotFunc-7: not(()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-8[+]
X K-NotFunc-8: not(xs:anyURI("")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-9[+]
X K-NotFunc-9: not(not(xs:anyURI("example.com/"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NotFunc-10[+]
X K-NotFunc-10: not(fn:boolean((1, 2, 3, current-time())[1] treat as xs:integer)) eq false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-not-001[+]
X cbcl-not-001: fn:not(for $x in 1 to 10 return <e>{$x}</e>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-not-002[+]
X cbcl-not-002: fn:not(()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-not-003[+]
X cbcl-not-003: fn:not(current-date() > xs:date("1997-01-01Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-not-004[+]
X cbcl-not-004: declare function local:f($x as xs:integer) as xs:integer { $x }; not(not(local:f(1))) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-not-005[+]
X cbcl-not-005: declare function local:f($x as xs:integer) as xs:integer* { 1 to $x }; not(exists(local:f(0))) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |