X op-dateTime-less-than2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") lt xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1996-04-07T01:40:52Z") lt xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("2030-12-31T23:59:59Z") lt xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") lt xs:dateTime("1996-04-07T01:40:52Z")

 X op-dateTime-less-than2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") lt xs:dateTime("2030-12-31T23:59:59Z")

 X op-dateTime-less-than2args-6:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") ge xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-7:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1996-04-07T01:40:52Z") ge xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-8:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("2030-12-31T23:59:59Z") ge xs:dateTime("1970-01-01T00:00:00Z")

 X op-dateTime-less-than2args-9:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") ge xs:dateTime("1996-04-07T01:40:52Z")

 X op-dateTime-less-than2args-10:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:dateTime("1970-01-01T00:00:00Z") ge xs:dateTime("2030-12-31T23:59:59Z")

 X op-dateTime-less-than-3:

Created on: 2005-06-15
Spec Dependencies:

Test: fn:not((xs:dateTime("2002-04-02T12:00:00Z") lt xs:dateTime("2003-04-02T12:00:00Z")))

 X op-dateTime-less-than-4:

Created on: 2005-06-15
Spec Dependencies:

Test: fn:not(xs:dateTime("2002-04-02T12:00:00Z") le xs:dateTime("2002-04-02T12:00:00Z"))

 X op-dateTime-less-than-5:

Created on: 2005-06-15
Spec Dependencies:

Test: fn:not(xs:dateTime("2002-05-02T12:00:00Z") lt xs:dateTime("2002-04-02T12:00:00Z"))

 X op-dateTime-less-than-6:

Created on: 2005-06-15
Spec Dependencies:

Test: fn:not(xs:dateTime("2004-04-02T12:00:00Z") le xs:dateTime("2002-04-02T12:00:00Z"))

 X op-dateTime-less-than-7:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("2002-04-02T12:00:00Z") lt xs:dateTime("2002-04-02T12:01:00Z")) and (xs:dateTime("2003-04-02T12:00:00Z") lt xs:dateTime("2002-04-02T12:00:00Z"))

 X op-dateTime-less-than-8:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("2002-04-02T12:00:00Z") le xs:dateTime("2005-04-02T12:00:20Z")) and (xs:dateTime("2002-04-02T12:10:00Z") le xs:dateTime("2002-04-03T12:00:00Z"))

 X op-dateTime-less-than-9:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("2002-06-02T12:00:10Z") lt xs:dateTime("2000-04-04T12:00:00Z")) or (xs:dateTime("2002-04-02T13:00:10Z") lt xs:dateTime("2001-04-02T10:00:00Z"))

 X op-dateTime-less-than-10:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("2002-04-03T12:00:10Z") le xs:dateTime("1990-04-02T12:10:00Z")) or (xs:dateTime("1975-04-03T12:10:00Z") le xs:dateTime("2000-02-02T12:00:09Z"))

 X op-dateTime-less-than-11:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("1990-04-02T12:00:10Z") lt xs:dateTime("2006-06-02T12:10:00Z")) or (fn:true())

 X op-dateTime-less-than-12:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("1970-04-02T12:00:20Z") le xs:dateTime("1980-04-02T12:00:20Z")) or (fn:true())

 X op-dateTime-less-than-13:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("1981-04-02T12:00:00Z") lt xs:dateTime("2003-04-02T12:10:00Z")) or (fn:false())

 X op-dateTime-less-than-14:

Created on: 2005-06-15
Spec Dependencies:

Test: (xs:dateTime("1976-04-03T12:00:00Z") le xs:dateTime("2002-07-02T12:00:30Z")) or (fn:false())

 X K-DateTimeLT-1:

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

Test: xs:dateTime("2004-07-12T23:01:04.12") lt xs:dateTime("2004-07-13T23:01:04.12")

 X K-DateTimeLT-2:

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

Test: not(xs:dateTime("2004-07-13T23:01:04.12") lt xs:dateTime("2004-07-12T23:01:04.12"))

 X K-DateTimeLT-3:

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

Test: not(xs:dateTime("2004-07-13T23:01:04.12") lt xs:dateTime("2004-07-13T23:01:04.12"))

 X K-DateTimeLT-4:

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

Test: xs:dateTime("2004-07-12T23:01:04.12") le xs:dateTime("2004-07-12T23:01:04.12")

 X K-DateTimeLT-5:

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

Test: xs:dateTime("2004-07-12T23:01:04.12") le xs:dateTime("2004-07-12T23:01:04.12")

 X K-DateTimeLT-6:

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

Test: not(xs:dateTime("2004-07-13T23:01:04.12") le xs:dateTime("2004-07-12T23:01:04.12"))

 X cbcl-dateTime-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:dateTime($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:dateTime(concat($year, '-', $m, '-', $d, "T12:00:00")) }; not(local:dateTime(2008, 05, 12) lt xs:dateTime("1972-12-15T12:00:00"))

 X cbcl-dateTime-less-than-002:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:dateTime("2008-01-30T00:01:00") lt xs:dateTime("2008-01-31T01:00:00+09:00")

 X cbcl-dateTime-less-than-003:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-004:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-005:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-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:dateTime($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:dateTime(concat($year, '-', $m, '-', $d, "T12:00:00")) }; not(local:dateTime(2008, 05, 12) le xs:dateTime("1972-12-15T12:00:00"))

 X cbcl-dateTime-less-than-007:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-008:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-009:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-010:

Created on: 2008-05-16
Spec Dependencies:

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

 X cbcl-dateTime-less-than-011:

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

Test: declare function local:dateTime($dateTime as xs:dateTime, $null as xs:boolean) { if ($null) then () else $dateTime }; exists(local:dateTime(xs:dateTime("1972-12-15T12:00:00"), fn:true()) lt xs:dateTime("1972-12-15T12:00:00"))

 X cbcl-dateTime-less-than-012:

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

Test: declare function local:dateTime($dateTime as xs:dateTime, $null as xs:boolean) { if ($null) then () else $dateTime }; local:dateTime(xs:dateTime("1972-12-15T12:00:00"), fn:false()) lt xs:dateTime("1972-12-15T12:00:00")

 X cbcl-dateTime-less-than-013:

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

Test: declare function local:dateTime($dateTime as xs:dateTime, $null as xs:boolean) { if ($null) then () else $dateTime }; exists(local:dateTime(xs:dateTime("1972-12-15T12:00:00"), fn:true()) ge xs:dateTime("1972-12-15T12:00:00"))

 X cbcl-dateTime-less-than-014:

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

Test: declare function local:dateTime($dateTime as xs:dateTime, $null as xs:boolean) { if ($null) then () else $dateTime }; local:dateTime(xs:dateTime("1972-12-15T12:00:00"), fn:false()) ge xs:dateTime("1972-12-15T12:00:00")

 X cbcl-dateTime-less-than-015:

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

Test: declare function local:dateTime($dateTime as xs:string, $timezone as xs:string) { xs:dateTime( concat($dateTime, $timezone) ) }; adjust-dateTime-to-timezone(local:dateTime("1972-12-14T00:00:00", "-12:00")) lt adjust-dateTime-to-timezone(xs:dateTime("1972-12-15T00:00:00+12:00"))

 X cbcl-dateTime-less-than-016:

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

Test: declare function local:dateTime($dateTime as xs:string, $timezone as xs:string) { xs:dateTime( concat($dateTime, $timezone) ) }; adjust-dateTime-to-timezone(local:dateTime("1972-12-14T00:00:00", "-12:00")) le adjust-dateTime-to-timezone(xs:dateTime("1972-12-15T00:00:00+12:00"))