|
| 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-divide-yearMonthDuration | 31/31 | 31/31 | 28/28 | 31/31 | 28/28 | 31/31 | 31/31 | 28/28 | 31/31 | 31/31 | 28/28 | 31/31 | 31/31 | 31/31 | 31/31 | 3/15 |
| op-divide-yearMonthDuration2args-1[+]
X op-divide-yearMonthDuration2args-1: xs:yearMonthDuration("P0Y0M") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration2args-2[+]
X op-divide-yearMonthDuration2args-2: xs:yearMonthDuration("P1000Y6M") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration2args-3[+]
X op-divide-yearMonthDuration2args-3: xs:yearMonthDuration("P2030Y12M") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration2args-4[+]
X op-divide-yearMonthDuration2args-4: xs:yearMonthDuration("P0Y0M") div xs:double("0.1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration2args-5[+]
X op-divide-yearMonthDuration2args-5: xs:yearMonthDuration("P0Y0M") div xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-1[+]
X op-divide-yearMonthDuration-1: (xs:yearMonthDuration("P2Y11M") div 1.5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-2[+]
X op-divide-yearMonthDuration-2: fn:string((xs:yearMonthDuration("P10Y11M") div 2.0)) and fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-3[+]
X op-divide-yearMonthDuration-3: fn:string((xs:yearMonthDuration("P20Y10M") div 2.0)) or fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-4[+]
X op-divide-yearMonthDuration-4: fn:not(fn:string(xs:yearMonthDuration("P11Y04M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-5[+]
X op-divide-yearMonthDuration-5: fn:boolean(fn:string(xs:yearMonthDuration("P05Y08M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-6[+]
X op-divide-yearMonthDuration-6: fn:number(xs:yearMonthDuration("P02Y09M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-7[+]
X op-divide-yearMonthDuration-7: fn:string(xs:yearMonthDuration("P03Y08M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-8[+]
X op-divide-yearMonthDuration-8: (xs:yearMonthDuration("P10Y01M") div -2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-9[+]
X op-divide-yearMonthDuration-9: fn:string((xs:yearMonthDuration("P01Y01M") div 2.0)) and fn:string((xs:yearMonthDuration("P02Y03M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-10[+]
X op-divide-yearMonthDuration-10: fn:string((xs:yearMonthDuration("P05Y02M") div 2.0)) or fn:string((xs:yearMonthDuration("P05Y03M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-11[+]
X op-divide-yearMonthDuration-11: (xs:yearMonthDuration("P20Y11M") div 2.0) div (xs:yearMonthDuration("P20Y11M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-12[+]
X op-divide-yearMonthDuration-12: fn:string((xs:yearMonthDuration("P10Y11M") div 2.0)) and (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-13[+]
X op-divide-yearMonthDuration-13: (xs:yearMonthDuration("P23Y11M") div 2.0) eq xs:yearMonthDuration("P23Y11M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-14[+]
X op-divide-yearMonthDuration-14: (xs:yearMonthDuration("P21Y12M") div 2.0) ne xs:yearMonthDuration("P08Y05M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-15[+]
X op-divide-yearMonthDuration-15: (xs:yearMonthDuration("P10Y01M") div 2.0) le xs:yearMonthDuration("P17Y02M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-16[+]
X op-divide-yearMonthDuration-16: (xs:yearMonthDuration("P13Y09M") div 2.0) ge xs:yearMonthDuration("P18Y02M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-yearMonthDuration-17[+]
X op-divide-yearMonthDuration-17: for $i in (-2, -4, -10, -50, +50, +10, +4, +2) return (xs:yearMonthDuration("P5M") div $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-1[+]
X K-YearMonthDurationDivide-1: xs:yearMonthDuration("P3Y36M") div 3 eq xs:yearMonthDuration("P2Y") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-2[+]
X K-YearMonthDurationDivide-2: xs:yearMonthDuration("P3Y36M") div xs:double("-INF") eq xs:yearMonthDuration("P0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-3[+]
X K-YearMonthDurationDivide-3: xs:yearMonthDuration("P3Y36M") div xs:double("INF") eq xs:yearMonthDuration("P0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-4[+]
X K-YearMonthDurationDivide-4: xs:yearMonthDuration("P3Y36M") div 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-5[+]
X K-YearMonthDurationDivide-5: xs:yearMonthDuration("P3Y36M") div xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationDivide-6[+]
X K-YearMonthDurationDivide-6: xs:yearMonthDuration("P3Y36M") div xs:double("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-divide-yearMonthDuration-001[+]
X cbcl-divide-yearMonthDuration-001: declare function local:yearMonthDuration($years as xs:integer) as xs:yearMonthDuration { xs:yearMonthDuration(concat("P", $years, "Y")) }; local:yearMonthDuration(2) div 0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-divide-yearMonthDuration-002[+]
X cbcl-divide-yearMonthDuration-002: declare function local:yearMonthDuration($years as xs:integer) as xs:yearMonthDuration { xs:yearMonthDuration(concat("P", $years, "Y")) }; local:yearMonthDuration(2) div 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-divide-yearMonthDuration-003[+]
X cbcl-divide-yearMonthDuration-003: declare function local:yearMonthDuration($years as xs:integer) as xs:yearMonthDuration { xs:yearMonthDuration(concat("P", $years, "Y")) }; local:yearMonthDuration(768614336404564650) div 0.5 |
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 | |