|
| 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) |
|
|---|---|---|---|---|---|---|---|
| app-UseCaseSEQ | 5/5 | 1/1 | 5/5 | 1/1 | 5/5 | 5/1 | 0/6 |
| seq-queries-results-q1[+]
X seq-queries-results-q1: Created on: 2005-02-03 Spec Dependencies: Test: for $s in //section[section.title = "Procedure"] return ($s//incision)[2]/instrument |
pass | pass | pass | pass | pass | pass | |
| seq-queries-results-q2[+]
X seq-queries-results-q2: Created on: 2005-02-03 Spec Dependencies: spec = XQ10+ Test: for $s in //section[section.title = "Procedure"] return ($s//instrument)[position()<=2] |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| seq-queries-results-q3[+]
X seq-queries-results-q3: Created on: 2005-02-03 Spec Dependencies: spec = XQ10+ Test: let $i2 := (//incision)[2] for $a in (//action)[. >> $i2][position()<=2] return $a//instrument |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| seq-queries-results-q4[+]
X seq-queries-results-q4: Created on: 2005-02-03 Spec Dependencies: spec = XQ10+ Test: for $p in //section[section.title = "Procedure"] where not(some $a in $p//anesthesia satisfies $a << ($p//incision)[1] ) return $p |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| seq-queries-results-q5[+]
X seq-queries-results-q5: Created on: 2005-02-03 Spec Dependencies: spec = XQ10+ Test: <critical_sequence> { let $proc := //section[section.title="Procedure"][1], $i1 := ($proc//incision)[1], $i2 := ($proc//incision)[2] for $n in $proc//node() except $i1//node() where $n >> $i1 and $n << $i2 return $n } </critical_sequence> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |