X op-date-greater-than2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") gt xs:date("1970-01-01Z")

 X op-date-greater-than2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1983-11-17Z") gt xs:date("1970-01-01Z")

 X op-date-greater-than2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("2030-12-31Z") gt xs:date("1970-01-01Z")

 X op-date-greater-than2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") gt xs:date("1983-11-17Z")

 X op-date-greater-than2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") gt xs:date("2030-12-31Z")

 X op-date-greater-than2args-6:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") le xs:date("1970-01-01Z")

 X op-date-greater-than2args-7:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1983-11-17Z") le xs:date("1970-01-01Z")

 X op-date-greater-than2args-8:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("2030-12-31Z") le xs:date("1970-01-01Z")

 X op-date-greater-than2args-9:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") le xs:date("1983-11-17Z")

 X op-date-greater-than2args-10:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:date("1970-01-01Z") le xs:date("2030-12-31Z")

 X op-date-greater-than-1:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2004-12-25Z") gt xs:date("2004-12-25+07:00"))

 X op-date-greater-than-2:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2004-12-25-12:00") gt xs:date("2004-12-26+12:00"))

 X op-date-greater-than-3:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not((xs:date("2005-12-26Z") gt xs:date("2005-12-25Z")))

 X op-date-greater-than-4:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:date("2005-04-02Z") ge xs:date("2005-04-02Z"))

 X op-date-greater-than-5:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:date("2000-11-09Z") gt xs:date("2000-11-10Z"))

 X op-date-greater-than-6:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:date("2005-10-23Z") ge xs:date("2005-10-25Z"))

 X op-date-greater-than-7:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2000-01-01Z") gt xs:date("2000-01-01Z")) and (xs:date("2001-02-02Z") gt xs:date("2001-03-02Z"))

 X op-date-greater-than-8:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2000-01-25Z") ge xs:date("2000-10-26Z")) and (xs:date("1975-10-26Z") ge xs:date("1975-10-28Z"))

 X op-date-greater-than-9:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2000-10-26Z") gt xs:date("2000-10-28Z")) or (xs:date("1976-10-28Z") gt xs:date("1976-10-28Z"))

 X op-date-greater-than-10:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("1976-10-25Z") ge xs:date("1976-10-28Z")) or (xs:date("1980-08-11Z") ge xs:date("1980-08-10Z"))

 X op-date-greater-than-11:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("1980-05-18Z") gt xs:date("1980-05-17Z")) or (fn:true())

 X op-date-greater-than-12:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2000-10-25Z") ge xs:date("2000-10-26Z")) or (fn:true())

 X op-date-greater-than-13:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("1980-01-01Z") gt xs:date("1980-10-01Z")) or (fn:false())

 X op-date-greater-than-14:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("1980-10-25Z") ge xs:date("1980-10-26Z")) or (fn:false())

 X K-DateGT-1:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: xs:date("2004-07-13") gt xs:date("2004-07-12")

 X K-DateGT-2:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: not(xs:date("2004-07-12") gt xs:date("2004-07-12"))

 X K-DateGT-3:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: not(xs:date("2004-07-12") gt xs:date("2004-07-13"))

 X K-DateGT-4:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: xs:date("2004-07-12") ge xs:date("2004-07-12")

 X K-DateGT-5:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: xs:date("2004-07-13") ge xs:date("2004-07-12")

 X K-DateGT-6:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: not(xs:date("2004-07-11") ge xs:date("2004-07-12"))

 X cbcl-date-gt-001:

Created on: 2008-05-14
Spec Dependencies:

Test: xs:date("25252734927766555-07-28") > xs:date("-25252734927766555-06-07+02:00")

 X cbcl-date-le-001:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: xs:date("-25252734927766555-06-07+02:00") <= xs:date("25252734927766555-07-28")

 X cbcl-date-greater-equal-001:

Created on: 2008-05-16
Spec Dependencies:
spec = XQ10+

Test: 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"))

 X cbcl-date-greater-equal-002:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-30") lt xs:date("2008-01-31+09:00")

 X cbcl-date-greater-equal-003:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31+09:00") lt xs:date("2008-01-30")

 X cbcl-date-greater-equal-004:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31") lt xs:date("2008-01-31+09:00")

 X cbcl-date-greater-equal-005:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31+09:00") lt xs:date("2008-01-31")

 X cbcl-date-greater-equal-006:

Created on: 2008-05-16
Spec Dependencies:
spec = XQ10+

Test: 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"))

 X cbcl-date-greater-equal-007:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-30") ge xs:date("2008-01-31+09:00")

 X cbcl-date-greater-equal-008:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31+09:00") ge xs:date("2008-01-30")

 X cbcl-date-greater-equal-009:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31") ge xs:date("2008-01-31+09:00")

 X cbcl-date-greater-equal-010:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:date("2008-01-31+09:00") ge xs:date("2008-01-31")

 X cbcl-date-greater-than-011:

Created on: 2008-05-21
Spec Dependencies:
spec = XQ10+

Test: 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"))

 X cbcl-date-greater-than-012:

Created on: 2008-05-21
Spec Dependencies:
spec = XQ10+

Test: 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")

 X cbcl-date-greater-than-013:

Created on: 2008-05-21
Spec Dependencies:
spec = XQ10+

Test: 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"))

 X cbcl-date-greater-than-014:

Created on: 2008-05-21
Spec Dependencies:
spec = XQ10+

Test: 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")

 X cbcl-date-greater-than-015:

Created on: 2008-05-23
Spec Dependencies:
spec = XQ10+

Test: 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"))

 X cbcl-date-greater-than-016:

Created on: 2008-05-23
Spec Dependencies:
spec = XQ10+

Test: 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"))