Change id: cast-to-union
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Castable-UnionType-1[+]
X Castable-UnionType-1: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "123" castable as s:myUnionType1 |
no result | 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 |
| CastAs-UnionType-1[+]
X CastAs-UnionType-1: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; 123 cast as s:myUnionType1 |
no result | 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 |
| CastAs-UnionType-2[+]
X CastAs-UnionType-2: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "123" cast as s:myUnionType1 |
no result | 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 |
| CastAs-UnionType-3[+]
X CastAs-UnionType-3: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; 123.12 cast as s:myUnionType1 |
no result | 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 |
| CastAs-UnionType-4[+]
X CastAs-UnionType-4: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "123.12" cast as s:myUnionType1 |
no result | 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 |
| CastAs-UnionType-5[+]
X CastAs-UnionType-5: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "IB123456789" cast as s:myUnionType2 |
no result | 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 |
| CastAs-UnionType-5a[+]
X CastAs-UnionType-5a: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "AD123456789" cast as s:myUnionType2 |
no result | 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 |
| CastAs-UnionType-6[+]
X CastAs-UnionType-6: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:myUnionType1(123.12) |
no result | 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 |
| CastAs-UnionType-7[+]
X CastAs-UnionType-7: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $f := s:myUnionType1#1 return $f(123.12) |
no result | 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 |
| CastAs-UnionType-8[+]
X CastAs-UnionType-8: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $f := function-lookup(QName("http://www.w3.org/XQueryTest/unionListDefined", "myUnionType1"), 1) return $f(123.12) |
no result | 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 |
| CastAs-UnionType-9[+]
X CastAs-UnionType-9: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $f := s:myUnionType1(?) return $f(123.12) |
no result | 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 |
| CastAs-UnionType-10[+]
X CastAs-UnionType-10: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; namespace-uri-from-QName("xs:integer" cast as s:sensitiveUnion) |
no result | 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 |
| CastAs-UnionType-11[+]
X CastAs-UnionType-11: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; namespace-uri-from-QName(s:sensitiveUnion('xs:integer')) |
no result | 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 |
| CastAs-UnionType-12[+]
X CastAs-UnionType-12: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:sensitiveUnion('xs:integer') instance of s:sensitiveUnion |
no result | 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 |
| CastAs-UnionType-13[+]
X CastAs-UnionType-13: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($f as function(*)) as item()* { <a xmlns:pre="http://example.com/ns">{namespace-uri-from-QName($f('pre:local'))}</a> }; local:f(function-lookup(xs:QName('s:sensitiveUnion'), 1)) |
no result | 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 |
| CastAs-UnionType-14[+]
X CastAs-UnionType-14: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($f as function(*)) as item()* { <a xmlns:pre="http://example.com/ns">{namespace-uri-from-QName($f('pre:local'))}</a> }; local:f(s:sensitiveUnion#1) |
no result | 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 |
| CastAs-UnionType-15[+]
X CastAs-UnionType-15: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($f as function(*)) as item()* { <a xmlns:pre="http://example.com/ns">{namespace-uri-from-QName($f('pre:local'))}</a> }; local:f(s:sensitiveUnion(?)) |
no result | 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 |
| CastAs-UnionType-16[+]
X CastAs-UnionType-16: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:lowercaseName('xs:integer') instance of s:sensitiveUnion |
no result | 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 |
| CastAs-UnionType-17[+]
X CastAs-UnionType-17: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:lowercaseName('xs:integer') instance of s:lowercaseName |
no result | 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. |
fail |
| CastAs-UnionType-18[+]
X CastAs-UnionType-18: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $f as function(xs:anyAtomicType?) as s:sensitiveUnion? := s:sensitiveUnion#1 return $f('candlewick') |
no result | 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 |
| CastAs-UnionType-19[+]
X CastAs-UnionType-19: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; node-name(<a/>) castable as s:sensitiveUnion |
no result | 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 |
| CastAs-UnionType-20[+]
X CastAs-UnionType-20: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; local-name-from-QName(s:sensitiveUnion(node-name(<a/>))) |
no result | fail | 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 |
| CastAs-UnionType-21[+]
X CastAs-UnionType-21: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:sensitiveUnion(xs:ID("zorobastic")) |
no result | 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 |
| CastAs-UnionType-22[+]
X CastAs-UnionType-22: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:lowercaseName('xs:QName') |
no result | 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. |
fail |
| CastAs-UnionType-23[+]
X CastAs-UnionType-23: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:lowercaseName(xs:NCName('ABC123')) |
no result | 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. |
fail |
| CastAs-UnionType-24[+]
X CastAs-UnionType-24: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $cast := s:lowercaseName#1 return $cast(xs:NCName('ABC123')) |
no result | 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. |
fail |
| CastAs-UnionType-25[+]
X CastAs-UnionType-25: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $e := <p:a xmlns:p="http://www.example.com/"/> return node-name($e) castable as s:sensitiveUnion |
no result | 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 |
| CastAs-UnionType-26[+]
X CastAs-UnionType-26: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $f as function(xs:anyAtomicType?) as s:sensitiveUnion? := s:lowercaseName#1 return $f('candlewick') |
no result | 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 |
| CastAs-UnionType-27[+]
X CastAs-UnionType-27: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; "a b c" cast as s:unionOfLists |
no result | 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 |
| CastAs-UnionType-28[+]
X CastAs-UnionType-28: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $result := ("a b xs:integer" cast as s:unionOfLists) return count($result) eq 3 and ($result instance of Q{http://www.w3.org/XQueryTest/unionListDefined}sensitiveUnion*) |
no result | fail | 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 |
| CastAs-UnionType-29[+]
X CastAs-UnionType-29: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $result := s:unionOfLists("a b xs:integer") return count($result) eq 3 and ($result instance of Q{http://www.w3.org/XQueryTest/unionListDefined}sensitiveUnion*) |
no result | fail | 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 |
| CastAs-UnionType-30[+]
X CastAs-UnionType-30: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $fn := s:unionOfLists#1 let $result := $fn("a b xs:integer") return count($result) eq 3 and ($result instance of Q{http://www.w3.org/XQueryTest/unionListDefined}sensitiveUnion*) |
no result | fail | 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 |
| CastAs-UnionType-31[+]
X CastAs-UnionType-31: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $fn := function-lookup(QName('http://www.w3.org/XQueryTest/unionListDefined', 'unionOfLists'), 1) let $result := $fn("a b xs:integer") return count($result) eq 3 and ($result instance of s:sensitiveUnion*) |
no result | fail | 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 |
| CastAs-UnionType-32[+]
X CastAs-UnionType-32: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $fn as function(xs:string?) as xs:anyAtomicType* := function-lookup(QName('http://www.w3.org/XQueryTest/unionListDefined', 'unionOfLists'), 1) let $result := $fn(xs:untypedAtomic("a b xs:integer")) return count($result) eq 3 and ($result instance of s:sensitiveUnion*) |
no result | fail | 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. |
fail |
| CastAs-UnionType-33[+]
X CastAs-UnionType-33: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; let $element := validate type xs:QName {<a xmlns:p="http://example.com">p:space</a>} return local-name-from-QName(s:sensitiveUnion($element)) |
no result | fail | 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 |
| CastAs-UnionType-34[+]
X CastAs-UnionType-34: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:restrictedUnion('2012-10-08') |
no result | 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 |
| CastAs-UnionType-35[+]
X CastAs-UnionType-35: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:restrictedUnion('1912-10-08') |
no result | 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. |
fail |