|
| 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-ConstructionDecl | 26/26 | 26/26 | 0/0 | 26/26 | 0/0 | 26/26 | 25/26 | 0/0 | 26/26 | 26/26 | 0/0 | 26/26 | 26/26 | 26/26 | 26/26 | 2/15 |
| constprolog-1[+]
X constprolog-1: declare construction strip; declare construction strip; "abc" |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-2[+]
X constprolog-2: declare construction strip; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:untyped) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-3[+]
X constprolog-3: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:untyped) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-4[+]
X constprolog-4: declare construction preserve; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:anyType) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-5[+]
X constprolog-5: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:anyType) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-6[+]
X constprolog-6: declare construction strip; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:anyType) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-7[+]
X constprolog-7: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:anyType) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-8[+]
X constprolog-8: declare construction strip; let $anElement := <someElement>some content</someElement> return fn:not($anElement instance of element(*,xs:untyped)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-9[+]
X constprolog-9: declare construction strip; let $anElement := element someElement{"some content"} return fn:not($anElement instance of element(*,xs:untyped)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-10[+]
X constprolog-10: declare construction preserve; let $anElement := <someElement>some content</someElement> return fn:not($anElement instance of element(*,xs:anyType)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-11[+]
X constprolog-11: declare construction preserve; let $anElement := element someElement{"some content"} return fn:not($anElement instance of element(*,xs:anyType)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-12[+]
X constprolog-12: declare construction strip; fn:not(<someElement>some content</someElement> instance of element(*,xs:untyped)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-13[+]
X constprolog-13: declare construction preserve; fn:not(element someElement{"some content"} instance of element(*,xs:anyType)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-14[+]
X constprolog-14: declare construction strip; let $var := <anElement>Some content</anElement> return ($var instance of element(*,xs:untyped)) and fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-15[+]
X constprolog-15: declare construction strip; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:untyped)) and fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-16[+]
X constprolog-16: declare construction preserve; let $anElement := <someElement>content</someElement> return ($anElement instance of element(*,xs:anyType)) and fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-17[+]
X constprolog-17: declare construction preserve; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:anyType)) and fn:true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-18[+]
X constprolog-18: declare construction strip; let $var := <anElement>Some content</anElement> return ($var instance of element(*,xs:untyped)) or fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-19[+]
X constprolog-19: declare construction strip; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:untyped)) or fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-20[+]
X constprolog-20: declare construction preserve; let $anElement := <someElement>content</someElement> return ($anElement instance of element(*,xs:anyType)) or fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| constprolog-21[+]
X constprolog-21: declare construction preserve; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:anyType)) or fn:false() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ConstructionProlog-1[+]
X K-ConstructionProlog-1: (::)declare(::)construction(::)preserve(::);(::)1(::)eq(::)1(::) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ConstructionProlog-2[+]
X K-ConstructionProlog-2: declare(::)construction(::)Preserve;(::)1(::)eq(::)1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ConstructionProlog-3[+]
X K-ConstructionProlog-3: declare(::)construction(::)strip;(::)1(::)eq(::)1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-ConstructionProlog-4[+]
X K-ConstructionProlog-4: declare(::)construction(::)strip; declare(::)construction(::)strip;1(::)eq(::)1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-ConstructionProlog-1[+]
X K2-ConstructionProlog-1: construction gt construction |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |