X op-date-equal2args-1:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-2:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-3:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-4:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-5:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-6:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-7:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-8:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-9:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-10:

Created on: 2004-12-13
Spec Dependencies:

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

 X op-date-equal2args-11:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-12:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-13:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-14:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-15:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-16:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-17:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-18:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-19:

Created on: 2005-06-03
Spec Dependencies:

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

 X op-date-equal2args-20:

Created on: 2005-06-03
Spec Dependencies:

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

 X K-DateEQ-1:

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

Test: xs:date("2004-08-12") eq xs:date("2004-08-12")

 X K-DateEQ-2:

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

Test: not(xs:date("2004-08-12") eq xs:date("2003-08-12"))

 X K-DateEQ-3:

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

Test: xs:date("2004-08-12") ne xs:date("2004-07-12")

 X K-DateEQ-4:

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

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

 X K-DateEQ-5:

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

Test: xs:date("1999-12-04-00:00") eq xs:date("1999-12-04Z")

 X K-DateEQ-6:

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

Test: xs:date("1999-12-04+00:00") eq xs:date("1999-12-04Z")

 X K-DateEQ-7:

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

Test: xs:date("1999-12-04Z") eq xs:date("1999-12-04Z")

 X K-DateEQ-8:

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

Test: xs:date("1999-12-04-00:00") eq xs:date("1999-12-04+00:00")

 X K2-DateEQ-1:

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

Test: xs:time("01:01:01-03:00") ne xs:time("01:01:01+03:00")

 X cbcl-date-eq-001:

Created on: 2008-05-14
Spec Dependencies:

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

 X cbcl-date-ne-001:

Created on: 2008-05-14
Spec Dependencies:

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

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

 X cbcl-date-equal-002:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-003:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-004:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-005:

Created on: 2008-05-16
Spec Dependencies:

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

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

 X cbcl-date-equal-007:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-008:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-009:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-date-equal-010:

Created on: 2008-05-16
Spec Dependencies:

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

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

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

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

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

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

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