X op-time-greater-than2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") gt xs:time("00:00:00Z")

 X op-time-greater-than2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("08:03:35Z") gt xs:time("00:00:00Z")

 X op-time-greater-than2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("23:59:59Z") gt xs:time("00:00:00Z")

 X op-time-greater-than2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") gt xs:time("08:03:35Z")

 X op-time-greater-than2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") gt xs:time("23:59:59Z")

 X op-time-greater-than2args-6:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") le xs:time("00:00:00Z")

 X op-time-greater-than2args-7:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("08:03:35Z") le xs:time("00:00:00Z")

 X op-time-greater-than2args-8:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("23:59:59Z") le xs:time("00:00:00Z")

 X op-time-greater-than2args-9:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") le xs:time("08:03:35Z")

 X op-time-greater-than2args-10:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:time("00:00:00Z") le xs:time("23:59:59Z")

 X op-time-greater-than-1:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("08:00:00+09:00") gt xs:time("17:00:00-06:00"))

 X op-time-greater-than-2:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("08:00:00+09:00") ge xs:time("17:00:00-06:00"))

 X op-time-greater-than-3:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not((xs:time("14:00:00Z") gt xs:time("13:00:00Z")))

 X op-time-greater-than-4:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:time("13:00:00Z") ge xs:time("10:00:00Z"))

 X op-time-greater-than-5:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:time("13:00:00Z") gt xs:time("14:00:00Z"))

 X op-time-greater-than-6:

Created on: 2005-06-13
Spec Dependencies:

Test: fn:not(xs:time("13:00:00Z") ge xs:time("17:00:00Z"))

 X op-time-greater-than-7:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") gt xs:time("17:00:00Z")) and (xs:time("13:00:00Z") gt xs:time("17:00:00Z"))

 X op-time-greater-than-8:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") ge xs:time("17:00:00Z")) and (xs:time("13:00:00Z") ge xs:time("17:00:00Z"))

 X op-time-greater-than-9:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") gt xs:time("17:00:00Z")) or (xs:time("13:00:00Z") gt xs:time("17:00:00Z"))

 X op-time-greater-than-10:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") ge xs:time("17:00:00Z")) or (xs:time("13:00:00Z") ge xs:time("17:00:00Z"))

 X op-time-greater-than-11:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") gt xs:time("17:00:00Z")) or (fn:true())

 X op-time-greater-than-12:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") ge xs:time("17:00:00Z")) or (fn:true())

 X op-time-greater-than-13:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") gt xs:time("17:00:00Z")) or (fn:false())

 X op-time-greater-than-14:

Created on: 2005-06-13
Spec Dependencies:

Test: (xs:time("13:00:00Z") ge xs:time("17:00:00Z")) or (fn:false())

 X K-TimeGT-1:

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

Test: xs:time("23:01:03.12") lt xs:time("23:01:04.12")

 X K-TimeGT-2:

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

Test: not(xs:time("23:01:04.12") lt xs:time("23:01:04.12"))

 X K-TimeGT-3:

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

Test: not(xs:time("23:01:05.12") lt xs:time("23:01:04.12"))

 X K-TimeGT-4:

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

Test: xs:time("23:01:04.12") le xs:time("23:01:04.12")

 X K-TimeGT-5:

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

Test: xs:time("23:01:03.12") le xs:time("23:01:04.12")

 X K-TimeGT-6:

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

Test: not(xs:time("23:01:05.12") le xs:time("23:01:04.12"))

 X cbcl-time-greater-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:time($hours as xs:integer, $mins as xs:integer, $seconds as xs:decimal) { let $h := local:two-digit($hours), $m := local:two-digit($mins) return xs:time(concat($h, ':', $m, ':', $seconds)) }; not(local:time(12, 59, 30) gt xs:time("12:32:05"))

 X cbcl-time-greater-than-002:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:time("14:00:00-12:00") gt xs:time("02:00:00")

 X cbcl-time-greater-than-003:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:time("02:00:00") gt xs:time("14:00:00-12:00")

 X cbcl-time-greater-than-004:

Created on: 2008-05-16
Spec Dependencies:

Test: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:00") gt xs:time("00:00:00+01:00") else xs:time("00:00:00+01:01") gt xs:time("00:00:00")

 X cbcl-time-greater-than-005:

Created on: 2008-05-16
Spec Dependencies:

Test: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:01+01:00") gt xs:time("00:00:00") else xs:time("00:00:00") gt xs:time("00:00:00+01:01")

 X cbcl-time-greater-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:time($hours as xs:integer, $mins as xs:integer, $seconds as xs:decimal) { let $h := local:two-digit($hours), $m := local:two-digit($mins) return xs:time(concat($h, ':', $m, ':', $seconds)) }; not(local:time(12, 59, 30) le xs:time("12:32:05"))

 X cbcl-time-greater-than-007:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:time("14:00:00-12:00") le xs:time("02:00:00")

 X cbcl-time-greater-than-008:

Created on: 2008-05-16
Spec Dependencies:

Test: xs:time("02:00:00") le xs:time("14:00:00-12:00")

 X cbcl-time-greater-than-009:

Created on: 2008-05-16
Spec Dependencies:

Test: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:00") le xs:time("00:00:00+01:00") else xs:time("00:00:00+01:01") le xs:time("00:00:00")

 X cbcl-time-greater-than-010:

Created on: 2008-05-16
Spec Dependencies:

Test: if (implicit-timezone() gt xs:dayTimeDuration('PT1H')) then xs:time("00:00:01+01:00") le xs:time("00:00:00") else xs:time("00:00:00") le xs:time("00:00:00+01:01")

 X cbcl-time-greater-than-011:

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

Test: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; exists(local:time(xs:time("23:58:00"), fn:true()) gt xs:time("23:58:00"))

 X cbcl-time-greater-than-012:

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

Test: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; local:time(xs:time("23:58:00"), fn:false()) gt xs:time("23:58:00")

 X cbcl-time-greater-than-013:

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

Test: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; exists(local:time(xs:time("23:58:00"), fn:true()) le xs:time("23:58:00"))

 X cbcl-time-greater-than-014:

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

Test: declare function local:time($time as xs:time, $null as xs:boolean) { if ($null) then () else $time }; local:time(xs:time("23:58:00"), fn:false()) le xs:time("23:58:00")