|
| 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-gDay-equal | 51/51 | 51/51 | 45/45 | 51/51 | 45/45 | 51/51 | 51/51 | 45/45 | 51/51 | 51/51 | 45/45 | 51/51 | 51/51 | 51/51 | 51/51 | 3/15 |
| op-gDay-equal2args-1[+]
X op-gDay-equal2args-1: xs:gDay("---01Z") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-2[+]
X op-gDay-equal2args-2: xs:gDay("---14Z") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-3[+]
X op-gDay-equal2args-3: xs:gDay("---31Z") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-4[+]
X op-gDay-equal2args-4: xs:gDay("---01Z") eq xs:gDay("---14Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-5[+]
X op-gDay-equal2args-5: xs:gDay("---01Z") eq xs:gDay("---31Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-6[+]
X op-gDay-equal2args-6: xs:gDay("---01Z") ne xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-7[+]
X op-gDay-equal2args-7: xs:gDay("---14Z") ne xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-8[+]
X op-gDay-equal2args-8: xs:gDay("---31Z") ne xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-9[+]
X op-gDay-equal2args-9: xs:gDay("---01Z") ne xs:gDay("---14Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal2args-10[+]
X op-gDay-equal2args-10: xs:gDay("---01Z") ne xs:gDay("---31Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-2[+]
X op-gDay-equal-2: (xs:gDay("---12-05:00") eq xs:gDay("---12Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-3[+]
X op-gDay-equal-3: fn:not((xs:gDay("---12Z") eq xs:gDay("---12Z"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-4[+]
X op-gDay-equal-4: fn:not(xs:gDay("---05Z") ne xs:gDay("---06Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-5[+]
X op-gDay-equal-5: fn:not(xs:gDay("---11Z") eq xs:gDay("---10Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-6[+]
X op-gDay-equal-6: fn:not(xs:gDay("---05Z") ne xs:gDay("---05Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-7[+]
X op-gDay-equal-7: (xs:gDay("---04Z") eq xs:gDay("---02Z")) and (xs:gDay("---01Z") eq xs:gDay("---12Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-8[+]
X op-gDay-equal-8: (xs:gDay("---12Z") ne xs:gDay("---03Z")) and (xs:gDay("---05Z") ne xs:gDay("---08Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-9[+]
X op-gDay-equal-9: (xs:gDay("---02Z") eq xs:gDay("---02Z")) or (xs:gDay("---06Z") eq xs:gDay("---06Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-10[+]
X op-gDay-equal-10: (xs:gDay("---06Z") ne xs:gDay("---06Z")) or (xs:gDay("---08Z") ne xs:gDay("---09Z")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-11[+]
X op-gDay-equal-11: (xs:gDay("---03Z") eq xs:gDay("---01Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-12[+]
X op-gDay-equal-12: (xs:gDay("---08Z") ne xs:gDay("---07Z")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-13[+]
X op-gDay-equal-13: (xs:gDay("---05Z") eq xs:gDay("---05Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-gDay-equal-14[+]
X op-gDay-equal-14: (xs:gDay("---09Z") ne xs:gDay("---09Z")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-1[+]
X K-gDayEQ-1: xs:gDay(" ---31 ") eq xs:gDay("---31") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-2[+]
X K-gDayEQ-2: not(xs:gDay("---31") eq xs:gDay("---01")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-3[+]
X K-gDayEQ-3: xs:gDay("---01") ne xs:gDay("---10") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-4[+]
X K-gDayEQ-4: not(xs:gDay("---01") ne xs:gDay("---01")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-5[+]
X K-gDayEQ-5: xs:gDay("---01-00:00") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-6[+]
X K-gDayEQ-6: xs:gDay("---01+00:00") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-7[+]
X K-gDayEQ-7: xs:gDay("---01Z") eq xs:gDay("---01Z") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-gDayEQ-8[+]
X K-gDayEQ-8: xs:gDay("---01-00:00") eq xs:gDay("---01+00:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-001[+]
X cbcl-gDay-equal-001: declare function local:gDay($day as xs:integer) { if ($day lt 10) then xs:gDay(concat("---0", $day)) else xs:gDay(concat("---", $day)) }; not(local:gDay(1) eq xs:gDay("---31")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-002[+]
X cbcl-gDay-equal-002: if (implicit-timezone() eq xs:dayTimeDuration('PT9M')) then xs:gDay("---30") eq xs:gDay("---31+09:01") else xs:gDay("---30") eq xs:gDay("---31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-003[+]
X cbcl-gDay-equal-003: if (implicit-timezone() eq xs:dayTimeDuration('PT9M')) then xs:gDay("---31+09:01") eq xs:gDay("---30") else xs:gDay("---31+09:00") eq xs:gDay("---30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-004[+]
X cbcl-gDay-equal-004: if (implicit-timezone() eq xs:dayTimeDuration('-PT9M')) then xs:gDay("---30") eq xs:gDay("---31-09:01") else xs:gDay("---30") eq xs:gDay("---31-09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-005[+]
X cbcl-gDay-equal-005: if (implicit-timezone() eq xs:dayTimeDuration('-PT9M')) then xs:gDay("---31-09:01") eq xs:gDay("---30") else xs:gDay("---31-09:00") eq xs:gDay("---30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-006[+]
X cbcl-gDay-equal-006: declare function local:gDay($day as xs:integer) { if ($day lt 10) then xs:gDay(concat("---0", $day)) else xs:gDay(concat("---", $day)) }; not(local:gDay(1) ne xs:gDay("---31")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-007[+]
X cbcl-gDay-equal-007: if (implicit-timezone() eq xs:dayTimeDuration('PT9M')) then xs:gDay("---30") ne xs:gDay("---31+09:01") else xs:gDay("---30") ne xs:gDay("---31+09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-008[+]
X cbcl-gDay-equal-008: if (implicit-timezone() eq xs:dayTimeDuration('PT9M')) then xs:gDay("---31+09:01") ne xs:gDay("---30") else xs:gDay("---31+09:00") ne xs:gDay("---30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-009[+]
X cbcl-gDay-equal-009: if (implicit-timezone() eq xs:dayTimeDuration('-PT9M')) then xs:gDay("---30") ne xs:gDay("---31-09:01") else xs:gDay("---30") ne xs:gDay("---31-09:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-010[+]
X cbcl-gDay-equal-010: if (implicit-timezone() eq xs:dayTimeDuration('-PT9M')) then xs:gDay("---31-09:01") ne xs:gDay("---30") else xs:gDay("---31-09:00") ne xs:gDay("---30") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-011[+]
X cbcl-gDay-equal-011: declare function local:gDay($gDay as xs:gDay, $null as xs:boolean) { if ($null) then () else $gDay }; exists(local:gDay(xs:gDay("---31"), fn:true()) eq xs:gDay("---31")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-012[+]
X cbcl-gDay-equal-012: declare function local:gDay($gDay as xs:gDay, $null as xs:boolean) { if ($null) then () else $gDay }; local:gDay(xs:gDay("---31"), fn:false()) eq xs:gDay("---31") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-013[+]
X cbcl-gDay-equal-013: declare function local:gDay($gDay as xs:gDay, $null as xs:boolean) { if ($null) then () else $gDay }; exists(local:gDay(xs:gDay("---31"), fn:true()) ne xs:gDay("---31")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-014[+]
X cbcl-gDay-equal-014: declare function local:gDay($gDay as xs:gDay, $null as xs:boolean) { if ($null) then () else $gDay }; local:gDay(xs:gDay("---31"), fn:false()) ne xs:gDay("---31") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-gDay-equal-015[+]
X cbcl-gDay-equal-015: xs:gDay("---30-12:00") eq xs:gDay("---31+12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-016[+]
X cbcl-gDay-equal-016: xs:gDay("---31+12:00") eq xs:gDay("---30-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-017[+]
X cbcl-gDay-equal-017: xs:gDay("---30-12:00") ne xs:gDay("---31+12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-018[+]
X cbcl-gDay-equal-018: xs:gDay("---31+12:00") ne xs:gDay("---30-12:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-019[+]
X cbcl-gDay-equal-019: if (implicit-timezone() eq xs:dayTimeDuration('PT1H')) then xs:gDay("---31+01:01") eq xs:gDay("---31") else xs:gDay("---31+01:00") eq xs:gDay("---31") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-gDay-equal-020[+]
X cbcl-gDay-equal-020: if (implicit-timezone() eq xs:dayTimeDuration('PT1H')) then xs:gDay("---31") eq xs:gDay("---31+01:01") else xs:gDay("---31") eq xs:gDay("---31+01:00") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |