|
| 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-less-than | 44/44 | 44/44 | 38/38 | 44/44 | 38/38 | 44/44 | 44/44 | 38/38 | 44/44 | 44/44 | 38/38 | 44/44 | 44/44 | 44/44 | 44/44 | 3/15 |
| op-time-less-than2args-1[+]
X op-time-less-than2args-1: xs:time("00:00:00Z") lt xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than2args-2[+]
X op-time-less-than2args-2: xs:time("08:03:35Z") lt xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than2args-3[+]
X op-time-less-than2args-3: xs:time("23:59:59Z") lt xs:time("00:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than2args-4[+]
X op-time-less-than2args-4: xs:time("00:00:00Z") lt xs:time("08:03:35Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than2args-5[+]
X op-time-less-than2args-5: xs:time("00:00:00Z") lt xs:time("23:59:59Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than2args-6[+]
X op-time-less-than2args-6: 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-less-than2args-7[+]
X op-time-less-than2args-7: 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-less-than2args-8[+]
X op-time-less-than2args-8: 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-less-than2args-9[+]
X op-time-less-than2args-9: 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-less-than2args-10[+]
X op-time-less-than2args-10: 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 | |
| op-time-less-than-1[+]
X op-time-less-than-1: (xs:time("12:00:00-05:00") lt xs:time("23:00:00+06:00")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-2[+]
X op-time-less-than-2: xs:time("11:00:00-05:00") lt xs:time("17:00:00Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-3[+]
X op-time-less-than-3: fn:not((xs:time("13:00:00Z") lt xs:time("14:00:00Z"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-4[+]
X op-time-less-than-4: fn:not(xs:time("13:00:00Z") le xs:time("14:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-5[+]
X op-time-less-than-5: fn:not(xs:time("13:00:00Z") lt xs:time("10:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-6[+]
X op-time-less-than-6: fn:not(xs:time("13:00:00Z") le xs:time("12:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-7[+]
X op-time-less-than-7: (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) and (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-8[+]
X op-time-less-than-8: (xs:time("13:00:00Z") le xs:time("17:00:00Z")) and (xs:time("13:00:00Z") le xs:time("17:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-9[+]
X op-time-less-than-9: (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) or (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-10[+]
X op-time-less-than-10: (xs:time("13:00:00Z") le xs:time("17:00:00Z")) or (xs:time("13:00:00Z") le xs:time("17:00:00Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-11[+]
X op-time-less-than-11: (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-12[+]
X op-time-less-than-12: (xs:time("13:00:00Z") le xs:time("17:00:00Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-13[+]
X op-time-less-than-13: (xs:time("13:00:00Z") lt xs:time("17:00:00Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-time-less-than-14[+]
X op-time-less-than-14: (xs:time("13:00:00Z") le xs:time("17:00:00Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-1[+]
X K-TimeLT-1: xs:time("23:01:05.12") gt xs:time("23:01:04.12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-2[+]
X K-TimeLT-2: not(xs:time("23:01:03.12") gt xs:time("23:01:04.12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-3[+]
X K-TimeLT-3: not(xs:time("23:01:04.12") gt xs:time("23:01:04.12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-4[+]
X K-TimeLT-4: xs:time("23:01:04.12") ge xs:time("23:01:04.12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-5[+]
X K-TimeLT-5: xs:time("23:01:05.12") ge xs:time("23:01:04.12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-TimeLT-6[+]
X K-TimeLT-6: not(xs:time("23:01:03.12") ge xs:time("23:01:04.12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-001[+]
X cbcl-time-less-than-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) lt 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-less-than-002[+]
X cbcl-time-less-than-002: xs:time("14:00:00-12:00") lt xs:time("02:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-003[+]
X cbcl-time-less-than-003: xs:time("02:00:00") lt xs:time("14:00:00-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-004[+]
X cbcl-time-less-than-004: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:00") lt xs:time("00:00:00+01:00") else xs:time("00:00:00+01:01") lt xs:time("00:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-005[+]
X cbcl-time-less-than-005: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:00+01:00") lt xs:time("00:00:00") else xs:time("00:00:00") lt xs:time("00:00:00+01:01") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-006[+]
X cbcl-time-less-than-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) ge 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-less-than-007[+]
X cbcl-time-less-than-007: xs:time("14:00:00-12:00") ge xs:time("02:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-008[+]
X cbcl-time-less-than-008: xs:time("02:00:00") ge xs:time("14:00:00-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-009[+]
X cbcl-time-less-than-009: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:00") ge xs:time("00:00:01+01:00") else xs:time("00:00:00+01:01") ge xs:time("00:00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-010[+]
X cbcl-time-less-than-010: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:01+01:00") ge xs:time("00:00:00") else xs:time("00:00:00") ge xs:time("00:00:00+01:01") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-time-less-than-011[+]
X cbcl-time-less-than-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()) lt 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-less-than-012[+]
X cbcl-time-less-than-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()) lt 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-less-than-013[+]
X cbcl-time-less-than-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()) ge 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-less-than-014[+]
X cbcl-time-less-than-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()) ge 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 | |