|
| 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-ValueComp | 42/44 | 44/44 | 42/42 | 44/44 | 42/42 | 44/44 | 44/44 | 42/42 | 44/44 | 44/44 | 42/42 | 44/44 | 44/44 | 44/44 | 44/44 | 3/15 |
| K-ValCompTypeChecking-1[+]
X K-ValCompTypeChecking-1: (1, 2, 3) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-2[+]
X K-ValCompTypeChecking-2: 3 eq (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-3[+]
X K-ValCompTypeChecking-3: (1, 2, 3) ne 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-4[+]
X K-ValCompTypeChecking-4: 3 ne (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-5[+]
X K-ValCompTypeChecking-5: (1, 2, 3) lt 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-6[+]
X K-ValCompTypeChecking-6: 3 lt (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-7[+]
X K-ValCompTypeChecking-7: (1, 2, 3) le 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-8[+]
X K-ValCompTypeChecking-8: 3 le (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-9[+]
X K-ValCompTypeChecking-9: (1, 2, 3) gt 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-10[+]
X K-ValCompTypeChecking-10: 3 gt (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-11[+]
X K-ValCompTypeChecking-11: (1, 2, 3) ge 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-12[+]
X K-ValCompTypeChecking-12: 3 ge (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-13[+]
X K-ValCompTypeChecking-13: empty(() eq 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-14[+]
X K-ValCompTypeChecking-14: empty(1 eq ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-15[+]
X K-ValCompTypeChecking-15: empty(() eq ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-16[+]
X K-ValCompTypeChecking-16: xs:untypedAtomic("1") eq xs:integer(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-17[+]
X K-ValCompTypeChecking-17: xs:integer(1) eq xs:untypedAtomic("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-18[+]
X K-ValCompTypeChecking-18: xs:untypedAtomic("0") ne xs:double(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-19[+]
X K-ValCompTypeChecking-19: xs:double(1) ne xs:untypedAtomic("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-20[+]
X K-ValCompTypeChecking-20: xs:untypedAtomic("0") lt xs:float(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-21[+]
X K-ValCompTypeChecking-21: xs:float(0) lt xs:untypedAtomic("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-22[+]
X K-ValCompTypeChecking-22: xs:untypedAtomic("0") gt xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-23[+]
X K-ValCompTypeChecking-23: xs:decimal(0) gt xs:untypedAtomic("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-24[+]
X K-ValCompTypeChecking-24: xs:untypedAtomic("4") eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-25[+]
X K-ValCompTypeChecking-25: 4 eq xs:untypedAtomic("4") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-26[+]
X K-ValCompTypeChecking-26: xs:untypedAtomic("3") eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-27[+]
X K-ValCompTypeChecking-27: xs:double(2) lt xs:untypedAtomic("3") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-28[+]
X K-ValCompTypeChecking-28: xs:float(4) gt xs:untypedAtomic("3") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-29[+]
X K-ValCompTypeChecking-29: xs:untypedAtomic("3") ne xs:decimal(3.1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-30[+]
X K-ValCompTypeChecking-30: xs:untypedAtomic("a string") eq "a string" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-31[+]
X K-ValCompTypeChecking-31: "a string" eq xs:untypedAtomic("a string") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-32[+]
X K-ValCompTypeChecking-32: count((0, current-time())) ge 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-33[+]
X K-ValCompTypeChecking-33: count((0, current-time())) ne 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-34[+]
X K-ValCompTypeChecking-34: not(count((1, 2, current-time())) eq 0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-35[+]
X K-ValCompTypeChecking-35: error() eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-36[+]
X K-ValCompTypeChecking-36: error() eq error() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-37[+]
X K-ValCompTypeChecking-37: 3 eq error() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-38[+]
X K-ValCompTypeChecking-38: 3 eq (error(), 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-39[+]
X K-ValCompTypeChecking-39: 3 eq (3, error()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-40[+]
X K-ValCompTypeChecking-40: (error(), 3) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-41[+]
X K-ValCompTypeChecking-41: (3, error()) eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-ValCompTypeChecking-42[+]
X K-ValCompTypeChecking-42: count((1, 2)) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| value-comparison-3[+]
X value-comparison-3: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) eq myType:shoesize(5) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| value-comparison-4[+]
X value-comparison-4: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) ne myType:shoesize(5) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |