|
| 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-QuantifiedExpr | 203/203 | 161/161 | 203/203 | 161/161 | 203/203 | 203/161 | 0/6 |
| quantExpr-1[+]
X quantExpr-1: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x + $x = 3 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-2[+]
X quantExpr-2: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x + $x = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-3[+]
X quantExpr-3: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x - 2 = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-4[+]
X quantExpr-4: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x - 2 = 0 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-5[+]
X quantExpr-5: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x * 2 = 4 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-6[+]
X quantExpr-6: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x div 2 = 1 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-7[+]
X quantExpr-7: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x idiv 2 = 1 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-8[+]
X quantExpr-8: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:avg(($x, 1)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-9[+]
X quantExpr-9: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:string($x) = "1" |
pass | pass | pass | pass | pass | pass | |
| quantExpr-10[+]
X quantExpr-10: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:string-length(xs:string($x)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-11[+]
X quantExpr-11: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:count(($x)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-12[+]
X quantExpr-12: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:true() |
pass | pass | pass | pass | pass | pass | |
| quantExpr-13[+]
X quantExpr-13: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:false() |
pass | pass | pass | pass | pass | pass | |
| quantExpr-14[+]
X quantExpr-14: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:not($x) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-15[+]
X quantExpr-15: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies $x = 1 or $x = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-16[+]
X quantExpr-16: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1, 2) satisfies $x = 1 and ($x +1) = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-17[+]
X quantExpr-17: Created on: 2005-08-19 Spec Dependencies: Test: some $x in ("A","B","C") satisfies $x = "A" |
pass | pass | pass | pass | pass | pass | |
| quantExpr-18[+]
X quantExpr-18: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies $x + $y = 5 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-19[+]
X quantexpr-19: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies $x - $y = 5 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-20[+]
X quantExpr-20: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies $x * $y = 10 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-21[+]
X quantExpr-21: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies $x div $y = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-22[+]
X quantExpr-22: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies $x idiv $y = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-23[+]
X quantExpr-23: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies fn:string($x) = fn:string($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-24[+]
X quantExpr-24: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies xs:integer($x) = xs:integer($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-25[+]
X quantExpr-25: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies xs:decimal($x) = xs:decimal($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-26[+]
X quantExpr-26: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies xs:float($x) = xs:float($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-27[+]
X quantExpr-27: Created on: 2005-08-19 Spec Dependencies: Test: some $x in (1,2,3), $y in (4,5,6) satisfies xs:double($x) = xs:double($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-28[+]
X quantExpr-28: Created on: 2005-08-19 Spec Dependencies: Test: some $x in ("true", "false"), $y in ("false","true") satisfies xs:boolean($x) = xs:boolean($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-29[+]
X quantExpr-29: Created on: 2005-08-22 Spec Dependencies: Test: some $x in ("1980-05-05T13:13:13Z", "1980-05-05T13:13:13Z"), $y in ("1980-05-05T13:13:13Z","1980-05-05T13:13:13Z") satisfies xs:dateTime($x) = xs:dateTime($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-30[+]
X quantExpr-30: Created on: 2005-08-22 Spec Dependencies: Test: some $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-31[+]
X quantexpr-31: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x + $x = 3 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-32[+]
X quantexpr-32: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 1) satisfies $x + $x = 2 |
pass | pass | pass | pass | pass | pass | |
| quantExpr-33[+]
X quantExpr-33: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x - 2 = 2 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-34[+]
X quantexpr-34: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (2, 2) satisfies $x - 2 = 0 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-35[+]
X quantexpr-35: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x * 2 = 4 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-36[+]
X quantexpr-36: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x div 2 = 1 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-37[+]
X quantexpr-37: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x idiv 2 = 1 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-38[+]
X quantexpr-38: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:avg(($x, 1)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-39[+]
X quantexpr-39: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:string($x) = "1" |
pass | pass | pass | pass | pass | pass | |
| quantexpr-40[+]
X quantexpr-40: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:string-length(xs:string($x)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-41[+]
X quantexpr-41: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:count(($x)) = 1 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-42[+]
X quantexpr-42: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:true() |
pass | pass | pass | pass | pass | pass | |
| quantexpr-43[+]
X quantexpr-43: Created on: 2005-08-18 Spec Dependencies: Test: some $x in (1, 2) satisfies fn:false() |
pass | pass | pass | pass | pass | pass | |
| quantexpr-44[+]
X quantexpr-44: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies fn:not($x) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-45[+]
X quantexpr-45: Created on: 2005-08-18 Spec Dependencies: Test: every $x in (1, 2) satisfies $x = 1 or $x = 2 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-46[+]
X quantexpr-46: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1, 2) satisfies $x = 1 and ($x +1) = 2 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-47[+]
X quantexpr-47: Created on: 2005-08-19 Spec Dependencies: Test: every $x in ("A","B","C") satisfies $x = "A" |
pass | pass | pass | pass | pass | pass | |
| quantexpr-48[+]
X quantexpr-48: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies $x + $y = 5 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-49[+]
X quantexpr-49: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies $x - $y = 5 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-50[+]
X quantexpr-50: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies $x * $y = 10 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-51[+]
X quantexpr-51: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies $x div $y = 2 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-52[+]
X quantexpr-52: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies $x idiv $y = 2 |
pass | pass | pass | pass | pass | pass | |
| quantexpr-53[+]
X quantexpr-53: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies fn:string($x) = fn:string($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-54[+]
X quantexpr-54: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies xs:integer($x) = xs:integer($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-55[+]
X quantexpr-55: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies xs:decimal($x) = xs:decimal($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-56[+]
X quantexpr-56: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies xs:float($x) = xs:float($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-57[+]
X quantexpr-57: Created on: 2005-08-19 Spec Dependencies: Test: every $x in (1,2,3), $y in (4,5,6) satisfies xs:double($x) = xs:double($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-58[+]
X quantexpr-58: Created on: 2005-08-19 Spec Dependencies: Test: every $x in ("true", "false"), $y in ("false","true") satisfies xs:boolean($x) = xs:boolean($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-59[+]
X quantexpr-59: Created on: 2005-08-22 Spec Dependencies: Test: every $x in ("1980-05-05T13:13:13Z", "1980-05-05T13:13:13Z"), $y in ("1980-05-05T13:13:13Z","1980-05-05T13:13:13Z") satisfies xs:dateTime($x) = xs:dateTime($y) |
pass | pass | pass | pass | pass | pass | |
| quantExpr-60[+]
X quantExpr-60: Created on: 2005-08-22 Spec Dependencies: Test: every $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y) |
pass | pass | pass | pass | pass | pass | |
| quantexpr-61[+]
X quantexpr-61: Created on: 2006-05-23 Spec Dependencies: spec = XQ10+ Test: some $x as xs:integer in (1, 2, 3) , $y as xs:integer in (2, 3, 4) satisfies $x + $y = 4 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-62[+]
X quantexpr-62: Created on: 2006-05-23 Spec Dependencies: spec = XQ10+ Test: some $x as xs:string in ("cat","dog","rat") satisfies fn:string-length($x) = 3 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-63[+]
X quantexpr-63: Created on: 2006-05-23 Spec Dependencies: spec = XQ10+ Test: every $x as xs:string in ("cat","dog","rat") satisfies fn:string-length($x) = 3 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-64[+]
X quantexpr-64: Created on: 2006-05-23 Spec Dependencies: spec = XQ10+ Test: every $x as xs:string in ("cat","dog","rat"), $y as xs:integer in (3, 3, 3) satisfies fn:string-length($x) = $y |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-65[+]
X quantexpr-65: Created on: 2006-05-23 Spec Dependencies: spec = XQ10+ Test: some $x as xs:integer in (1, 2, 3), $y as xs:float in (xs:float(2), xs:float(3)) satisfies $x + $y = 5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-66[+]
X quantexpr-66: Created on: 2015-09-02 Spec Dependencies: spec = XQ30+ Test: declare function local:f($x, $y) { let $a := $x where empty($y) (every $i in $x satisfies $i = $y) return $a }; local:f("x", ()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-67[+]
X quantexpr-67: Created on: 2015-09-02 Spec Dependencies: spec = XQ10+ Test: declare function local:f($x, $y) { let $a := $x where (every $i in $x satisfies $i = $y) or empty($y) return $a }; local:f("x", ()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| quantexpr-68[+]
X quantexpr-68: Created on: 2015-09-02 Spec Dependencies: spec = XQ10+ Test: declare function local:f($x, $y) { let $a := $x where (every $i in $x satisfies $i = $y) or empty($y) return true() }; local:f((current-date(), current-date(), current-date()), (current-date())) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWithout-1[+]
X K-QuantExprWithout-1: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies QName("example.com/", "ncname") |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-2[+]
X K-QuantExprWithout-2: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies QName("example.com/", "ncname") |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-3[+]
X K-QuantExprWithout-3: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies $foo eq "1" |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-4[+]
X K-QuantExprWithout-4: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies $foo eq "1" |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-5[+]
X K-QuantExprWithout-5: Created on: 2007-11-26 Spec Dependencies: Test: some $i in (0, 2, 3) satisfies count($i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-6[+]
X K-QuantExprWithout-6: Created on: 2007-11-26 Spec Dependencies: Test: every $i in (1, 2, 3) satisfies count($i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-7[+]
X K-QuantExprWithout-7: Created on: 2007-11-26 Spec Dependencies: Test: some $i in subsequence((0, 1, 2, current-time()), 1, 3) satisfies boolean($i treat as xs:integer) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-8[+]
X K-QuantExprWithout-8: Created on: 2007-11-26 Spec Dependencies: Test: every $i in subsequence((1, 2, 3, current-time()), 1, 3) satisfies boolean($i treat as xs:integer) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-9[+]
X K-QuantExprWithout-9: Created on: 2007-11-26 Spec Dependencies: Test: every $i in () satisfies $i |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-10[+]
X K-QuantExprWithout-10: Created on: 2007-11-26 Spec Dependencies: Test: not(some $i in () satisfies $i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-11[+]
X K-QuantExprWithout-11: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies true() |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-12[+]
X K-QuantExprWithout-12: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies true() |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-13[+]
X K-QuantExprWithout-13: Created on: 2007-11-26 Spec Dependencies: Test: not(some $foo in 1 satisfies false()) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-14[+]
X K-QuantExprWithout-14: Created on: 2007-11-26 Spec Dependencies: Test: not(every $foo in 1 satisfies false()) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-15[+]
X K-QuantExprWithout-15: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-16[+]
X K-QuantExprWithout-16: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-17[+]
X K-QuantExprWithout-17: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies "a string" |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-18[+]
X K-QuantExprWithout-18: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies "a string" |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-19[+]
X K-QuantExprWithout-19: Created on: 2007-11-26 Spec Dependencies: Test: every $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-20[+]
X K-QuantExprWithout-20: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (true(), false(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-21[+]
X K-QuantExprWithout-21: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (false(), true(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-22[+]
X K-QuantExprWithout-22: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (true(), true(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-23[+]
X K-QuantExprWithout-23: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-24[+]
X K-QuantExprWithout-24: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-25[+]
X K-QuantExprWithout-25: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (false(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-26[+]
X K-QuantExprWithout-26: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), true(), false()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-27[+]
X K-QuantExprWithout-27: Created on: 2007-11-26 Spec Dependencies: Test: not(some $var in (false(), false(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-28[+]
X K-QuantExprWithout-28: Created on: 2007-11-26 Spec Dependencies: Test: every $var in (xs:hexBinary("FF"), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-29[+]
X K-QuantExprWithout-29: Created on: 2007-11-26 Spec Dependencies: Test: every $var in (true(), xs:hexBinary("FF"), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-30[+]
X K-QuantExprWithout-30: Created on: 2007-11-26 Spec Dependencies: Test: every $var in (true(), true(), xs:hexBinary("FF")) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-31[+]
X K-QuantExprWithout-31: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (xs:hexBinary("FF"), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-32[+]
X K-QuantExprWithout-32: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (false(), xs:hexBinary("FF"), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-33[+]
X K-QuantExprWithout-33: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), true(), xs:hexBinary("FF")) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-34[+]
X K-QuantExprWithout-34: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (false(), true(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-35[+]
X K-QuantExprWithout-35: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (true(), false(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-36[+]
X K-QuantExprWithout-36: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (true(), true(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-37[+]
X K-QuantExprWithout-37: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-38[+]
X K-QuantExprWithout-38: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-39[+]
X K-QuantExprWithout-39: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (false(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-40[+]
X K-QuantExprWithout-40: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (true(), true(), false()) satisfies $var |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-41[+]
X K-QuantExprWithout-41: Created on: 2007-11-26 Spec Dependencies: Test: not(some $var in (false(), false(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-42[+]
X K-QuantExprWithout-42: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare variable $i := false(); some $i in (true(), true(), true()) satisfies $i |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWithout-43[+]
X K-QuantExprWithout-43: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare variable $i := false(); declare variable $t := false(); some $i in (true(), true()), $t in (true(), true()) satisfies $i eq $t |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWithout-44[+]
X K-QuantExprWithout-44: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare variable $i := false(); declare variable $t := false(); some $i in (true(), true()), $t in (true(), true()) satisfies ($i eq $t) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWithout-45[+]
X K-QuantExprWithout-45: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare variable $i := false(); every $i in (true(), true()) satisfies $i |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWithout-46[+]
X K-QuantExprWithout-46: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (1, 2, 3) satisfies $var eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-47[+]
X K-QuantExprWithout-47: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (1, 2, 3) satisfies $var eq 3) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-48[+]
X K-QuantExprWithout-48: Created on: 2007-11-26 Spec Dependencies: Test: every $var in (1, 2, 3) satisfies $var eq 1 or $var eq 2 or $var eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-49[+]
X K-QuantExprWithout-49: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (1, 2, 3) satisfies $var eq 1 or $var eq 2 or $var eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-50[+]
X K-QuantExprWithout-50: Created on: 2007-11-26 Spec Dependencies: Test: some $aaa in (1, 2, 3), $bbb in (3, 2, 1) satisfies $aaa + $bbb eq 4 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-51[+]
X K-QuantExprWithout-51: Created on: 2007-11-26 Spec Dependencies: Test: every $aaa in (3, 3, 3), $bbb in (3, 3, 3) satisfies $aaa + $bbb eq 6 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-52[+]
X K-QuantExprWithout-52: Created on: 2007-11-26 Spec Dependencies: Test: not(every $var in (1, 2, 3) satisfies $var eq 3) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-53[+]
X K-QuantExprWithout-53: Created on: 2007-11-26 Spec Dependencies: Test: some $var in (1, 2, 3) satisfies $var eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-54[+]
X K-QuantExprWithout-54: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (some $a in 1 satisfies $a) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-55[+]
X K-QuantExprWithout-55: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (every $a in 1 satisfies $a) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-56[+]
X K-QuantExprWithout-56: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (some $fn:name in (1, 2) satisfies $fn:name) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-57[+]
X K-QuantExprWithout-57: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (some $xs:name in (1, 2) satisfies $xs:name) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-58[+]
X K-QuantExprWithout-58: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (every $fn:name in (1, 2) satisfies $fn:name) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-59[+]
X K-QuantExprWithout-59: Created on: 2007-11-26 Spec Dependencies: Test: true() eq (every $xs:name in (1, 2) satisfies $xs:name) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-60[+]
X K-QuantExprWithout-60: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies $NOTEXIST |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-61[+]
X K-QuantExprWithout-61: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies $NOTEXIST |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-62[+]
X K-QuantExprWithout-62: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in (1, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-63[+]
X K-QuantExprWithout-63: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in (1, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-64[+]
X K-QuantExprWithout-64: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies $bar + (some $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-65[+]
X K-QuantExprWithout-65: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies $bar + (some $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-66[+]
X K-QuantExprWithout-66: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in 1 satisfies $bar + (every $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-67[+]
X K-QuantExprWithout-67: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in 1 satisfies $bar + (every $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-68[+]
X K-QuantExprWithout-68: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $a |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-69[+]
X K-QuantExprWithout-69: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-70[+]
X K-QuantExprWithout-70: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $c |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-71[+]
X K-QuantExprWithout-71: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $a |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-72[+]
X K-QuantExprWithout-72: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-73[+]
X K-QuantExprWithout-73: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $c |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-74[+]
X K-QuantExprWithout-74: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in (1, $2) return 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-75[+]
X K-QuantExprWithout-75: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in (1, $2) return 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-76[+]
X K-QuantExprWithout-76: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in (1, 2, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-77[+]
X K-QuantExprWithout-77: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in (1, $foo, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-78[+]
X K-QuantExprWithout-78: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in ($foo, 2, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-79[+]
X K-QuantExprWithout-79: Created on: 2007-11-26 Spec Dependencies: Test: some $foo in $foo satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-80[+]
X K-QuantExprWithout-80: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in (1, 2, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-81[+]
X K-QuantExprWithout-81: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in (1, $foo, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-82[+]
X K-QuantExprWithout-82: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in ($foo, 2, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-83[+]
X K-QuantExprWithout-83: Created on: 2007-11-26 Spec Dependencies: Test: every $foo in $foo satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-84[+]
X K-QuantExprWithout-84: Created on: 2007-11-26 Spec Dependencies: Test: every $a in 1, $b in $b satisfies 1 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-85[+]
X K-QuantExprWithout-85: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2, 3), $b in (1, 2, 3, $b) satisfies $a eq $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-86[+]
X K-QuantExprWithout-86: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2, 3), $b in (1, 2, 3, $b) satisfies ($a eq $b) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-87[+]
X K-QuantExprWithout-87: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2), $b in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-88[+]
X K-QuantExprWithout-88: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2), $b in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-89[+]
X K-QuantExprWithout-89: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2, 3), $b in ($a, 4) satisfies $b gt 0 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-90[+]
X K-QuantExprWithout-90: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2, 3), $b in ($a, 4) satisfies $b gt 0 |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-91[+]
X K-QuantExprWithout-91: Created on: 2007-11-26 Spec Dependencies: Test: every $a in (1, 2), $b in $a satisfies $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-92[+]
X K-QuantExprWithout-92: Created on: 2007-11-26 Spec Dependencies: Test: some $a in (1, 2), $b in $a satisfies $b |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-93[+]
X K-QuantExprWithout-93: Created on: 2007-11-26 Spec Dependencies: Test: deep-equal((for $a in 1, $b in $a, $c in $a, $d in $c return ($a, $b, $c, $d)), (1, 1, 1, 1)) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-94[+]
X K-QuantExprWithout-94: Created on: 2007-11-26 Spec Dependencies: Test: every $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-95[+]
X K-QuantExprWithout-95: Created on: 2007-11-26 Spec Dependencies: Test: some $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-96[+]
X K-QuantExprWithout-96: Created on: 2007-11-26 Spec Dependencies: Test: every $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-97[+]
X K-QuantExprWithout-97: Created on: 2007-11-26 Spec Dependencies: Test: some $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-98[+]
X K-QuantExprWithout-98: Created on: 2007-11-26 Spec Dependencies: Test: some $a at $p in (1, 2) satisfies $a |
pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-99[+]
X K-QuantExprWithout-99: Created on: 2007-11-26 Spec Dependencies: Test: every $a at $p in (1, 2) satisfies $a |
pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-1[+]
X K2-QuantExprWithout-1: Created on: 2007-11-26 Spec Dependencies: Test: SOME $i in (1, 2, 3) satisfies $i |
pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-2[+]
X K2-QuantExprWithout-2: Created on: 2007-11-26 Spec Dependencies: Test: EVERY $i in (1, 2, 3) satisfies $i |
pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-3[+]
X K2-QuantExprWithout-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <people id=""/>/(some $id in @id satisfies true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-QuantExprWithout-4[+]
X K2-QuantExprWithout-4: Created on: 2007-11-26 Spec Dependencies: Test: some $id in attribute::id satisfies $id |
pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-5[+]
X K2-QuantExprWithout-5: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <e/>/(some $v in self::node() satisfies $v) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-QuantExprWithout-6[+]
X K2-QuantExprWithout-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <e/>/(every $v in self::node() satisfies $v) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-QuantExprWithout-7[+]
X K2-QuantExprWithout-7: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <e/>/(every $b in 1, $v in self::node() satisfies $v) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-QuantExprWithout-8[+]
X K2-QuantExprWithout-8: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <e/>/(some $b in 1, $v in self::node() satisfies $v) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-QuantExprWithout-9[+]
X K2-QuantExprWithout-9: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: let $firstSeq := (<a/>, <b/>, <e><c/></e>) let $secondSeq := (<a attr=""/>, <b>text</b>, <e><c/></e>) return some $i in $firstSeq satisfies $secondSeq[deep-equal(.,$i)] |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-1[+]
X K-QuantExprWith-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item()* in (1, 2), $b as item()* in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-2[+]
X K-QuantExprWith-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as item()* in (1, 2), $b as item()* in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-3[+]
X K-QuantExprWith-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item()? in (1, 2), $b as item()? in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-4[+]
X K-QuantExprWith-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as item()? in (1, 2), $b as item()? in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-5[+]
X K-QuantExprWith-5: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item()+ in (1, 2), $b as item()+ in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-6[+]
X K-QuantExprWith-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as item()+ in (1, 2), $b as item()+ in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-7[+]
X K-QuantExprWith-7: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as empty-sequence()? in (1, 2) satisfies $a |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-8[+]
X K-QuantExprWith-8: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as empty-sequence()? in (1, 2) satisfies $a |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-9[+]
X K-QuantExprWith-9: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as xs:anyURI in 1 satisfies count($a) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-10[+]
X K-QuantExprWith-10: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as xs:anyURI in 1 satisfies count($a) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-11[+]
X K-QuantExprWith-11: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as empty-sequence() in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-12[+]
X K-QuantExprWith-12: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as empty-sequence() in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-13[+]
X K-QuantExprWith-13: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as xs:integer+ in (1, 2), $b as xs:string* in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-14[+]
X K-QuantExprWith-14: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as xs:integer+ in (1, 2), $b as xs:string* in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-15[+]
X K-QuantExprWith-15: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as item()* in (1, 2), $b as xs:string in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-16[+]
X K-QuantExprWith-16: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item()* in (1, 2), $b as xs:string in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-17[+]
X K-QuantExprWith-17: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as xs:integer+ in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-18[+]
X K-QuantExprWith-18: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item()* in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-19[+]
X K-QuantExprWith-19: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as item() at $p in (1, 2) satisfies $a |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-20[+]
X K-QuantExprWith-20: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as item() at $p in (1, 2) satisfies $a |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-21[+]
X K-QuantExprWith-21: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-22[+]
X K-QuantExprWith-22: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: not(some $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-23[+]
X K-QuantExprWith-23: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: every $a as xs:integer in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K-QuantExprWith-24[+]
X K-QuantExprWith-24: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: some $a as xs:integer in (1, 2), $b as xs:integer in $a satisfies $b |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-every-001[+]
X cbcl-every-001: Created on: 2008-06-05 Spec Dependencies: Test: every $x in (1 to 10)[. div 2 = 11] satisfies false() |
pass | pass | pass | pass | pass | pass | |
| cbcl-some-001[+]
X cbcl-some-001: Created on: 2008-06-05 Spec Dependencies: Test: some $x in (1 to 10)[. div 2 = 11] satisfies true() |
pass | pass | pass | pass | pass | pass | |
| cbcl-every-002[+]
X cbcl-every-002: Created on: 2008-06-20 Spec Dependencies: Test: every $x in (1 to 10)[. mod 2 = 0] satisfies true() |
pass | pass | pass | pass | pass | pass | |