|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| op-time-equal | 58/58 | 58/58 | 52/52 | 58/58 | 52/52 | 58/58 | 58/58 | 52/52 | 58/58 | 58/58 | 52/52 | 58/58 | 58/58 | 58/58 | 58/58 | 3/15 |
| op-time-equal2args-1[+]
X op-time-equal2args-1: xs:time("00:00:00Z") eq xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-2[+]
X op-time-equal2args-2: xs:time("08:03:35Z") eq xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-3[+]
X op-time-equal2args-3: xs:time("23:59:59Z") eq xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-4[+]
X op-time-equal2args-4: xs:time("00:00:00Z") eq xs:time("08:03:35Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-5[+]
X op-time-equal2args-5: xs:time("00:00:00Z") eq xs:time("23:59:59Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-6[+]
X op-time-equal2args-6: xs:time("00:00:00Z") ne xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-7[+]
X op-time-equal2args-7: xs:time("08:03:35Z") ne xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-8[+]
X op-time-equal2args-8: xs:time("23:59:59Z") ne xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-9[+]
X op-time-equal2args-9: xs:time("00:00:00Z") ne xs:time("08:03:35Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-10[+]
X op-time-equal2args-10: xs:time("00:00:00Z") ne xs:time("23:59:59Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-11[+]
X op-time-equal2args-11: xs:time("00:00:00Z") le xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-12[+]
X op-time-equal2args-12: xs:time("08:03:35Z") le xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-13[+]
X op-time-equal2args-13: xs:time("23:59:59Z") le xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-14[+]
X op-time-equal2args-14: xs:time("00:00:00Z") le xs:time("08:03:35Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-15[+]
X op-time-equal2args-15: xs:time("00:00:00Z") le xs:time("23:59:59Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-16[+]
X op-time-equal2args-16: xs:time("00:00:00Z") ge xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-17[+]
X op-time-equal2args-17: xs:time("08:03:35Z") ge xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-18[+]
X op-time-equal2args-18: xs:time("23:59:59Z") ge xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-19[+]
X op-time-equal2args-19: xs:time("00:00:00Z") ge xs:time("08:03:35Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-equal2args-20[+]
X op-time-equal2args-20: xs:time("00:00:00Z") ge xs:time("23:59:59Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-1[+]
X K-TimeEQ-1: xs:time("23:01:04.12") eq xs:time("23:01:04.12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-2[+]
X K-TimeEQ-2: not(xs:time("23:01:04.12") eq xs:time("23:01:04.13")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-3[+]
X K-TimeEQ-3: xs:time("23:01:05.12") ne xs:time("23:01:04.12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-4[+]
X K-TimeEQ-4: not(xs:time("23:01:04.12") ne xs:time("23:01:04.12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-5[+]
X K-TimeEQ-5: xs:time("16:00:12.345-00:00") eq xs:time("16:00:12.345Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-6[+]
X K-TimeEQ-6: xs:time("16:00:12.345+00:00") eq xs:time("16:00:12.345Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-7[+]
X K-TimeEQ-7: xs:time("16:00:12.345Z") eq xs:time("16:00:12.345Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-8[+]
X K-TimeEQ-8: xs:time("16:00:12.345-00:00") eq xs:time("16:00:12.345+00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-9[+]
X K-TimeEQ-9: xs:time("12:12:23") eq xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-10[+]
X K-TimeEQ-10: xs:time("12:12:23") ne xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-11[+]
X K-TimeEQ-11: xs:time("12:12:23") le xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-12[+]
X K-TimeEQ-12: xs:time("12:12:23") lt xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-13[+]
X K-TimeEQ-13: xs:time("12:12:23") ge xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-14[+]
X K-TimeEQ-14: xs:time("12:12:23") gt xs:date("1999-12-04") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-15[+]
X K-TimeEQ-15: xs:date("1999-12-04") eq xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-16[+]
X K-TimeEQ-16: xs:date("1999-12-04") ne xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-17[+]
X K-TimeEQ-17: xs:date("1999-12-04") le xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-18[+]
X K-TimeEQ-18: xs:date("1999-12-04") lt xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-19[+]
X K-TimeEQ-19: xs:date("1999-12-04") ge xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeEQ-20[+]
X K-TimeEQ-20: xs:date("1999-12-04") gt xs:time("12:12:23") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-TimeEQ-1[+]
X K2-TimeEQ-1: xs:time("01:01:01-03:00") ne xs:time("01:01:01+03:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-001[+]
X cbcl-time-equal-001: declare function local:two-digit($number as xs:integer) { let $string := string($number) return if (string-length($string) lt 2) then concat('0', $string) else $string }; declare function local:time($hours as xs:integer, $mins as xs:integer, $seconds as xs:decimal) { let $h := local:two-digit($hours), $m := local:two-digit($mins) return xs:time(concat($h, ':', $m, ':', $seconds)) }; not(local:time(12, 59, 30) eq xs:time("12:32:05")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-002[+]
X cbcl-time-equal-002: xs:time("14:00:00-12:00") eq xs:time("02:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-003[+]
X cbcl-time-equal-003: xs:time("02:00:00") eq xs:time("14:00:00-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-004[+]
X cbcl-time-equal-004: xs:time("00:00:01+01:00") eq xs:time("00:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-005[+]
X cbcl-time-equal-005: xs:time("00:00:00") eq xs:time("00:00:01+01:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-006[+]
X cbcl-time-equal-006: declare function local:two-digit($number as xs:integer) { let $string := string($number) return if (string-length($string) lt 2) then concat('0', $string) else $string }; declare function local:time($hours as xs:integer, $mins as xs:integer, $seconds as xs:decimal) { let $h := local:two-digit($hours), $m := local:two-digit($mins) return xs:time(concat($h, ':', $m, ':', $seconds)) }; not(local:time(12, 59, 30) ne xs:time("12:32:05")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-007[+]
X cbcl-time-equal-007: xs:time("14:00:00-12:00") ne xs:time("02:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-008[+]
X cbcl-time-equal-008: xs:time("02:00:00") ne xs:time("14:00:00-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-009[+]
X cbcl-time-equal-009: xs:time("00:00:01+01:00") ne xs:time("00:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-010[+]
X cbcl-time-equal-010: xs:time("00:00:00") ne xs:time("00:00:01+01:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-011[+]
X cbcl-time-equal-011: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; exists(local:time(xs:time("23:58:00"), fn:true()) eq xs:time("23:58:00")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-012[+]
X cbcl-time-equal-012: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; local:time(xs:time("23:58:00"), fn:false()) eq xs:time("23:58:00") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-013[+]
X cbcl-time-equal-013: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; exists(local:time(xs:time("23:58:00"), fn:true()) ne xs:time("23:58:00")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-014[+]
X cbcl-time-equal-014: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; local:time(xs:time("23:58:00"), fn:false()) ne xs:time("23:58:00") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-time-equal-017[+]
X cbcl-time-equal-017: xs:time("00:00:00+12:00") eq xs:time("00:00:01") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-018[+]
X cbcl-time-equal-018: xs:time("00:00:00+12:00") ne xs:time("00:00:01") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-equal-019[+]
X cbcl-time-equal-019: if (implicit-timezone() eq xs:dayTimeDuration('PT1H')) then xs:time("12:00:00+02:00") eq xs:time("12:00:00") else xs:time("12:00:00+01:00") eq xs:time("12:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |