|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| op-subtract-dayTimeDuration-from-dateTime | 22/22 | 22/22 | 20/20 | 22/22 | 20/20 | 22/22 | 22/22 | 20/20 | 22/22 | 22/22 | 20/20 | 22/22 | 22/22 | 22/22 | 22/22 | 3/15 |
| op-subtract-dayTimeDuration-from-dateTime2args-1[+]
X op-subtract-dayTimeDuration-from-dateTime2args-1: xs:dateTime("1970-01-01T00:00:00Z") - xs:dayTimeDuration("P0DT0H0M0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime2args-2[+]
X op-subtract-dayTimeDuration-from-dateTime2args-2: xs:dateTime("1996-04-07T01:40:52Z") - xs:dayTimeDuration("P0DT0H0M0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime2args-3[+]
X op-subtract-dayTimeDuration-from-dateTime2args-3: xs:dateTime("2030-12-31T23:59:59Z") - xs:dayTimeDuration("P0DT0H0M0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime2args-4[+]
X op-subtract-dayTimeDuration-from-dateTime2args-4: xs:dateTime("1970-01-01T00:00:00Z") - xs:dayTimeDuration("P15DT11H59M59S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime2args-5[+]
X op-subtract-dayTimeDuration-from-dateTime2args-5: xs:dateTime("1970-01-01T00:00:00Z") - xs:dayTimeDuration("P31DT23H59M59S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-1[+]
X op-subtract-dayTimeDuration-from-dateTime-1: xs:dateTime("2000-10-30T11:12:00") - xs:dayTimeDuration("P3DT1H15M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-2[+]
X op-subtract-dayTimeDuration-from-dateTime-2: fn:string(xs:dateTime("2000-12-12T11:10:03Z") - xs:dayTimeDuration("P12DT10H07M")) and fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-3[+]
X op-subtract-dayTimeDuration-from-dateTime-3: fn:string((xs:dateTime("1999-10-23T03:12:23Z") - xs:dayTimeDuration("P19DT13H10M"))) or fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-4[+]
X op-subtract-dayTimeDuration-from-dateTime-4: fn:not(fn:string(xs:dateTime("1998-09-12T13:23:23Z") - xs:dayTimeDuration("P02DT07H01M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-5[+]
X op-subtract-dayTimeDuration-from-dateTime-5: fn:boolean(fn:string(xs:dateTime("1962-03-12T12:34:09Z") - xs:dayTimeDuration("P03DT08H06M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-6[+]
X op-subtract-dayTimeDuration-from-dateTime-6: fn:number(xs:dateTime("1988-01-28T12:34:12Z") - xs:dayTimeDuration("P10DT08H01M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-7[+]
X op-subtract-dayTimeDuration-from-dateTime-7: fn:string(xs:dateTime("1989-07-05T10:10:10Z") - xs:dayTimeDuration("P01DT09H02M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-8[+]
X op-subtract-dayTimeDuration-from-dateTime-8: (xs:dateTime("0001-01-01T11:11:11Z") - xs:dayTimeDuration("-P11DT02H02M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-9[+]
X op-subtract-dayTimeDuration-from-dateTime-9: fn:string((xs:dateTime("1993-12-09T13:13:13Z") - xs:dayTimeDuration("P03DT01H04M"))) and fn:string((xs:dateTime("1993-12-09T13:13:13Z") - xs:dayTimeDuration("P01DT01H03M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-10[+]
X op-subtract-dayTimeDuration-from-dateTime-10: fn:string((xs:dateTime("1985-07-05T14:14:14Z") - xs:dayTimeDuration("P03DT01H04M"))) or fn:string((xs:dateTime("1985-07-05T15:15:15Z") - xs:dayTimeDuration("P01DT01H03M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-12[+]
X op-subtract-dayTimeDuration-from-dateTime-12: fn:string((xs:dateTime("1980-03-02T16:12:10Z") - xs:dayTimeDuration("P05DT08H11M"))) and (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-13[+]
X op-subtract-dayTimeDuration-from-dateTime-13: (xs:dateTime("1980-05-05T17:17:17Z") - xs:dayTimeDuration("P23DT11H11M")) eq xs:dateTime("1980-05-05T17:17:17Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-14[+]
X op-subtract-dayTimeDuration-from-dateTime-14: (xs:dateTime("1979-12-12T18:18:18Z") - xs:dayTimeDuration("P08DT08H05M")) ne xs:dateTime("1979-12-12T16:15:14Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-15[+]
X op-subtract-dayTimeDuration-from-dateTime-15: (xs:dateTime("1978-12-12T12:45:12Z") - xs:dayTimeDuration("P17DT10H02M")) le xs:dateTime("1978-12-12T16:34:23Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-subtract-dayTimeDuration-from-dateTime-16[+]
X op-subtract-dayTimeDuration-from-dateTime-16: (xs:dateTime("1977-12-12T13:12:15Z") - xs:dayTimeDuration("P18DT02H02M")) ge xs:dateTime("1977-12-12T15:56:10Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-subtract-dayTimeDuration-from-dateTime-001[+]
X cbcl-subtract-dayTimeDuration-from-dateTime-001: 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, $hour as xs:integer, $mins as xs:integer) { let $m := local:two-digit($month), $d := local:two-digit($day), $h := local:two-digit($hour), $n := local:two-digit($mins) return xs:dateTime(concat($year, '-', $m, '-', $d, 'T', $h, ':', $n, ':00')) }; local:dateTime(2008, 05, 12, 12, 59) - xs:dayTimeDuration("P0D") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-subtract-dayTimeDuration-from-dateTime-002[+]
X cbcl-subtract-dayTimeDuration-from-dateTime-002: 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, $hour as xs:integer, $mins as xs:integer) { let $m := local:two-digit($month), $d := local:two-digit($day), $h := local:two-digit($hour), $n := local:two-digit($mins) return xs:dateTime(concat($year, '-', $m, '-', $d, 'T', $h, ':', $n, ':00')) }; local:dateTime(-25252734927766554, 05, 12, 12, 59) - xs:dayTimeDuration("P0D") |
pass | wrongError
expected: FODT0001 actualCode: FOCA0002 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |