|
| 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-date-greater-than | 48/48 | 48/48 | 39/39 | 48/48 | 39/39 | 48/48 | 48/48 | 39/39 | 48/48 | 48/48 | 39/39 | 48/48 | 48/48 | 48/48 | 48/48 | 3/15 |
| op-date-greater-than2args-1[+]
X op-date-greater-than2args-1: xs:date("1970-01-01Z") gt xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-2[+]
X op-date-greater-than2args-2: xs:date("1983-11-17Z") gt xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-3[+]
X op-date-greater-than2args-3: xs:date("2030-12-31Z") gt xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-4[+]
X op-date-greater-than2args-4: xs:date("1970-01-01Z") gt xs:date("1983-11-17Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-5[+]
X op-date-greater-than2args-5: xs:date("1970-01-01Z") gt xs:date("2030-12-31Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-6[+]
X op-date-greater-than2args-6: xs:date("1970-01-01Z") le xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-7[+]
X op-date-greater-than2args-7: xs:date("1983-11-17Z") le xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-8[+]
X op-date-greater-than2args-8: xs:date("2030-12-31Z") le xs:date("1970-01-01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-9[+]
X op-date-greater-than2args-9: xs:date("1970-01-01Z") le xs:date("1983-11-17Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than2args-10[+]
X op-date-greater-than2args-10: xs:date("1970-01-01Z") le xs:date("2030-12-31Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-1[+]
X op-date-greater-than-1: (xs:date("2004-12-25Z") gt xs:date("2004-12-25+07:00")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-2[+]
X op-date-greater-than-2: (xs:date("2004-12-25-12:00") gt xs:date("2004-12-26+12:00")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-3[+]
X op-date-greater-than-3: fn:not((xs:date("2005-12-26Z") gt xs:date("2005-12-25Z"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-4[+]
X op-date-greater-than-4: fn:not(xs:date("2005-04-02Z") ge xs:date("2005-04-02Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-5[+]
X op-date-greater-than-5: fn:not(xs:date("2000-11-09Z") gt xs:date("2000-11-10Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-6[+]
X op-date-greater-than-6: fn:not(xs:date("2005-10-23Z") ge xs:date("2005-10-25Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-7[+]
X op-date-greater-than-7: (xs:date("2000-01-01Z") gt xs:date("2000-01-01Z")) and (xs:date("2001-02-02Z") gt xs:date("2001-03-02Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-8[+]
X op-date-greater-than-8: (xs:date("2000-01-25Z") ge xs:date("2000-10-26Z")) and (xs:date("1975-10-26Z") ge xs:date("1975-10-28Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-9[+]
X op-date-greater-than-9: (xs:date("2000-10-26Z") gt xs:date("2000-10-28Z")) or (xs:date("1976-10-28Z") gt xs:date("1976-10-28Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-10[+]
X op-date-greater-than-10: (xs:date("1976-10-25Z") ge xs:date("1976-10-28Z")) or (xs:date("1980-08-11Z") ge xs:date("1980-08-10Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-11[+]
X op-date-greater-than-11: (xs:date("1980-05-18Z") gt xs:date("1980-05-17Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-12[+]
X op-date-greater-than-12: (xs:date("2000-10-25Z") ge xs:date("2000-10-26Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-13[+]
X op-date-greater-than-13: (xs:date("1980-01-01Z") gt xs:date("1980-10-01Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-date-greater-than-14[+]
X op-date-greater-than-14: (xs:date("1980-10-25Z") ge xs:date("1980-10-26Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-1[+]
X K-DateGT-1: xs:date("2004-07-13") gt xs:date("2004-07-12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-2[+]
X K-DateGT-2: not(xs:date("2004-07-12") gt xs:date("2004-07-12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-3[+]
X K-DateGT-3: not(xs:date("2004-07-12") gt xs:date("2004-07-13")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-4[+]
X K-DateGT-4: xs:date("2004-07-12") ge xs:date("2004-07-12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-5[+]
X K-DateGT-5: xs:date("2004-07-13") ge xs:date("2004-07-12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DateGT-6[+]
X K-DateGT-6: not(xs:date("2004-07-11") ge xs:date("2004-07-12")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-gt-001[+]
X cbcl-date-gt-001: xs:date("25252734927766555-07-28") > xs:date("-25252734927766555-06-07+02:00") |
pass | wrongError
expected: FODT0001 actualCode: FOCA0002 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-le-001[+]
X cbcl-date-le-001: xs:date("-25252734927766555-06-07+02:00") <= xs:date("25252734927766555-07-28") |
pass | wrongError
expected: FODT0001 actualCode: FOCA0002 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-equal-001[+]
X cbcl-date-greater-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:date($year as xs:integer, $month as xs:integer, $day as xs:integer) { let $m := local:two-digit($month), $d := local:two-digit($day) return xs:date(concat($year, '-', $m, '-', $d)) }; not(local:date(2008, 05, 12) lt xs:date("1972-12-15")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-equal-002[+]
X cbcl-date-greater-equal-002: xs:date("2008-01-30") lt xs:date("2008-01-31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-003[+]
X cbcl-date-greater-equal-003: xs:date("2008-01-31+09:00") lt xs:date("2008-01-30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-004[+]
X cbcl-date-greater-equal-004: xs:date("2008-01-31") lt xs:date("2008-01-31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-005[+]
X cbcl-date-greater-equal-005: xs:date("2008-01-31+09:00") lt xs:date("2008-01-31") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-006[+]
X cbcl-date-greater-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:date($year as xs:integer, $month as xs:integer, $day as xs:integer) { let $m := local:two-digit($month), $d := local:two-digit($day) return xs:date(concat($year, '-', $m, '-', $d)) }; not(local:date(2008, 05, 12) ge xs:date("1972-12-15")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-equal-007[+]
X cbcl-date-greater-equal-007: xs:date("2008-01-30") ge xs:date("2008-01-31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-008[+]
X cbcl-date-greater-equal-008: xs:date("2008-01-31+09:00") ge xs:date("2008-01-30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-009[+]
X cbcl-date-greater-equal-009: xs:date("2008-01-31") ge xs:date("2008-01-31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-equal-010[+]
X cbcl-date-greater-equal-010: xs:date("2008-01-31+09:00") ge xs:date("2008-01-31") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-date-greater-than-011[+]
X cbcl-date-greater-than-011: declare function local:date($date as xs:date, $null as xs:boolean) { if ($null) then () else $date }; exists(local:date(xs:date("1972-12-15"), fn:true()) gt xs:date("1972-12-15")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-than-012[+]
X cbcl-date-greater-than-012: declare function local:date($date as xs:date, $null as xs:boolean) { if ($null) then () else $date }; local:date(xs:date("1972-12-15"), fn:false()) gt xs:date("1972-12-15") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-than-013[+]
X cbcl-date-greater-than-013: declare function local:date($date as xs:date, $null as xs:boolean) { if ($null) then () else $date }; exists(local:date(xs:date("1972-12-15"), fn:true()) le xs:date("1972-12-15")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-than-014[+]
X cbcl-date-greater-than-014: declare function local:date($date as xs:date, $null as xs:boolean) { if ($null) then () else $date }; local:date(xs:date("1972-12-15"), fn:false()) le xs:date("1972-12-15") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-than-015[+]
X cbcl-date-greater-than-015: declare function local:date($date as xs:string, $timezone as xs:string) { xs:date( concat($date, $timezone) ) }; adjust-date-to-timezone(local:date("1972-12-14", "-12:00")) gt adjust-date-to-timezone(xs:date("1972-12-15+12:00")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-date-greater-than-016[+]
X cbcl-date-greater-than-016: declare function local:date($date as xs:string, $timezone as xs:string) { xs:date( concat($date, $timezone) ) }; adjust-date-to-timezone(local:date("1972-12-14", "-12:00")) ge adjust-date-to-timezone(xs:date("1972-12-15+12:00")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |