|
| 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-yearMonthDuration-less-than | 34/34 | 34/34 | 28/28 | 34/34 | 28/28 | 34/34 | 34/34 | 28/28 | 34/34 | 34/34 | 28/28 | 34/34 | 34/34 | 34/34 | 34/34 | 3/15 |
| op-yearMonthDuration-less-than2args-1[+]
X op-yearMonthDuration-less-than2args-1: xs:yearMonthDuration("P0Y0M") lt xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-2[+]
X op-yearMonthDuration-less-than2args-2: xs:yearMonthDuration("P1000Y6M") lt xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-3[+]
X op-yearMonthDuration-less-than2args-3: xs:yearMonthDuration("P2030Y12M") lt xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-4[+]
X op-yearMonthDuration-less-than2args-4: xs:yearMonthDuration("P0Y0M") lt xs:yearMonthDuration("P1000Y6M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-5[+]
X op-yearMonthDuration-less-than2args-5: xs:yearMonthDuration("P0Y0M") lt xs:yearMonthDuration("P2030Y12M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-6[+]
X op-yearMonthDuration-less-than2args-6: xs:yearMonthDuration("P0Y0M") ge xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2argsNew-7[+]
X op-yearMonthDuration-less-than2argsNew-7: xs:yearMonthDuration("P1000Y6M") ge xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-8[+]
X op-yearMonthDuration-less-than2args-8: xs:yearMonthDuration("P2030Y12M") ge xs:yearMonthDuration("P0Y0M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-9[+]
X op-yearMonthDuration-less-than2args-9: xs:yearMonthDuration("P0Y0M") ge xs:yearMonthDuration("P1000Y6M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than2args-10[+]
X op-yearMonthDuration-less-than2args-10: xs:yearMonthDuration("P0Y0M") ge xs:yearMonthDuration("P2030Y12M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-3[+]
X op-yearMonthDuration-less-than-3: fn:not((xs:yearMonthDuration("P20Y10M") lt xs:yearMonthDuration("P20Y11M"))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-4[+]
X op-yearMonthDuration-less-than-4: fn:not(xs:yearMonthDuration("P20Y10M") le xs:yearMonthDuration("P20Y10M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-5[+]
X op-yearMonthDuration-less-than-5: fn:not(xs:yearMonthDuration("P20Y10M") lt xs:yearMonthDuration("P20Y09M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-6[+]
X op-yearMonthDuration-less-than-6: fn:not(xs:yearMonthDuration("P10Y09M") le xs:yearMonthDuration("P10Y07M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-thanNew-7[+]
X op-yearMonthDuration-less-thanNew-7: (xs:yearMonthDuration("P10Y09M") lt xs:yearMonthDuration("P09Y10M")) and (xs:yearMonthDuration("P10Y01M") lt xs:yearMonthDuration("P08Y06M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-8[+]
X op-yearMonthDuration-less-than-8: (xs:yearMonthDuration("P10Y09M") le xs:yearMonthDuration("P10Y01M")) and (xs:yearMonthDuration("P02Y04M") le xs:yearMonthDuration("P09Y07M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-9[+]
X op-yearMonthDuration-less-than-9: (xs:yearMonthDuration("P10Y08M") lt xs:yearMonthDuration("P10Y07M")) or (xs:yearMonthDuration("P10Y09M") lt xs:yearMonthDuration("P10Y09M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-10[+]
X op-yearMonthDuration-less-than-10: (xs:yearMonthDuration("P10Y01M") le xs:yearMonthDuration("P09Y06M")) or (xs:yearMonthDuration("P15Y01M") le xs:yearMonthDuration("P02Y04M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-11[+]
X op-yearMonthDuration-less-than-11: (xs:yearMonthDuration("P10Y02M") lt xs:yearMonthDuration("P01Y10M")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-12[+]
X op-yearMonthDuration-less-than-12: (xs:yearMonthDuration("P10Y01M") le xs:yearMonthDuration("P09Y05M")) or (fn:true()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-13[+]
X op-yearMonthDuration-less-than-13: (xs:yearMonthDuration("P30Y10M") lt xs:yearMonthDuration("P01Y02M")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-yearMonthDuration-less-than-14[+]
X op-yearMonthDuration-less-than-14: (xs:yearMonthDuration("P10Y05M") le xs:yearMonthDuration("P20Y10M")) or (fn:false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-1[+]
X K-YearMonthDurationLT-1: xs:yearMonthDuration("P1999Y9M") lt xs:yearMonthDuration("P1999Y10M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-2[+]
X K-YearMonthDurationLT-2: not(xs:yearMonthDuration("P1999Y10M") lt xs:yearMonthDuration("P1999Y10M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-3[+]
X K-YearMonthDurationLT-3: not(xs:yearMonthDuration("P1999Y10M") lt xs:yearMonthDuration("P1999Y9M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-4[+]
X K-YearMonthDurationLT-4: xs:yearMonthDuration("P1999Y10M") le xs:yearMonthDuration("P1999Y10M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-5[+]
X K-YearMonthDurationLT-5: xs:yearMonthDuration("P1999Y9M") le xs:yearMonthDuration("P1999Y10M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-YearMonthDurationLT-6[+]
X K-YearMonthDurationLT-6: not(xs:yearMonthDuration("P1999Y10M") le xs:yearMonthDuration("P1999Y9M")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-yearMonthDuration-less-than-001[+]
X cbcl-yearMonthDuration-less-than-001: declare function local:yearMonthDuration($years as xs:integer, $months as xs:integer ) { xs:yearMonthDuration(concat('P', $years, 'Y', $months, 'M')) }; not(local:yearMonthDuration(1, 1) lt 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-yearMonthDuration-less-than-002[+]
X cbcl-yearMonthDuration-less-than-002: declare function local:yearMonthDuration($years as xs:integer, $months as xs:integer ) { xs:yearMonthDuration(concat('P', $years, 'Y', $months, 'M')) }; not(local:yearMonthDuration(1, 1) le 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-yearMonthDuration-less-than-003[+]
X cbcl-yearMonthDuration-less-than-003: declare function local:yearMonthDuration($yearMonthDuration as xs:yearMonthDuration, $null as xs:boolean) { if ($null) then () else $yearMonthDuration }; exists(local:yearMonthDuration(xs:yearMonthDuration("P0Y"), fn:true()) lt 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-yearMonthDuration-less-than-004[+]
X cbcl-yearMonthDuration-less-than-004: declare function local:yearMonthDuration($yearMonthDuration as xs:yearMonthDuration, $null as xs:boolean) { if ($null) then () else $yearMonthDuration }; local:yearMonthDuration(xs:yearMonthDuration("P0Y"), fn:false()) lt 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-yearMonthDuration-less-than-005[+]
X cbcl-yearMonthDuration-less-than-005: declare function local:yearMonthDuration($yearMonthDuration as xs:yearMonthDuration, $null as xs:boolean) { if ($null) then () else $yearMonthDuration }; exists(local:yearMonthDuration(xs:yearMonthDuration("P0Y"), fn:true()) ge 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-yearMonthDuration-less-than-006[+]
X cbcl-yearMonthDuration-less-than-006: declare function local:yearMonthDuration($yearMonthDuration as xs:yearMonthDuration, $null as xs:boolean) { if ($null) then () else $yearMonthDuration }; local:yearMonthDuration(xs:yearMonthDuration("P0Y"), fn:false()) ge xs:yearMonthDuration("P0Y") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |