Change id: validation-notation
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 |