|
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 | 25/33 | 23/23 | 25/25 | 31/31 | 33/33 | 33/0 | 0/6 |
filter-001[+]
X filter-001: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter(("apple", "pear", "apricot", "advocado", "orange"),starts-with(?, "a")) |
pass | pass | pass | pass | pass | pass | |
filter-002[+]
X filter-002: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter((12, 4, 46, 23, -8), function($x){$x gt 10}) |
pass | pass | pass | pass | pass | pass | |
filter-003[+]
X filter-003: Created on: 2010-02-10 Spec Dependencies: spec = XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: let $data := (/employees) return filter($data/emp, function($x as element(emp)){xs:int($x/@salary) lt 300}) |
pass | n/a
environment dependencies not satisfied |
pass | n/a | pass | pass | |
filter-004[+]
X filter-004: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: (1 to 20)[. = filter(1 to position(), function($x){$x idiv 2 * 2 = $x})] |
pass | pass | pass | pass | pass | pass | |
filter-005[+]
X filter-005: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: let $index-of-node := function($seqParam as node()*, $srchParam as node()) as xs:integer* { filter( 1 to count($seqParam), function($this as xs:integer) as xs:boolean {$seqParam[$this] is $srchParam} ) }, $nodes := /*/*, $perm := ($nodes[1], $nodes[2], $nodes[3], $nodes[1], $nodes[2], $nodes[4], $nodes[2], $nodes[1]) return $index-of-node($perm, $nodes[2]) |
pass | pass | pass | pass | pass | pass | |
filter-006[+]
X filter-006: Created on: 2015-03-12 Spec Dependencies: spec = XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter((1 to 20), function($i){<a>{1 - ($i mod 2)}</a>}) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
filter-901[+]
X filter-901: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter(("apple", "pear", "apricot", "advocado", "orange"), normalize-space#1) |
pass | pass | pass | pass | pass | pass | |
filter-902[+]
X filter-902: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter(("apple", "pear", "apricot", "advocado", "orange"), function($x){if(starts-with($x,'a')) then true() else ()}) |
pass | pass | pass | pass | pass | pass | |
filter-903[+]
X filter-903: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter( ("apple", "pear", "apricot", "advocado", "orange"), function($x){if(starts-with($x,'a')) then (true(), true()) else false()}) |
pass | pass | pass | pass | pass | pass | |
filter-904[+]
X filter-904: Created on: 2010-02-10 Spec Dependencies: spec = XP30+ XQ30+ feature = higherOrderFunctions Test: filter(("apple", "pear", "apricot", "advocado", "orange", current-date()), ends-with(?, 'e')) |
pass | pass | pass | pass | pass | pass | |
fn-filter-001[+]
X fn-filter-001: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter() |
pass | pass | pass | pass | pass | pass | |
fn-filter-002[+]
X fn-filter-002: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter#0 |
pass | pass | pass | pass | pass | pass | |
fn-filter-003[+]
X fn-filter-003: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( fn:boolean#1 ) |
pass | pass | pass | pass | pass | pass | |
fn-filter-004[+]
X fn-filter-004: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter#1 |
pass | pass | pass | pass | pass | pass | |
fn-filter-005[+]
X fn-filter-005: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:exists( fn:filter#2 ) |
pass | pass | pass | pass | 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-010[+]
X fn-filter-010: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), function($a as item()) as xs:boolean* { fn:boolean($a), fn:boolean($a) } ) |
pass | pass | pass | pass | pass | pass | |
fn-filter-011[+]
X fn-filter-011: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), function($a as item()) as xs:boolean? { () } ) |
pass | pass | pass | pass | pass | pass | |
fn-filter-012[+]
X fn-filter-012: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (), fn:string#1 ) |
pass | pass | pass | pass | pass | pass | |
fn-filter-013[+]
X fn-filter-013: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( (//node(), 1, "string", 3.14, 2.7e0, fn:exists#1), function($arg) { $arg instance of function(*) } ) |
pass | pass | pass | pass | pass | pass | |
fn-filter-014[+]
X fn-filter-014: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then () else fn:true()}) |
pass | pass | pass | pass | pass | pass | |
fn-filter-015[+]
X fn-filter-015: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 10) then () else fn:true()}) |
pass | pass | pass | 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-017[+]
X fn-filter-017: Created on: 2012-05-01 Spec Dependencies: 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()}) |
pass | pass | pass | pass | pass | pass | |
fn-filter-018[+]
X fn-filter-018: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 10) then 0 else fn:true()}) |
pass | pass | pass | 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-020[+]
X fn-filter-020: Created on: 2012-05-01 Spec Dependencies: 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()}) |
pass | pass | pass | pass | pass | pass | |
fn-filter-021[+]
X fn-filter-021: Created on: 2012-05-01 Spec Dependencies: spec = XP30+ XQ30+ spec = XP30+ XQ30+ feature = higherOrderFunctions Test: fn:filter( 1 to 10, function($arg) { if ($arg eq 10) then (fn:true(), fn:false()) else fn:true()}) |
pass | pass | pass | 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 |