Change id: validate-by-type
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| K2-SeqDeepEqualFunc-36[+]
X K2-SeqDeepEqualFunc-36: deep-equal(validate type xs:integer {<e>2012</e>}, validate type xs:gYear{<e>2012</e>}) |
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 |
| K2-SeqDeepEqualFunc-37[+]
X K2-SeqDeepEqualFunc-37: deep-equal(validate type xs:integer {<e>2012</e>}, validate type xs:decimal{<e>2012</e>}) |
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 |
| FunctionCall-003[+]
X FunctionCall-003: xs:integer(validate type xs:decimal {<a>93.7</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 |
| FunctionCall-005[+]
X FunctionCall-005: declare function local:f($in as xs:anyAtomicType) as xs:boolean { $in instance of xs:decimal }; local:f(validate type xs:integer {<a>12</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 |
| validate-as-101[+]
X validate-as-101: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:hatsize { <hut>8</hut> } |
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 |
| validate-as-102[+]
X validate-as-102: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); declare function local:run() as element(hat:hat, hat:hatsize) { validate type hat:hatsize { <hat:hat>8</hat:hat> } }; local:run() |
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 |
| validate-as-103[+]
X validate-as-103: import schema namespace hat = "http://www.w3.org/XQueryTest/hats" at "../../../TestSources/hats.xsd"; declare function local:run() as attribute(size, hat:hatsize) { validate type hat:hatsize { attribute size {8} } }; <e>{local:run()}</e> |
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 |
| validate-as-104[+]
X validate-as-104: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); declare variable $in := <hat>8</hat>; declare function local:run() as element(hat, hat:hatsize) { validate type hat:hatsize { $in } }; local:run() |
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 |
| validate-as-105[+]
X validate-as-105: declare namespace other="http://ns.other.com/"; import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); declare variable $in := <hat>8</hat>; declare function local:run() as element(hat, hat:hatsize) { (#other:validate (hat:hatsize)#) { validate type hat:hatsize { $in }} }; local:run() |
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 |
| validate-as-106[+]
X validate-as-106: declare namespace other="http://ns.other.com/"; import schema namespace hat = "http://www.w3.org/XQueryTest/hats"; declare variable $in := <hat>8</hat>; declare function local:run() as element(hat, hat:hatsize) { validate type hat:hatsize { validate type xs:integer { $in } } }; local:run() |
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 |
| validate-as-91011[+]
X validate-as-91011: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:brimsize { <hat>8</hat> } |
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. |
wrongError
Expected error: XQST0104. Found error: XQDY0027 |
| validate-as-91012[+]
X validate-as-91012: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:hatsize hat:brimsize { <hat>8</hat> } |
no result | 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 |
| validate-as-91013[+]
X validate-as-91013: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:hatsize(12) { <hat>8</hat> } |
no result | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | pass | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
| validate-as-91014[+]
X validate-as-91014: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:hatsize { 8, <hat>8</hat> } |
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 |
| validate-as-91015[+]
X validate-as-91015: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type boot:hatsize { <hat>8</hat> } |
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. |
wrongError
Expected error: XPST0081. Found error: XQDY0027 |
| validate-as-91016[+]
X validate-as-91016: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate type hat:hatsize { <hat>banana</hat> } |
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 |
| validate-as-91017[+]
X validate-as-91017: import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(: at "qischema001.xsd" :); validate as hat:hatsize { <hut>8</hut> } |
no result | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass |