|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-ValidateExpr | 0/83 | 76/82 | 0/0 | 66/66 | 0/0 | 83/83 | 81/83 | 0/0 | 83/83 | 83/83 | 0/0 | 66/66 | 66/66 | 66/66 | 82/83 | 0/15 |
| validateexpr-1[+]
X validateexpr-1: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate {/DataValues/Strings union /DataValues/PositiveNumbers} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-2[+]
X validateexpr-2: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := <Strings><orderData>one string</orderData></Strings> return validate strict {$var} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-3[+]
X validateexpr-3: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := <Strings><orderData>one string</orderData></Strings> return validate lax {$var} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-4[+]
X validateexpr-4: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate {<!-- A Comment Node -->} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-5[+]
X validateexpr-5: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate {<!-- A Comment Node -->} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-6[+]
X validateexpr-6: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate strict {<?format role="output" ?>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-7[+]
X validateexpr-7: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {<?format role="output" ?>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-8[+]
X validateexpr-8: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate strict {text {"A Text Node"}} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-9[+]
X validateexpr-9: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {text {"A Text Node"}} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-10[+]
X validateexpr-10: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := validate strict {exactly-one(/DataValues/Strings)} return fn:count($var/parent::node()) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-11[+]
X validateexpr-11: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := validate lax {exactly-one(/DataValues/Strings)} return fn:count($var/parent::node()) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-12[+]
X validateexpr-12: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := validate strict {<Strings><orderData>A String</orderData></Strings>} return fn:count($var/parent::node()) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-13[+]
X validateexpr-13: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := validate lax {<Strings><orderData>A String</orderData></Strings>} return fn:count($var/parent::node()) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-14[+]
X validateexpr-14: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate strict {if (fn:true()) then <Strings><orderData>A String</orderData></Strings> else <Failed>This test failed</Failed>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-15[+]
X validateexpr-15: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {if (fn:true()) then <Strings><orderData>A String</orderData></Strings> else <Failed>This test failed</Failed>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-16[+]
X validateexpr-16: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {if (fn:false()) then <Failed>This test failed</Failed> else <Strings><orderData>A String</orderData></Strings>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-17[+]
X validateexpr-17: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {if (fn:true() or fn:true()) then <Strings><orderData>A String</orderData></Strings> else <Failed>This test failed</Failed> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-18[+]
X validateexpr-18: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {if (every $x in (1,2,3) satisfies $x < 5) then <Strings><orderData>A String</orderData></Strings> else <Failed>This test failed</Failed> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-19[+]
X validateexpr-19: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {if (some $x in (1,2,3) satisfies $x = 2) then <Strings><orderData>A String</orderData></Strings> else <Failed>This test failed</Failed> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-20[+]
X validateexpr-20: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {typeswitch ("A String") case $i as xs:decimal return <wrap>test failed</wrap> case $i as xs:string return <Strings><orderData>A String</orderData></Strings> default return <Failed>This test failed</Failed> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-21[+]
X validateexpr-21: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; validate lax {let $var := <Strings><orderData>A String</orderData></Strings> return $var } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-23[+]
X validateexpr-23: declare default element namespace "http://www.w3.org/XQueryTestOrderBy"; import schema "http://www.w3.org/XQueryTestOrderBy"; let $var := validate strict { element DataValues1 {element Strings {"data"}}} return $var |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-24[+]
X validateexpr-24: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; let $v := validate { <lu:e>1 1.0e0</lu:e> } let $dv := data($v) return ($dv[1] instance of xs:integer, $dv[2] instance of xs:float) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-25[+]
X validateexpr-25: import schema namespace simple="http://www.w3.org/XQueryTest/simple"; validate strict {<simple:duration>sorry, no duration here</simple:duration>} |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-26[+]
X validateexpr-26: validate { document { <a/>, <b/> } } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-27[+]
X validateexpr-27: import schema namespace t="http://www.example.com/ns/test"; declare variable $input-context := (/); let $doc := validate strict { $input-context } let $anid := id("anid", $doc) return <results> <para1 idcount="{count(id('anid', $doc))}"/> <para2 idcount="{count(id('anid2', $doc))}"/> <para2 idcount="{count(id('34', $doc))}"/> <para3 idcount="{count(id('anid3', $doc))}"/> <para3 idcount="{count(id('anid4 anid5', $doc))}"/> </results> |
no result | fail | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-28[+]
X validateexpr-28: import schema namespace t="http://www.example.com/ns/test/xq-e18"; let $doc := validate strict { document { <doc xmlns="http://www.example.com/ns/test/xq-e18"> <para1>PT3H21M</para1> <para2>P3M</para2> </doc> } } let $p1 := data($doc/t:doc/t:para1) let $p2 := data($doc/t:doc/t:para2) let $t1 := xs:dayTimeDuration("PT3H21M") let $t2 := xs:yearMonthDuration("P3M") return <results> <case1>{if ($p1 = $t1) then "pass" else "fail"}</case1> <case2>{if ($p2 = $t2) then "pass" else "fail"}</case2> </results> |
no result | wrongError
expected: XQST0012 actualCode: XPTY0004 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | wrongError
'Assert-any-of' returned: 'assert-xml' returned: result '<root></root>' is different from the expected result '<root><results><case1>pass</case1><case2>pass</case2></results></root>' Expected error: XQST0012. Found error: XQST0059 |
wrongError
'Assert-any-of' returned: 'assert-xml' returned: result '<root></root>' is different from the expected result '<root><results><case1>pass</case1><case2>pass</case2></results></root>' Expected error: XQST0012. Found error: XQST0059 |
|
| validateexpr-29[+]
X validateexpr-29: import schema namespace ns="http://www.w3.org/XQueryTestOrderBy"; validate { document { <ns:Strings/>, <ns:Strings/> } } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-30[+]
X validateexpr-30: import schema default element namespace "http://www.w3.org/XQueryTestOrderBy"; let $document as document-node(element(Strings)) := document { ( <!--comment-->, <Strings><orderData>one string</orderData></Strings>, <?processing instruction?> ) } let $validated as document-node(schema-element(Strings)) := validate { $document } return count($validated/node()) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-31[+]
X validateexpr-31: import schema default element namespace "http://www.w3.org/XQueryTestOrderBy"; declare function local:numbers($positive) { if ($positive) then <PositiveNumbers><orderData>1</orderData></PositiveNumbers> else <NegativeNumbers><orderData>-1</orderData></NegativeNumbers> }; let $positive as element(orderData, xs:decimal) := (validate { local:numbers(true()) })/orderData let $negative as element(orderData, xs:decimal) := (validate { local:numbers(false()) })/orderData return $positive + $negative |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-32[+]
X validateexpr-32: import schema default element namespace "http://www.w3.org/XQueryTestOrderBy"; declare function local:numbers($positive) { if ($positive) then <PositiveNumbers><orderData>1</orderData></PositiveNumbers> else <NegativeNumbers><orderData>-1</orderData></NegativeNumbers> }; let $positive as element(orderData, xs:decimal) := (validate { document { local:numbers(true()) } })//orderData let $negative as element(orderData, xs:decimal) := (validate { document { local:numbers(false()) } })//orderData return $positive + $negative |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-33[+]
X validateexpr-33: import schema default element namespace "http://www.w3.org/XQueryTestOrderBy"; declare function local:numbers($positive) { if ($positive) then <PositiveNumbers><orderData>1</orderData></PositiveNumbers> else document { <NegativeNumbers><orderData>-1</orderData></NegativeNumbers> } }; let $positive as element(orderData, xs:decimal) := (validate { local:numbers(true()) })//orderData let $negative as element(orderData, xs:decimal) := (validate { local:numbers(false()) })//orderData return $positive + $negative |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-34[+]
X validateexpr-34: validate lax { <a xsi:type='xs:integer'>42</a> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-35[+]
X validateexpr-35: validate lax { <a xsi:type='xs:integer' xmlns:xs="http://www.w3.org/2001/XMLSchema">42</a> } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-36[+]
X validateexpr-36: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate lax { <a xsi:type='udt:NOTATIONBased' xmlns:udt="http://www.w3.org/XQueryTest/userDefinedTypes">udt:value1</a> } ) |
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 | |
| validateexpr-37[+]
X validateexpr-37: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate lax { <a xsi:type='udt:NOTATIONBased' xmlns:udt="http://www.w3.org/XQueryTest/userDefinedTypes">udt:value3</a> } ) |
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 | |
| validateexpr-38[+]
X validateexpr-38: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate type udt:NOTATIONBased { <a xmlns:udt="http://www.w3.org/XQueryTest/userDefinedTypes">udt:value1</a> } ) |
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 | |
| validateexpr-39[+]
X validateexpr-39: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate type udt:NOTATIONBased { <a xmlns:udt="http://www.w3.org/XQueryTest/userDefinedTypes">udt:value3</a> } ) |
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 | |
| validateexpr-40[+]
X validateexpr-40: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate type udt:NOTATIONBased { <a>value1</a> } ) |
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 | |
| validateexpr-41[+]
X validateexpr-41: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate strict { <notatio xmlns="http://www.w3.org/XQueryTest/userDefinedTypes">value1</notatio> } ) |
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 | |
| validateexpr-42[+]
X validateexpr-42: import schema namespace udt = "http://www.w3.org/XQueryTest/userDefinedTypes"; string( validate strict { <notatio xmlns="http://www.w3.org/XQueryTest/userDefinedTypes">value3</notatio> } ) |
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 | |
| K2-ValidateExpression-1[+]
X K2-ValidateExpression-1: validate gt validate |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validate-constraints-1[+]
X validate-constraints-1: import schema namespace constraints = "http://www.w3.org/constraints"; declare variable $test := element test { <constraints:a> <b id="x"/> <b id="y"/> <b id="y"/> </constraints:a> }; validate { $test/*:a } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validate-constraints-2[+]
X validate-constraints-2: import schema namespace constraints = "http://www.w3.org/constraints"; declare variable $test := element test { <constraints:a2> <b2 id="x"/> <b2 id="y"/> <b2/> </constraints:a2> }; validate { $test/*:a2 } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validate-constraints-3[+]
X validate-constraints-3: import schema namespace constraints = "http://www.w3.org/constraints"; declare variable $test := element test { <constraints:a2> <b2 id="x"/> <b2 id="y"/> <b2 id="z"/> <b2ref> <c idref="x"/> <c idref="y"/> <c idref="q"/> </b2ref> </constraints:a2> }; validate { $test/*:a2 } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validate-constraints-4[+]
X validate-constraints-4: import schema namespace constraints = "http://www.w3.org/constraints"; declare variable $test := element test { <constraints:a> <b id="x"/> <b id="y"/> </constraints:a> }; validate { $test/*:a } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validate-sc-1[+]
X validate-sc-1: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:complexExtendsSimple>1</ss:complexExtendsSimple> } let $dv := fn:data($v) return ($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-2[+]
X validateexpr-sc-2: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:emptyMixed>1</ss:emptyMixed> } let $dv := fn:data($v) return fn:not($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-4[+]
X validateexpr-sc-4: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:unionBase>1</ss:unionBase> } let $dv := fn:data($v) return fn:not($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-5[+]
X validateexpr-sc-5: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:unionBase>2</ss:unionBase> } let $dv := fn:data($v) return ($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-6[+]
X validateexpr-sc-6: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:complexExtendsUnion>1</ss:complexExtendsUnion> } let $dv := fn:data($v) return fn:not($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-7[+]
X validateexpr-sc-7: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:complexExtendsUnion>2</ss:complexExtendsUnion> } let $dv := fn:data($v) return ($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-8[+]
X validateexpr-sc-8: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:listBase>1</ss:listBase> } let $dv := fn:data($v) return ($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| validateexpr-sc-9[+]
X validateexpr-sc-9: import schema namespace ss="http://www.w3.org/query-test/complexSimple"; let $v := validate { <ss:complexExtendsList>1</ss:complexExtendsList> } let $dv := fn:data($v) return ($dv instance of xs:integer) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | 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 | |
| cbcl-validateexpr-1[+]
X cbcl-validateexpr-1: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown xsi:type="tc:choice" xmlns:tc="http://www.w3.org/XQueryTest/testcases"> {element a {element z {"12.345"}}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-2[+]
X cbcl-validateexpr-2: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown xsi:type="choice"> {element a {"12.345"}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-3[+]
X cbcl-validateexpr-3: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown xsi:type="tc:choice" xmlns:tc="http://www.w3.org/XQueryTest/testcases"> {element z {"12.345"}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-4[+]
X cbcl-validateexpr-4: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown> {element z {"12.345"}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-5[+]
X cbcl-validateexpr-5: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate strict { <Unknown xsi:type="tc:choice" xmlns:tc="http://www.w3.org/XQueryTest/testcases"> {element a {element z {"12.345"}}}</Unknown>} return $var |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-6[+]
X cbcl-validateexpr-6: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate strict { <Unknown xsi:type="tc:choice" xmlns:tc="http://www.w3.org/XQueryTest/testcases"> {element a {"12.345"}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-7[+]
X cbcl-validateexpr-7: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate strict { <Unknown xsi:type="tc:choice" xmlns:tc="http://www.w3.org/XQueryTest/testcases"> {element z {"12.345"}}</Unknown>} return $var |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-8[+]
X cbcl-validateexpr-8: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate strict { <Unknown> {element z {"12.345"}}</Unknown>} return $var |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-9[+]
X cbcl-validateexpr-9: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown> {element a {element z {"12.345"}}}</Unknown>} return $var |
no result | disputed | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-10[+]
X cbcl-validateexpr-10: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; let $var := validate strict { <Unknown> {element a {element z {"12.345"}}}</Unknown>} return $var |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-11[+]
X cbcl-validateexpr-11: validate { document { (<e/>, "text") } } |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0061 |
wrongError
Expected error:XQDY0084, got err:XQDY0027 |
n/a
notXP20 |
wrongError
Expected error:XQDY0084, got err:XQDY0027 |
n/a
notXP30 |
wrongError
Expected error:XQDY0084, got err:XQDY0027 |
n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-12[+]
X cbcl-validateexpr-12: validate{ document { "text" } } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | wrongError
Expected error: XQDY0061. Found error: ZXQP0003 |
wrongError
Expected error: XQDY0061. Found error: ZXQP0003 |
|
| cbcl-validateexpr-13[+]
X cbcl-validateexpr-13: validate lax { document { (<a/>, <b/>) } } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-14[+]
X cbcl-validateexpr-14: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; declare namespace tc="http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown> {element z {"12.345"}}</Unknown>} return count($var/element(*, xs:decimal)) |
no result | fail | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-15[+]
X cbcl-validateexpr-15: import schema namespace cd="http://www.cbcl.co.uk/XQueryTest/complexData"; declare function local:f($x) as element(cd:complexTypeWithSimpleContent, cd:shortString)* { $x//cd:complexTypeWithSimpleContent }; let $x := validate strict {/} return (count(local:f($x)/@value)) |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-16[+]
X cbcl-validateexpr-16: import schema namespace tc="http://www.w3.org/XQueryTest/testcases"; validate { attribute { xs:QName("tc:a") } { "value" } } |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-validateexpr-17[+]
X cbcl-validateexpr-17: declare default element namespace "http://www.w3.org/XQueryTest/testcases"; import schema "http://www.w3.org/XQueryTest/testcases"; declare namespace tc="http://www.w3.org/XQueryTest/testcases"; let $var := validate lax { <Unknown xsi:type="tc:choice"> {element a {"foo"}}</Unknown>} return $var |
no result | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |