Change id: substitution-groups
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| substitution-001[+]
X substitution-001: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <H xmlns="http://www.w3.org/XQueryTest/substitution"> <string>s</string> <decimal>93.7</decimal> </H> }; $in instance of schema-element(s:H) |
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 |
| substitution-002[+]
X substitution-002: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <H xmlns="http://www.w3.org/XQueryTest/substitution" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:nil="true"/> }; $in instance of schema-element(s:H) |
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 |
| substitution-003[+]
X substitution-003: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <A/> </cuckoo> }; $in/s:A instance of schema-element(s:H) |
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 |
| substitution-004[+]
X substitution-004: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <B/> </cuckoo> }; $in/s:B instance of schema-element(s:H) |
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 |
| substitution-005[+]
X substitution-005: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <C/> </cuckoo> }; $in/s:C instance of schema-element(s:H) |
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 |
| substitution-006[+]
X substitution-006: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <C xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"/> </cuckoo> }; $in/s:C instance of schema-element(s:H) |
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 |
| substitution-007[+]
X substitution-007: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <D/> </cuckoo> }; $in/s:D instance of schema-element(s:H) |
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 |
| substitution-008[+]
X substitution-008: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <E/> </cuckoo> }; $in/s:E instance of schema-element(s:H) |
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 |
| substitution-009[+]
X substitution-009: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <F><string>s</string><decimal>12.7</decimal></F> </cuckoo> }; $in/s:F instance of schema-element(s:H) |
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 |
| substitution-010[+]
X substitution-010: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <G><string>s</string><decimal>12.7</decimal><date>2012-10-10</date></G> </cuckoo> }; $in/s:G instance of schema-element(s:H) |
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 |
| substitution-011[+]
X substitution-011: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution"> <E/> </cuckoo> }; $in/s:E instance of schema-element(s:D) |
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 |
| substitution-020[+]
X substitution-020: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <A/> </cuckoo> }; $in/s:A instance of schema-element(s:H1) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-021[+]
X substitution-021: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <A/> </cuckoo> }; $in/s:A instance of schema-element(s:H2) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-022[+]
X substitution-022: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <B/> </cuckoo> }; $in/s:B instance of schema-element(s:H1) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-023[+]
X substitution-023: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <B/> </cuckoo> }; $in/s:B instance of schema-element(s:H2) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-024[+]
X substitution-024: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <C xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"/> </cuckoo> }; $in/s:C instance of schema-element(s:H1) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-025[+]
X substitution-025: import schema namespace s="http://www.w3.org/XQueryTest/substitution11"; declare variable $in := validate strict { <cuckoo xmlns="http://www.w3.org/XQueryTest/substitution11"> <C xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"/> </cuckoo> }; $in/s:C instance of schema-element(s:H2) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| substitution-030[+]
X substitution-030: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare function local:f($p as schema-element(s:H)) as xs:integer {3}; local:f#1 instance of function(schema-element(s:A)) as xs:integer |
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 |
| substitution-031[+]
X substitution-031: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare function local:f($p as schema-element(s:D)) as xs:integer {3}; local:f#1 instance of function(schema-element(s:E)) as xs:integer |
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 |
| substitution-032[+]
X substitution-032: import schema namespace s="http://www.w3.org/XQueryTest/substitution"; declare function local:f($p as schema-element(s:H)) as xs:integer {3}; local:f#1 instance of function(schema-element(s:G)) as xs:integer |
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 |