|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-AllowingEmpty* | 18/18 | 18/18 | 0/0 | 0/0 | 0/0 | 18/18 | 18/18 | 0/0 | 18/18 | 18/18 | 0/0 | 0/0 | 0/0 | 0/0 | 18/18 | 2/15 |
| outer-001[+]
X outer-001: declare variable $n as xs:integer external := 10; <out>{ for $x allowing empty in 1 to $n return <a>{$x}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-002[+]
X outer-002: declare variable $n as xs:integer external := 0; <out>{ for $x allowing empty in 1 to $n return <a>{$x}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-003[+]
X outer-003: declare variable $n as xs:integer external := 10; <out>{ for $x allowing empty at $p in 1 to $n return <a position="{$p}">{$x}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-004[+]
X outer-004: declare variable $n as xs:integer external := 0; <out>{ for $x allowing empty at $p in 1 to $n return <a position="{$p}">{$x}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-005[+]
X outer-005: declare variable $n as xs:integer external := 10; <out>{ string-join(for $x allowing empty in 1 to $n return concat('[',$x,']'), '|') }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-006[+]
X outer-006: declare variable $n as xs:integer external := 0; <out>{ string-join(for $x allowing empty in 1 to $n return concat('[',$x,']'), '|') }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-007[+]
X outer-007: declare variable $m as xs:integer external := 5; declare variable $n as xs:integer external := 5; <out>{ for $x allowing empty at $p in 1 to $m, $y at $q in 1 to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-008[+]
X outer-008: declare variable $m as xs:integer external := 5; declare variable $n as xs:integer external := 0; <out>{ for $x allowing empty at $p in 1 to $m, $y allowing empty at $q in 1 to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-009[+]
X outer-009: declare variable $m as xs:integer external := 0; declare variable $n as xs:integer external := 5; <out>{ for $x allowing empty at $p in 1 to $m, $y at $q in 1 to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-010[+]
X outer-010: declare variable $m as xs:integer external := 0; declare variable $n as xs:integer external := 0; <out>{ for $x allowing empty at $p in 1 to $m, $y allowing empty at $q in 1 to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-011[+]
X outer-011: declare variable $n as xs:integer external := 5; <out>{ for $x allowing empty at $p in 1 to $n, $y allowing empty at $q in ($x+1) to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-012[+]
X outer-012: declare variable $n as xs:integer external := 5; <out>{ for $x as xs:integer allowing empty at $p in 1 to $n, $y as xs:integer? allowing empty at $q in ($x+1) to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-013[+]
X outer-013: declare variable $n as xs:integer external := 5; <out>{ for $x as xs:integer allowing empty at $p in 1 to $n, $y as xs:integer allowing empty at $q in ($x+1) to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | wrongError
Expected error:XPTY0004, got err:FORG0004 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XPTY0004, got err:FORG0004 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-014[+]
X outer-014: declare variable $n as xs:integer external := 5; <out>{ for $x as xs:integer at $p in 1 to $n for $y as xs:integer? allowing empty at $q in ($x+1) to $n return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-015[+]
X outer-015: declare variable $n as xs:integer external := 5; <out>{ for $x as xs:integer? allowing empty at $p in 1 to $n for $y as xs:integer at $q in (if (empty($x)) then 0 else (1 to $x)) return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-016[+]
X outer-016: declare variable $n as xs:integer external := 0; <out>{ for $x as xs:integer? allowing empty at $p in 1 to $n for $y as xs:integer at $q in (if (empty($x)) then 0 else (1 to $x)) return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-017[+]
X outer-017: declare variable $n as xs:integer external := 5; <out>{ for $x as xs:integer? allowing empty at $p in 1 to $n for $y as xs:integer? allowing empty at $q in (if (empty($x)) then () else (1 to $x)) where deep-equal($x,$y) return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| outer-018[+]
X outer-018: declare variable $n as xs:integer external := 0; <out>{ for $x as xs:integer? allowing empty at $p in 1 to $n for $y as xs:integer? allowing empty at $q in (if (empty($x)) then () else (1 to $x)) where deep-equal($x,$y) return <a p="{$p}" q="{$q}">{$x},{$y}</a> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |