Results for tests requiring that dependency staticTyping is satisfied
| 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) |
|---|---|---|---|---|---|---|
| ST-Data001[+]
X ST-Data001: Created on: 2010-06-08 Spec Dependencies: spec = XQ10+ feature = staticTyping feature = schemaImport Test: import schema namespace mc ="http://www.w3.org/XQueryTest/mixedcontent"; let $node as element(*, mc:mixedType) := /* return data($node) |
no result | n/a
notXP31 |
n/a
Dependency not satisfied |
n/a | pass | pass |
| fn-filter-006[+]
X fn-filter-006: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: ( fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:exists#1 else 1 ), fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then 1 else fn:exists#1 ) ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-007[+]
X fn-filter-007: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:exists#1 else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-008[+]
X fn-filter-008: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), fn:true() ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-009[+]
X fn-filter-009: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), fn:true() ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-016[+]
X fn-filter-016: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then () else fn:true()}) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-019[+]
X fn-filter-019: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then 0 else fn:true()}) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-022[+]
X fn-filter-022: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then (fn:true(), fn:false()) else fn:true()}) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-filter-023[+]
X fn-filter-023: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( ("1", "2", "3"), function($arg as xs:integer) as xs:boolean { $arg eq 100 } ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-for-each-pair-010[+]
X fn-for-each-pair-010: Created on: 2012-05-01 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:for-each-pair( (), (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:concat#2 else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-for-each-pair-032[+]
X fn-for-each-pair-032: Created on: 2013-03-14 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:for-each-pair( "a", "b", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:concat#2 else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-function-lookup-711[+]
X fn-function-lookup-711: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:function-lookup(fn:QName('http://www.w3.org/2005/xpath-functions', 'node-name'), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then () else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-function-lookup-713[+]
X fn-function-lookup-713: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:function-lookup((if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:QName('http://www.w3.org/2005/xpath-functions', 'node-name') else ()), 1) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-function-arity-010[+]
X fn-function-arity-010: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping feature = higherOrderFunctions Test: fn:function-arity( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-function-arity-012[+]
X fn-function-arity-012: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:function-arity( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-function-name-010[+]
X fn-function-name-010: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping feature = higherOrderFunctions Test: fn:function-name( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-has-children-012[+]
X fn-has-children-012: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping Test: ( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) ! fn:has-children() |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-has-children-013[+]
X fn-has-children-013: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping Test: fn:has-children( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-innermost-008[+]
X fn-innermost-008: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping Test: fn:innermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-innermost-010[+]
X fn-innermost-010: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping feature = higherOrderFunctions Test: fn:innermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else fn:dateTime#2 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-outermost-008[+]
X fn-outermost-008: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping Test: fn:outermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-outermost-010[+]
X fn-outermost-010: Created on: 2011-11-28 Spec Dependencies: spec = XP30+ XQ30+ feature = staticTyping feature = higherOrderFunctions Test: fn:outermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else fn:dateTime#2 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| parse-xml-fragment-022-st[+]
X parse-xml-fragment-022-st: Created on: 2013-01-07 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: parse-xml-fragment("<a/>")/.. |
no result | n/a
environment dependencies not satisfied |
n/a
environment dependencies not satisfied |
pass | pass | pass |
| fn-unparsed-text-007[+]
X fn-unparsed-text-007: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-009[+]
X fn-unparsed-text-009: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-011[+]
X fn-unparsed-text-011: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-available-007[+]
X fn-unparsed-text-available-007: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-available( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-available-009[+]
X fn-unparsed-text-available-009: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-available( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-available-011[+]
X fn-unparsed-text-available-011: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-available( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-lines-007[+]
X fn-unparsed-text-lines-007: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-lines( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-lines-009[+]
X fn-unparsed-text-lines-009: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-lines( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| fn-unparsed-text-lines-011[+]
X fn-unparsed-text-lines-011: Created on: 2011-11-28 Spec Dependencies: feature = staticTyping spec = XP30+ XQ30+ Test: fn:unparsed-text-lines( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass |
| ST-Axes001[+]
X ST-Axes001: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/self::nowhere) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes002[+]
X ST-Axes002: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-2/self::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes003[+]
X ST-Axes003: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-3/self::center-attr-3) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes004[+]
X ST-Axes004: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-1/self::nowhere) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes005[+]
X ST-Axes005: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/text()/self::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes006[+]
X ST-Axes006: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/text()/self::center) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes007[+]
X ST-Axes007: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-1/descendant-or-self::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes008[+]
X ST-Axes008: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-2/descendant-or-self::far-south) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes009[+]
X ST-Axes009: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/@center-attr-2/descendant-or-self::center-attr-2) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes010[+]
X ST-Axes010: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(//center/text()/descendant-or-self::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes011[+]
X ST-Axes011: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(/attribute::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes012[+]
X ST-Axes012: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(/@*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes013[+]
X ST-Axes013: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(/parent::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes014[+]
X ST-Axes014: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(/..) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| ST-Axes015[+]
X ST-Axes015: Created on: 2003-02-25 Spec Dependencies: feature = staticTyping Test: fn:count(/self::*) |
no result | n/a
test-set dependencies not satisfied |
n/a
test-set dependencies not satisfied |
pass | pass | pass |
| 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 |