|
| Implementations | |||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|
| prod-ConstructionDecl | 26/26 | 0/0 | 26/26 | 0/0 | 26/26 | 26/0 | 0/6 |
| constprolog-1[+]
X constprolog-1: Created on: 2005-11-30 Spec Dependencies: spec = XQ10+ Test: declare construction strip; declare construction strip; "abc" |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-2[+]
X constprolog-2: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:untyped) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-3[+]
X constprolog-3: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:untyped) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-4[+]
X constprolog-4: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction preserve; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:anyType) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-5[+]
X constprolog-5: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:anyType) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-6[+]
X constprolog-6: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; let $anElement := <anElement>some content</anElement> return $anElement instance of element(*,xs:anyType) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-7[+]
X constprolog-7: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element anElement {"someContent"} return $anElement instance of element(*,xs:anyType) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-8[+]
X constprolog-8: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; let $anElement := <someElement>some content</someElement> return fn:not($anElement instance of element(*,xs:untyped)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-9[+]
X constprolog-9: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element someElement{"some content"} return fn:not($anElement instance of element(*,xs:untyped)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-10[+]
X constprolog-10: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction preserve; let $anElement := <someElement>some content</someElement> return fn:not($anElement instance of element(*,xs:anyType)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-11[+]
X constprolog-11: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction preserve; let $anElement := element someElement{"some content"} return fn:not($anElement instance of element(*,xs:anyType)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-12[+]
X constprolog-12: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; fn:not(<someElement>some content</someElement> instance of element(*,xs:untyped)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-13[+]
X constprolog-13: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction preserve; fn:not(element someElement{"some content"} instance of element(*,xs:anyType)) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-14[+]
X constprolog-14: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; let $var := <anElement>Some content</anElement> return ($var instance of element(*,xs:untyped)) and fn:true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-15[+]
X constprolog-15: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:untyped)) and fn:true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-16[+]
X constprolog-16: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction preserve; let $anElement := <someElement>content</someElement> return ($anElement instance of element(*,xs:anyType)) and fn:true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-17[+]
X constprolog-17: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction preserve; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:anyType)) and fn:true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-18[+]
X constprolog-18: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction strip; let $var := <anElement>Some content</anElement> return ($var instance of element(*,xs:untyped)) or fn:false() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-19[+]
X constprolog-19: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction strip; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:untyped)) or fn:false() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-20[+]
X constprolog-20: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: declare construction preserve; let $anElement := <someElement>content</someElement> return ($anElement instance of element(*,xs:anyType)) or fn:false() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| constprolog-21[+]
X constprolog-21: Created on: 2006-01-27 Spec Dependencies: spec = XQ10+ Test: declare construction preserve; let $anElement := element someElement{"some content"} return ($anElement instance of element(*,xs:anyType)) or fn:false() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ConstructionProlog-1[+]
X K-ConstructionProlog-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (::)declare(::)construction(::)preserve(::);(::)1(::)eq(::)1(::) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ConstructionProlog-2[+]
X K-ConstructionProlog-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare(::)construction(::)Preserve;(::)1(::)eq(::)1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ConstructionProlog-3[+]
X K-ConstructionProlog-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare(::)construction(::)strip;(::)1(::)eq(::)1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-ConstructionProlog-4[+]
X K-ConstructionProlog-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare(::)construction(::)strip; declare(::)construction(::)strip;1(::)eq(::)1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-ConstructionProlog-1[+]
X K2-ConstructionProlog-1: Created on: 2008-01-03 Spec Dependencies: spec = XQ10+ Test: construction gt construction |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |