|
| 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-FLWORExpr.static-typing | 0/28 | 0/0 | 0/0 | 0/0 | 28/28 | 28/0 | 1/6 |
| statictyping-21[+]
X statictyping-21: Created on: 2006-04-11 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $x := 1 let $z := $x + $y return $x |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-22[+]
X statictyping-22: Created on: 2006-04-11 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: declare variable $x := $y + 1; "abc" |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-23[+]
X statictyping-23: Created on: 2006-07-11 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $x in (1, 2, 3) for $z in ($x, $y) return $x |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-24[+]
X statictyping-24: Created on: 2009-04-01 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where fn:not($var) eq fn:true() return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| ST-WhereExpr001[+]
X ST-WhereExpr001: Created on: 2005-06-24 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $file in (//Folder)[1]/File where ($file, 1) return $file/FileName |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| ST-WhereExpr002[+]
X ST-WhereExpr002: Created on: 2005-06-24 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $file in (//Folder)[1]/File where (1, $file) return $file/FileName |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-1[+]
X statictyping-1: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where $var + 1 = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-2[+]
X statictyping-2: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where fn:abs(($var)) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-3[+]
X statictyping-3: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where fn:avg(($var,1)) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-4[+]
X statictyping-4: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where fn:max(($var,1)) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-5[+]
X statictyping-5: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where fn:min(($var,1)) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-6[+]
X statictyping-6: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where fn:sum(($var,1)) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-7[+]
X statictyping-7: Created on: 2005-12-14 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where fn:boolean($var) = fn:true() return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-8[+]
X statictyping-8: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where ($var - 1) = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-9[+]
X statictyping-9: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where ($var * 1) = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-10[+]
X statictyping-10: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where ($var div 2) = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-11[+]
X statictyping-11: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where ($var idiv 2) = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-12[+]
X statictyping-12: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $var in ("a","b","c") where ($var mod 2) = 3 return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-13[+]
X statictyping-13: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where ($var eq 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-14[+]
X statictyping-14: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where ($var le 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-15[+]
X statictyping-15: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where ($var lt 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-16[+]
X statictyping-16: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where ($var gt 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-17[+]
X statictyping-17: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := ("a","b","c") where ($var ne 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-18[+]
X statictyping-18: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := (1,2,3) where ($var + 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-19[+]
X statictyping-19: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := (1,2,3) where ($var - 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| statictyping-20[+]
X statictyping-20: Created on: 2005-12-15 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: let $var := (1,2,3) where ($var * 1) return $var |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| ST-PITest-01[+]
X ST-PITest-01: Created on: 2010-02-08 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: (: Description: In LetClause, binding expr's ST must be subtype of variable's ST. Under REC FS, both are 'processing-instruction?', so STA succeeds. Under PER FS, former is 'processing-instruction filesystem?', latter is 'processing-instruction filesytem', so STA fails, raises error. (Note that an implementation that doesn't do STA will not raise an error.) :) let $pi as processing-instruction(filesystem) := (//processing-instruction(filesystem))[1] return $pi |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |
| ST-PITest-02[+]
X ST-PITest-02: Created on: 2010-02-08 Spec Dependencies: spec = XQ10+ feature = staticTyping Test: for $pi in //processing-instruction(nonexistent) let $pi2 as processing-instruction(filesystem) := $pi return $pi2 |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
n/a | pass | pass | |