|
| 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-add-yearMonthDuration-to-dateTime | 29/29 | 29/29 | 26/26 | 29/29 | 26/26 | 29/29 | 29/29 | 26/26 | 29/29 | 29/29 | 26/26 | 29/29 | 29/29 | 29/29 | 29/29 | 3/15 |
| op-add-yearMonthDuration-to-dateTime2args-1[+]
X op-add-yearMonthDuration-to-dateTime2args-1: xs:dateTime("1970-01-01T00:00:00Z") + xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime2args-2[+]
X op-add-yearMonthDuration-to-dateTime2args-2: xs:dateTime("1996-04-07T01:40:52Z") + xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime2args-3[+]
X op-add-yearMonthDuration-to-dateTime2args-3: xs:dateTime("2030-12-31T23:59:59Z") + xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime2args-4[+]
X op-add-yearMonthDuration-to-dateTime2args-4: xs:dateTime("1970-01-01T00:00:00Z") + xs:yearMonthDuration("P1000Y6M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime2args-5[+]
X op-add-yearMonthDuration-to-dateTime2args-5: xs:dateTime("1970-01-01T00:00:00Z") + xs:yearMonthDuration("P2030Y12M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-1[+]
X op-add-yearMonthDuration-to-dateTime-1: xs:dateTime("2000-10-30T11:12:00") + xs:yearMonthDuration("P1Y2M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-2[+]
X op-add-yearMonthDuration-to-dateTime-2: fn:string(xs:dateTime("2000-12-12T12:12:12Z") + xs:dayTimeDuration("P12DT10H07M")) and fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-3[+]
X op-add-yearMonthDuration-to-dateTime-3: fn:string((xs:dateTime("1999-10-23T13:45:45Z") + xs:yearMonthDuration("P19Y12M"))) or fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-4[+]
X op-add-yearMonthDuration-to-dateTime-4: fn:not(fn:string(xs:dateTime("1998-09-12T13:56:12Z") + xs:yearMonthDuration("P20Y03M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTimealt-5[+]
X op-add-yearMonthDuration-to-dateTimealt-5: fn:boolean(fn:string(xs:dateTime("1962-03-12T10:12:34Z") + xs:yearMonthDuration("P10Y01M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-6[+]
X op-add-yearMonthDuration-to-dateTime-6: fn:number(xs:dateTime("1988-01-28T13:45:23Z") + xs:yearMonthDuration("P09Y02M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-7[+]
X op-add-yearMonthDuration-to-dateTime-7: fn:string(xs:dateTime("1989-07-05T14:34:36Z") + xs:yearMonthDuration("P08Y04M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-8[+]
X op-add-yearMonthDuration-to-dateTime-8: (xs:dateTime("0001-01-01T01:01:01Z") + xs:yearMonthDuration("-P20Y07M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-9[+]
X op-add-yearMonthDuration-to-dateTime-9: fn:string((xs:dateTime("1993-12-09T10:10:10Z") + xs:yearMonthDuration("P03Y03M"))) and fn:string((xs:dateTime("1993-12-09T10:10:10Z") + xs:yearMonthDuration("P03Y03M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-10[+]
X op-add-yearMonthDuration-to-dateTime-10: fn:string((xs:dateTime("1985-07-05T09:09:09Z") + xs:yearMonthDuration("P02Y02M"))) or fn:string((xs:dateTime("1985-07-05T09:09:09Z") + xs:yearMonthDuration("P02Y02M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-12[+]
X op-add-yearMonthDuration-to-dateTime-12: fn:string((xs:dateTime("1980-03-02T02:02:02Z") + xs:yearMonthDuration("P05Y05M"))) and (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-13[+]
X op-add-yearMonthDuration-to-dateTime-13: (xs:dateTime("1980-05-05T05:05:05Z") + xs:yearMonthDuration("P23Y11M")) eq xs:dateTime("1980-05-05T05:05:05Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-14[+]
X op-add-yearMonthDuration-to-dateTime-14: (xs:dateTime("1979-12-12T09:09:09Z") + xs:yearMonthDuration("P08Y08M")) ne xs:dateTime("1979-12-12T09:09:09Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-15[+]
X op-add-yearMonthDuration-to-dateTime-15: (xs:dateTime("1978-12-12T07:07:07Z") + xs:yearMonthDuration("P17Y12M")) le xs:dateTime("1978-12-12T07:07:07Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-add-yearMonthDuration-to-dateTime-16[+]
X op-add-yearMonthDuration-to-dateTime-16: (xs:dateTime("1977-12-12T03:03:03Z") + xs:yearMonthDuration("P18Y02M")) ge xs:dateTime("1977-12-12T03:03:03Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-1[+]
X K-YearMonthDurationAddDT-1: xs:dateTime("1999-07-19T08:23:01.765") + xs:yearMonthDuration("P3Y35M") eq xs:dateTime("2005-06-19T08:23:01.765") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-2[+]
X K-YearMonthDurationAddDT-2: xs:yearMonthDuration("P3Y35M") + xs:dateTime("1999-07-19T08:23:01.765") eq xs:dateTime("2005-06-19T08:23:01.765") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-3[+]
X K-YearMonthDurationAddDT-3: xs:date("1999-10-12") + xs:time("08:12:12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-4[+]
X K-YearMonthDurationAddDT-4: xs:time("08:12:12") + xs:date("1999-10-12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-5[+]
X K-YearMonthDurationAddDT-5: xs:date("1999-10-12") + xs:time("08:12:12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationAddDT-6[+]
X K-YearMonthDurationAddDT-6: xs:time("08:12:12") + xs:date("1999-10-12") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-add-yearMonthDuration-to-dateTime-001[+]
X cbcl-add-yearMonthDuration-to-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')) }; xs:yearMonthDuration("P0Y") + local:dateTime(2008, 05, 12, 12, 59) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-add-yearMonthDuration-to-dateTime-002[+]
X cbcl-add-yearMonthDuration-to-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(2008, 05, 12, 12, 59) + xs:yearMonthDuration("P0Y") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-add-yearMonthDuration-to-dateTime-003[+]
X cbcl-add-yearMonthDuration-to-dateTime-003: 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:yearMonthDuration("P4026720960Y") |
pass | wrongError
expected: FODT0002 actualCode: FOCA0002 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |