|
| 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-FLWORExpr.static-typing | 0/28 | 0/0 | 0/0 | 0/28 | 0/0 | 0/28 | 0/28 | 0/0 | 28/28 | 28/28 | 0/0 | 28/28 | 28/28 | 0/0 | 0/0 | 5/15 |
| statictyping-21[+]
X statictyping-21: let $x := 1 let $z := $x + $y return $x |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-22[+]
X statictyping-22: declare variable $x := $y + 1; "abc" |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-23[+]
X statictyping-23: for $x in (1, 2, 3) for $z in ($x, $y) return $x |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-24[+]
X statictyping-24: let $var := ("a","b","c") where fn:not($var) eq fn:true() return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| ST-WhereExpr001[+]
X ST-WhereExpr001: for $file in (//Folder)[1]/File where ($file, 1) return $file/FileName |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| ST-WhereExpr002[+]
X ST-WhereExpr002: for $file in (//Folder)[1]/File where (1, $file) return $file/FileName |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-1[+]
X statictyping-1: for $var in ("a","b","c") where $var + 1 = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-2[+]
X statictyping-2: for $var in ("a","b","c") where fn:abs(($var)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-3[+]
X statictyping-3: for $var in ("a","b","c") where fn:avg(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-4[+]
X statictyping-4: for $var in ("a","b","c") where fn:max(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-5[+]
X statictyping-5: for $var in ("a","b","c") where fn:min(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-6[+]
X statictyping-6: for $var in ("a","b","c") where fn:sum(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-7[+]
X statictyping-7: let $var := ("a","b","c") where fn:boolean($var) = fn:true() return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-8[+]
X statictyping-8: for $var in ("a","b","c") where ($var - 1) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-9[+]
X statictyping-9: for $var in ("a","b","c") where ($var * 1) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-10[+]
X statictyping-10: for $var in ("a","b","c") where ($var div 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-11[+]
X statictyping-11: for $var in ("a","b","c") where ($var idiv 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-12[+]
X statictyping-12: for $var in ("a","b","c") where ($var mod 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-13[+]
X statictyping-13: let $var := ("a","b","c") where ($var eq 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-14[+]
X statictyping-14: let $var := ("a","b","c") where ($var le 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-15[+]
X statictyping-15: let $var := ("a","b","c") where ($var lt 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-16[+]
X statictyping-16: let $var := ("a","b","c") where ($var gt 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-17[+]
X statictyping-17: let $var := ("a","b","c") where ($var ne 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-18[+]
X statictyping-18: let $var := (1,2,3) where ($var + 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-19[+]
X statictyping-19: let $var := (1,2,3) where ($var - 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| statictyping-20[+]
X statictyping-20: let $var := (1,2,3) where ($var * 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| ST-PITest-01[+]
X ST-PITest-01: (: 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 | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|
| ST-PITest-02[+]
X ST-PITest-02: for $pi in //processing-instruction(nonexistent) let $pi2 as processing-instruction(filesystem) := $pi return $pi2 |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
|