Results for tests requiring that dependency typedData is satisfied
| Implementations | ||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|---|---|---|---|---|---|---|
| K2-DirectConElemContent-35a[+]
X K2-DirectConElemContent-35a: Created on: 2007-11-26 Spec Dependencies: spec = XQ30+ feature = typedData Test: <e/> instance of element(*, xs:untyped) |
no result | n/a
notXP31 |
n/a
Dependency not satisfied |
n/a | pass | pass |
| K2-ExternalVariablesWith-22[+]
X K2-ExternalVariablesWith-22: Created on: 2009-01-08 Spec Dependencies: spec = XQ30+ feature = typedData spec = XQ10+ Test: declare variable $v as element(*, xs:untyped?)+ := <e/>; exists($v/*) |
no result | n/a
test-set dependencies not satisfied |
n/a
Dependency not satisfied |
n/a | pass | pass |
| hof-039[+]
X hof-039: Created on: 2009-03-01 Spec Dependencies: spec = XQ30+ feature = typedData feature = higherOrderFunctions Test: declare function local:f($x as xs:long, $y as xs:NCName) as element(e)? { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:long, xs:NCName) as element()?, local:f#2 instance of function(xs:long, xs:NCName) as element()*, local:f#2 instance of function(xs:long, xs:NCName) as element(e)*, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType?)?, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:untyped)? |
no result | n/a
notXP31 |
n/a
Dependency not satisfied |
n/a | pass | pass |
| hof-053[+]
X hof-053: Created on: 2013-02-26 Spec Dependencies: spec = XQ30+ feature = typedData feature = higherOrderFunctions Test: declare function local:f($x as xs:long, $y as xs:NCName) as element(e, xs:anyAtomicType) { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:long, xs:NCName) as element(), local:f#2 instance of function(xs:long, xs:NCName) as element()+, local:f#2 instance of function(xs:long, xs:NCName) as element()?, local:f#2 instance of function(xs:long, xs:NCName) as element()*, local:f#2 instance of function(xs:long, xs:NCName) as element(e)*, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType?)?, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType)?, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:untyped)? |
no result | n/a
notXP31 |
n/a
Dependency not satisfied |
n/a | pass | pass |