Change id: annotation-assertions
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| annotation-assertion-1[+]
X annotation-assertion-1: declare namespace eg = "http://example.com"; () instance of %eg:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-2[+]
X annotation-assertion-2: declare namespace eg = "http://example.com"; () instance of %eg:x("foo") function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-3[+]
X annotation-assertion-3: declare namespace eg = "http://example.com"; () instance of %eg:x(1234) function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-4[+]
X annotation-assertion-4: declare namespace eg = "http://example.com"; () instance of %eg:x(12.34) function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-5[+]
X annotation-assertion-5: declare namespace eg = "http://example.com"; () instance of %eg:x(12e34) function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-6[+]
X annotation-assertion-6: declare namespace eg = "http://example.com"; () instance of %eg:x("abc", 12e34, 567) function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-7[+]
X annotation-assertion-7: () instance of %Q{http://example.com}x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-8[+]
X annotation-assertion-8: () instance of %Q{http://example.com}x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-9[+]
X annotation-assertion-9: declare namespace eg = "http://example.com"; () instance of %eg:x %eg:y%eg:z %eg:w(1) function(*) |
pass | pass | n/a
Regex with high repeat count blows heap space |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-10[+]
X annotation-assertion-10: declare namespace eg = "http://example.com"; () instance of %eg:x function(xs:integer) as xs:string |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| annotation-assertion-11[+]
X annotation-assertion-11: () instance of %xml:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-12[+]
X annotation-assertion-12: () instance of %Q{http://www.w3.org/XML/1998/namespace}x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-13[+]
X annotation-assertion-13: () instance of %xs:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-14[+]
X annotation-assertion-14: () instance of %Q{http://www.w3.org/2001/XMLSchema}x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-15[+]
X annotation-assertion-15: () instance of %xsi:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-16[+]
X annotation-assertion-16: () instance of %fn:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-17[+]
X annotation-assertion-17: declare namespace math = "http://www.w3.org/2005/xpath-functions/math"; () instance of %math:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |
| annotation-assertion-18[+]
X annotation-assertion-18: declare namespace opts = "http://www.w3.org/2012/xquery"; () instance of %opts:x function(*) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQST0045. Found error: XPST0003 |