Change id: typeswitch-union-cases
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| typeswitch-union-nomatch[+]
X typeswitch-union-nomatch: typeswitch (<e/>) case $i as xs:integer | xs:string return $i default $v return 0 |
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 |
| typeswitch-union-nomatch-2[+]
X typeswitch-union-nomatch-2: typeswitch (<e/>) case xs:integer | xs:string return 1 default $v return 0 |
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 |
| typeswitch-union-branch-1[+]
X typeswitch-union-branch-1: typeswitch (47) case $i as xs:integer | xs:string return $i default $v return 0 |
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 |
| typeswitch-union-branch-1-dup[+]
X typeswitch-union-branch-1-dup: typeswitch (47) case $i as xs:integer | xs:string return $i case $i as xs:integer return $i default $v return 0 |
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 |
| typeswitch-union-branch-2[+]
X typeswitch-union-branch-2: typeswitch (47) case $i as xs:string | xs:integer return $i default $v return 0 |
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 |
| typeswitch-union-branch-2-dup[+]
X typeswitch-union-branch-2-dup: typeswitch (47) case $i as xs:string | xs:integer return $i case $i as xs:integer return $i default $v return 0 |
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 |
| typeswitch-union-branch-both[+]
X typeswitch-union-branch-both: typeswitch (xs:integer(47)) case $i as xs:decimal | xs:integer return $i default $v return 0 |
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 |
| typeswitch-union-branch-both-dup[+]
X typeswitch-union-branch-both-dup: typeswitch (xs:integer(47)) case $i as xs:decimal | xs:integer return $i case $i as xs:decimal return $i default $v return 0 |
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 |
| typeswitch-union-multi[+]
X typeswitch-union-multi: for $x in (<e/>, 1, "x") return typeswitch ($x) case $i as xs:integer | xs:boolean | element() return 1 default $v return 0 |
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 |