Change id: cast-to-qname-errors
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| K-SeqExprCastable-4a[+]
X K-SeqExprCastable-4a: 'string' castable as xs:anyType* |
pass | pass | no result | 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 |
| K-SeqExprCastable-5a[+]
X K-SeqExprCastable-5a: 'string' castable as xs:anySimpleType |
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 |
| K-SeqExprCastable-6a[+]
X K-SeqExprCastable-6a: 'string' castable as xs:untyped |
pass | wrongError
expected: XQST0052 actualCode: XPST0051 |
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 |
| K-SeqExprCastable-12a[+]
X K-SeqExprCastable-12a: (xs:double(1), xs:double(2), xs:double(3)) castable as xs:double* |
pass | pass | no result | 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 |
| K-SeqExprCastable-13a[+]
X K-SeqExprCastable-13a: 'string' castable as item() |
pass | pass | no result | 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 |
| CastAs675a[+]
X CastAs675a: declare function local:clarkname($q as xs:QName) as xs:string { concat('{', namespace-uri-from-QName($q), '}', local-name-from-QName($q)) }; let $var := <e>xml:space</e> return (local:clarkname(node-name($var)), local:clarkname(xs:untypedAtomic($var))) |
pass | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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. |
wrongError
Expected error: XPTY0117. Found error: XPTY0004 |
| CastAsNamespaceSensitiveType-1[+]
X CastAsNamespaceSensitiveType-1: declare function local:clarkname($q as xs:QName) as xs:string { concat('{', namespace-uri-from-QName($q), '}', local-name-from-QName($q)) }; local:clarkname(xs:untypedAtomic("xs:integer")) |
pass | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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. |
wrongError
Expected error: XPTY0117. Found error: XPTY0004 |
| CastAsNamespaceSensitiveType-2[+]
X CastAsNamespaceSensitiveType-2: declare function local:clarkname($q as xs:QName) as xs:string { concat('{', namespace-uri-from-QName($q), '}', local-name-from-QName($q)) }; local:clarkname(<tag>xs:integer</tag>) |
pass | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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. |
wrongError
Expected error: XPTY0117. Found error: XPTY0004 |
| CastAsNamespaceSensitiveType-3[+]
X CastAsNamespaceSensitiveType-3: declare function local:clarkname($q as xs:QName) as xs:string { concat('{', namespace-uri-from-QName($q), '}', local-name-from-QName($q)) }; local:clarkname(xs:QName("xs:integer")) |
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 |
| CastAsNamespaceSensitiveType-4[+]
X CastAsNamespaceSensitiveType-4: declare function local:clarkname($q as xs:NOTATION) as xs:string { $q cast as xs:string }; local:clarkname(xs:untypedAtomic("xs:integer")) |
pass | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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 |
| CastAsNamespaceSensitiveType-5[+]
X CastAsNamespaceSensitiveType-5: declare function local:clarkname($q as xs:NOTATION) as xs:string { $q cast as xs:string }; local:clarkname(<tag>xs:integer</tag>) |
pass | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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 |
| CastAsNamespaceSensitiveType-6[+]
X CastAsNamespaceSensitiveType-6: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as xs:NOTATION) as xs:boolean { $q eq ntn:pictures("ntn:jpg") }; local:is-jpg(validate { <ntn:notation xmlns:ntn="http://www.w3.org/XQueryTest/Cast/Notation" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.w3.org/XQueryTest/Cast/Notation CastExpr/notation.xsd">ntn:jpg</ntn:notation> }) |
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 |
| CastAsNamespaceSensitiveType-7[+]
X CastAsNamespaceSensitiveType-7: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:pictures) as xs:boolean { $q eq ntn:pictures("ntn:jpg") }; local:is-jpg(validate { <ntn:notation xmlns:ntn="http://www.w3.org/XQueryTest/Cast/Notation" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.w3.org/XQueryTest/Cast/Notation CastExpr/notation.xsd">ntn:jpg</ntn:notation> }) |
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 |
| CastAsNamespaceSensitiveType-8[+]
X CastAsNamespaceSensitiveType-8: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:pictures) as xs:boolean { $q eq ntn:pictures("ntn:jpg") }; local:is-jpg(xs:untypedAtomic("ntn:picture")) |
no result | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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. |
wrongError
Expected error: XPTY0117. Found error: FORG0001 |
| CastAsNamespaceSensitiveType-9[+]
X CastAsNamespaceSensitiveType-9: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:pictures) as xs:boolean { $q eq ntn:pictures("ntn:jpg") }; local:is-jpg(<tag>ntn:picture</tag>) |
no result | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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. |
wrongError
Expected error: XPTY0117. Found error: FORG0001 |
| CastAsNamespaceSensitiveType-10[+]
X CastAsNamespaceSensitiveType-10: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:qnames) as xs:boolean { $q eq ntn:qnames("ntn:jpg") }; local:is-jpg(validate { <ntn:qname xmlns:ntn="http://www.w3.org/XQueryTest/Cast/Notation" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.w3.org/XQueryTest/Cast/Notation CastExpr/notation.xsd">ntn:jpg</ntn:qname> }) |
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 |
| CastAsNamespaceSensitiveType-11[+]
X CastAsNamespaceSensitiveType-11: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:qnames) as xs:boolean { $q eq ntn:qnames("ntn:jpg") }; local:is-jpg(xs:untypedAtomic("ntn:picture")) |
no result | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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 |
| CastAsNamespaceSensitiveType-12[+]
X CastAsNamespaceSensitiveType-12: import schema namespace ntn="http://www.w3.org/XQueryTest/Cast/Notation" at "notation.xsd"; declare function local:is-jpg($q as ntn:qnames) as xs:boolean { $q eq ntn:qnames("ntn:jpg") }; local:is-jpg(<tag>ntn:picture</tag>) |
no result | wrongError
expected: XPTY0117 actualCode: XPTY0004 |
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 |
| K-SeqExprCast-3a[+]
X K-SeqExprCast-3a: 'string' cast as xs:anyType* |
pass | pass | no result | 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 |
| K-SeqExprCast-4a[+]
X K-SeqExprCast-4a: 'string' cast as xs:anySimpleType |
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 |