Results for tests requiring that dependency higherOrderFunctions + staticTyping is not 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) |
|---|---|---|---|---|---|---|
| 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-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-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 |