X op-date-less-than2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-6:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-7:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-8:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-9:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than2args-10:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-less-than-1:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:date("2004-12-25Z") lt xs:date("2004-12-25-05:00"))

 X op-date-less-than-2:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-3:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-4:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-5:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:date("2000-12-25Z") lt xs:date("2000-11-25Z"))

 X op-date-less-than-6:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-7:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-8:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-9:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-10:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-11:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-12:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-13:

Created on: 2005-06-13
Spec Dependencies:

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

 X op-date-less-than-14:

Created on: 2005-06-13
Spec Dependencies:

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

 X K-DateLT-1:

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

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

 X K-DateLT-2:

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

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

 X K-DateLT-3:

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

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

 X K-DateLT-4:

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

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

 X K-DateLT-5:

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

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

 X K-DateLT-6:

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

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

 X cbcl-date-ge-001:

Created on: 2008-05-14
Spec Dependencies:

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

 X cbcl-date-lt-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-less-than-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-less-than-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-less-than-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-less-than-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-less-than-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-less-than-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) le xs:date("1972-12-15"))

 X cbcl-date-less-than-007:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-less-than-008:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-less-than-009:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-less-than-010:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-less-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()) lt xs:date("1972-12-15"))

 X cbcl-date-less-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()) lt xs:date("1972-12-15")

 X cbcl-date-less-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()) ge xs:date("1972-12-15"))

 X cbcl-date-less-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()) ge xs:date("1972-12-15")

 X cbcl-date-less-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")) lt adjust-date-to-timezone(xs:date("1972-12-15+12:00"))

 X cbcl-date-less-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")) le adjust-date-to-timezone(xs:date("1972-12-15+12:00"))