|
| 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-dayTimeDuration | 55/55 | 55/55 | 37/37 | 55/55 | 37/37 | 55/55 | 55/55 | 37/37 | 55/55 | 55/55 | 37/37 | 55/55 | 55/55 | 55/55 | 55/55 | 3/15 |
| op-divide-dayTimeDuration2args-1[+]
X op-divide-dayTimeDuration2args-1: xs:dayTimeDuration("P0DT0H0M0S") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration2args-2[+]
X op-divide-dayTimeDuration2args-2: xs:dayTimeDuration("P15DT11H59M59S") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration2args-3[+]
X op-divide-dayTimeDuration2args-3: xs:dayTimeDuration("P31DT23H59M59S") div xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration2args-4[+]
X op-divide-dayTimeDuration2args-4: xs:dayTimeDuration("P0DT0H0M0S") div xs:double("0.1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration2args-5[+]
X op-divide-dayTimeDuration2args-5: xs:dayTimeDuration("P0DT0H0M0S") div xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-2[+]
X op-divide-dayTimeDuration-2: fn:string((xs:dayTimeDuration("P10DT10H11M")) div 2.0) and fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-3[+]
X op-divide-dayTimeDuration-3: fn:string((xs:dayTimeDuration("P20DT20H10M") div 2.0)) or fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-4[+]
X op-divide-dayTimeDuration-4: fn:not(fn:string(xs:dayTimeDuration("P11DT12H04M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-5[+]
X op-divide-dayTimeDuration-5: fn:boolean(fn:string(xs:dayTimeDuration("P05DT09H08M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-6[+]
X op-divide-dayTimeDuration-6: fn:number(xs:dayTimeDuration("P02DT06H09M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-7[+]
X op-divide-dayTimeDuration-7: fn:string(xs:dayTimeDuration("P03DT04H08M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-8[+]
X op-divide-dayTimeDuration-8: (xs:dayTimeDuration("P10DT01H01M") div -2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-9[+]
X op-divide-dayTimeDuration-9: fn:string((xs:dayTimeDuration("P01DT02H01M") div 2.0)) and fn:string((xs:dayTimeDuration("P02DT03H03M") div 2.0 )) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-10[+]
X op-divide-dayTimeDuration-10: fn:string((xs:dayTimeDuration("P05DT09H02M") div 2.0)) or fn:string((xs:dayTimeDuration("P05DT05H03M") div 2.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-11[+]
X op-divide-dayTimeDuration-11: (xs:dayTimeDuration("P42DT10H10M") div 2.0) div (xs:dayTimeDuration("P42DT10H10M") div 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-12[+]
X op-divide-dayTimeDuration-12: fn:string((xs:dayTimeDuration("P10DT08H11M") div 2.0)) and (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-13[+]
X op-divide-dayTimeDuration-13: (xs:dayTimeDuration("P23DT11H11M") div 2.0) eq xs:dayTimeDuration("P23DT11H11M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-14[+]
X op-divide-dayTimeDuration-14: (xs:dayTimeDuration("P21DT08H12M") div 2.0) ne xs:dayTimeDuration("P08DT08H05M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-15[+]
X op-divide-dayTimeDuration-15: (xs:dayTimeDuration("P10DT10H01M") div 2.0) le xs:dayTimeDuration("P17DT10H02M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-divide-dayTimeDuration-16[+]
X op-divide-dayTimeDuration-16: (xs:dayTimeDuration("P13DT09H09M") div 2.0) ge xs:dayTimeDuration("P18DT02H02M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-1[+]
X K-DayTimeDurationDivide-1: xs:dayTimeDuration("P8DT4H4M4.400S") div 4 eq xs:dayTimeDuration("P2DT1H1M1.1S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-2[+]
X K-DayTimeDurationDivide-2: xs:dayTimeDuration("P3D") div xs:double("-INF") eq xs:dayTimeDuration("PT0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-3[+]
X K-DayTimeDurationDivide-3: xs:dayTimeDuration("P3D") div xs:double("INF") eq xs:dayTimeDuration("PT0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-4[+]
X K-DayTimeDurationDivide-4: xs:dayTimeDuration("P3DT4H3M3.100S") div 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-5[+]
X K-DayTimeDurationDivide-5: xs:dayTimeDuration("P3DT4H3M3.100S") div xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-6[+]
X K-DayTimeDurationDivide-6: xs:dayTimeDuration("P3D") div xs:double("-0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-7[+]
X K-DayTimeDurationDivide-7: xs:duration("P1Y3M") div 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-8[+]
X K-DayTimeDurationDivide-8: 3 div xs:duration("P1Y3M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-9[+]
X K-DayTimeDurationDivide-9: 3 div xs:yearMonthDuration("P1Y3M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-10[+]
X K-DayTimeDurationDivide-10: 3 div xs:dayTimeDuration("P3D") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-11[+]
X K-DayTimeDurationDivide-11: xs:dayTimeDuration("P3D") div xs:yearMonthDuration("P3Y3M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-12[+]
X K-DayTimeDurationDivide-12: xs:yearMonthDuration("P3Y3M") div xs:dayTimeDuration("P3D") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-13[+]
X K-DayTimeDurationDivide-13: xs:duration("P3D") div xs:yearMonthDuration("P3Y3M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-14[+]
X K-DayTimeDurationDivide-14: xs:yearMonthDuration("P3Y3M") div xs:duration("P3D") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-15[+]
X K-DayTimeDurationDivide-15: xs:dayTimeDuration("P3D") div xs:duration("P3Y3M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-DayTimeDurationDivide-16[+]
X K-DayTimeDurationDivide-16: xs:duration("P3Y3M") div xs:dayTimeDuration("P3D") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-divide-dayTimeDuration-001[+]
X cbcl-divide-dayTimeDuration-001: declare function local:dayTimeDuration($days as xs:integer) as xs:dayTimeDuration { xs:dayTimeDuration(concat("P", $days, "D")) }; local:dayTimeDuration(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-dayTimeDuration-002[+]
X cbcl-divide-dayTimeDuration-002: declare function local:dayTimeDuration($days as xs:integer) as xs:dayTimeDuration { xs:dayTimeDuration(concat("P", $days, "D")) }; local:dayTimeDuration(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-dayTimeDuration-003[+]
X cbcl-divide-dayTimeDuration-003: xs:dayTimeDuration("P9223372036854775807D") div 0.5 |
pass | wrongError
expected: FODT0002 actualCode: FOCA0002 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-div-001[+]
X cbcl-div-001: declare function local:f($x) { if ($x) then xs:duration("P1Y") else xs:yearMonthDuration("P1Y") }; local:f(false()) div xs:yearMonthDuration("P1M") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-002[+]
X cbcl-div-002: declare function local:f($x) { if ($x) then xs:duration("P1Y") else xs:yearMonthDuration("P1Y") }; local:f(true()) div xs:yearMonthDuration("P1M") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-003[+]
X cbcl-div-003: declare function local:f($x) { if ($x) then xs:duration("P1D") else xs:dayTimeDuration("P1D") }; local:f(false()) div xs:dayTimeDuration("PT1H") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-004[+]
X cbcl-div-004: declare function local:f($x) { if ($x) then xs:duration("P1D") else xs:dayTimeDuration("P1D") }; local:f(true()) div xs:dayTimeDuration("PT1H") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-005[+]
X cbcl-div-005: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:yearMonthDuration("P1M") }; xs:yearMonthDuration("P1Y") div local:f(false()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-006[+]
X cbcl-div-006: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:yearMonthDuration("P1M") }; xs:yearMonthDuration("P1Y") div local:f(true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-007[+]
X cbcl-div-007: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:dayTimeDuration("PT1H") }; xs:dayTimeDuration("P1D") div local:f(false()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-008[+]
X cbcl-div-008: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:dayTimeDuration("PT1H") }; xs:dayTimeDuration("P1D") div local:f(true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-009[+]
X cbcl-div-009: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:yearMonthDuration("P1M") }; local:f(false()) div local:f(false()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-010[+]
X cbcl-div-010: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:yearMonthDuration("P1M") }; local:f(true()) div local:f(false()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-011[+]
X cbcl-div-011: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:dayTimeDuration("PT1H") }; local:f(false()) div local:f(false()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-012[+]
X cbcl-div-012: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:dayTimeDuration("PT1H") }; local:f(false()) div local:f(true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-013[+]
X cbcl-div-013: declare function local:f($x) { if ($x) then xs:duration("P2M") else xs:yearMonthDuration("P2M") }; local:f(false()) div 2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-014[+]
X cbcl-div-014: declare function local:f($x) { if ($x) then xs:duration("P2M") else xs:yearMonthDuration("P2M") }; local:f(true()) div 2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-015[+]
X cbcl-div-015: declare function local:f($x) { if ($x) then xs:duration("P1D") else xs:dayTimeDuration("P1D") }; local:f(false()) div 2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-div-016[+]
X cbcl-div-016: declare function local:f($x) { if ($x) then xs:duration("P1M") else xs:dayTimeDuration("P1D") }; local:f(true()) div 2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |