Change id: sequence-type-relationships
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| instanceof121[+]
X instanceof121: name#1 instance of function(*) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof122[+]
X instanceof122: name#1 instance of function(node()?) as xs:string |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof123[+]
X instanceof123: name#1 instance of function(node()) as xs:string |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof124[+]
X instanceof124: name#1 instance of function(element(A)?) as xs:string |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof125[+]
X instanceof125: name#1 instance of function(element(A)) as xs:string |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof126[+]
X instanceof126: name#1 instance of function(element(A)) as xs:anyAtomicType |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof127[+]
X instanceof127: name#1 instance of function(element(A)) as xs:string+ |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof128[+]
X instanceof128: name#1 instance of function(element(A)) as xs:NCName |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof129[+]
X instanceof129: name#1 instance of function(node()*) as xs:string |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof130[+]
X instanceof130: name#1 instance of function(item()) as xs:string |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof131[+]
X instanceof131: name#0 instance of function(item()) as xs:string |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof132[+]
X instanceof132: filter#2 instance of function(item()*, function(item()) as xs:boolean) as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof133[+]
X instanceof133: filter#2 instance of function(item()*, function(item()*) as xs:boolean) as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof134[+]
X instanceof134: filter#2 instance of function(function(*), item()*) as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass |
| instanceof135[+]
X instanceof135: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:myUnionType1) as xs:boolean |
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 |
| instanceof136[+]
X instanceof136: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:unrestrictedDate) as xs:boolean |
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 |
| instanceof137[+]
X instanceof137: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:unrestrictedInteger) as xs:boolean |
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 |
| instanceof138[+]
X instanceof138: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:restrictedDate) as xs:boolean |
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 |
| instanceof139[+]
X instanceof139: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:approximateDate) as xs:boolean { true() }; local:f#1 instance of function(s:dateOrDateTime) as xs:boolean |
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 |
| instanceof140[+]
X instanceof140: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as xs:integer) as xs:boolean { true() }; local:f#1 instance of function(s:integer-union) as xs:boolean |
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 |
| instanceof141[+]
X instanceof141: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:decimal-or-string) as xs:boolean { true() }; local:f#1 instance of function(xs:integer) as xs:boolean |
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 |