|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| misc-HigherOrderFunctions | 123/126 | 122/126 | 0/0 | 0/0 | 48/48 | 126/126 | 124/126 | 48/48 | 126/126 | 126/126 | 0/0 | 0/0 | 0/0 | 0/0 | 124/126 | 1/15 |
| hof-001[+]
X hof-001: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := local:f#1 return $f(2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-002[+]
X hof-002: declare function local:f() as xs:integer { 42 }; declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := local:f#0 return $f() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-003[+]
X hof-003: import module namespace m="http://example.com/hof-003"; let $f := m:f#1 return $f(17) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-004[+]
X hof-004: let $f := fn:round#1 return $f(1.2345) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-005[+]
X hof-005: let $f := concat#8 return $f('a','b','c','d','e','f','g','h') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-006[+]
X hof-006: declare default function namespace "http://example.com/hof-006"; declare function g($x as xs:integer) as xs:integer { $x + 1 }; let $f := g#1 return $f(21) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-007[+]
X hof-007: declare default function namespace "http://www.w3.org/2001/XMLSchema"; let $f := date#1 return $f('2008-01-31') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-008[+]
X hof-008: let $f := xs:date#1 return $f('2008-01-31') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-009[+]
X hof-009: import schema namespace a = "http://www.w3.org/XQueryTest/userDefinedTypes"; let $f := a:hatsize#1 return ($f(8) instance of a:hatsize) |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-010[+]
X hof-010: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f as function(*) := local:f#1 return $f(2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-011[+]
X hof-011: declare function local:f($x as xs:integer) as xs:integer { $x + 3 }; let $f as function(xs:integer) as xs:integer := local:f#1 return $f(2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-012[+]
X hof-012: declare function local:f($x as xs:integer, $y as xs:long) as xs:integer { $x + $y }; let $f as function(xs:integer, xs:long) as xs:integer := local:f#2 return $f(2, xs:long(5)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-013[+]
X hof-013: declare function local:f($x as xs:integer) as xs:integer { $x + 3 }; declare function local:g($x as xs:integer) as xs:integer { $x + 4 }; declare function local:h($x as xs:integer) as xs:integer { $x + 5 }; let $f as (function(xs:integer) as xs:integer)* := (local:f#1, local:g#1, local:h#1) return $f[3](2)[1] |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-014[+]
X hof-014: declare function local:case($x as xs:boolean) as function(*) { if ($x) then fn:upper-case#1 else fn:lower-case#1 }; local:case(true())("Mike"), local:case(false())("Mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-015[+]
X hof-015: declare function local:case($x as xs:boolean) as function(xs:string?) as xs:string { if ($x) then fn:upper-case#1 else fn:lower-case#1 }; local:case(true())("Mike"), local:case(false())("Mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-016[+]
X hof-016: declare function local:case($x as function(*), $y as xs:string) as xs:string { $x($y) }; local:case(upper-case#1, "Mike"), local:case(lower-case#1, "Mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-017[+]
X hof-017: declare function local:case($x as function(xs:string?) as xs:string, $y as xs:string) as xs:string { $x($y) }; local:case(upper-case#1, "Mike"), local:case(lower-case#1, "Mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-018[+]
X hof-018: declare function local:scramble($x as function(xs:string) as xs:string, $y as xs:string) as xs:string { $x($y) }; declare function local:rot13($x as xs:string) as xs:string { translate($x, "abcdefghijklmnopqrstuvwxyz", "nopqrstuvwxyzabcdefghijklm") }; local:scramble(local:rot13#1, "mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-019[+]
X hof-019: declare function local:scramble($x as function(*), $y as xs:string) as xs:string { $x($y) }; declare function local:rot13($x as xs:string) as xs:string { translate($x, "abcdefghijklmnopqrstuvwxyz", "nopqrstuvwxyzabcdefghijklm") }; local:scramble(local:rot13#1, "mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-020[+]
X hof-020: declare function local:scramble($x as function(*), $y as xs:string) as xs:string { $x($y) }; local:scramble(function($x){translate($x, "abcdefghijklmnopqrstuvwxyz", "nopqrstuvwxyzabcdefghijklm")}, "john") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-021[+]
X hof-021: declare function local:scramble($x as function(xs:string) as xs:string, $y as xs:string) as xs:string { $x($y) }; local:scramble(function($x){translate($x, "abcdefghijklmnopqrstuvwxyz", "nopqrstuvwxyzabcdefghijklm")}, "john") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-022[+]
X hof-022: declare function local:scramble($x as function(xs:string) as xs:string, $y as xs:string) as xs:string { $x($y) }; let $n := function-name(local:scramble#2) return (local-name-from-QName($n), namespace-uri-from-QName($n), function-arity(local:scramble#2)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-023[+]
X hof-023: let $f := fn:function-name#1, $n := function-name($f) return (local-name-from-QName($n), namespace-uri-from-QName($n), function-arity($f)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-024[+]
X hof-024: let $f := xs:dateTime#1, $n := function-name($f) return (local-name-from-QName($n), namespace-uri-from-QName($n), function-arity($f)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-025[+]
X hof-025: let $f := concat#123456, $n := function-name($f) return (local-name-from-QName($n), namespace-uri-from-QName($n), function-arity($f)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-026[+]
X hof-026: let $f := function($x as xs:string) as xs:string { upper-case($x) } let $n := function-name($f) return <a loc="{local-name-from-QName($n)}" uri="{namespace-uri-from-QName($n)}" arity="{function-arity($f)}" eloc="{empty(local-name-from-QName($n))}" euri="{empty(namespace-uri-from-QName($n))}"/> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-027[+]
X hof-027: let $f := fn:contains(?, "e") return for $s in ("Mike", "John", "Dave", "Mary", "Jane") return $f($s) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-028[+]
X hof-028: declare function local:splitter() as (function(xs:string) as xs:string*) { function($x as xs:string) { tokenize($x, '\s') } }; string-join(local:splitter()("A nice cup of tea"), '|') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-029[+]
X hof-029: declare function local:splitter() as (function(xs:string) as xs:string+)? { function($x as xs:string) { for $i in tokenize($x, '\s') return upper-case($i)} }; string-join(local:splitter()("A nice cup of tea"), '|') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-030[+]
X hof-030: declare variable $sep as xs:string := "\s"; declare function local:splitter() as (function(xs:string) as xs:string*)? { function($x as xs:string) { for $i in tokenize($x, $sep) return upper-case($i)} }; string-join(local:splitter()("A nice cup of tea"), '|') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-031[+]
X hof-031: declare function local:splitter($sep as xs:string) as (function(xs:string) as xs:string*) { function($x as xs:string) { for $i in tokenize($x, $sep) return upper-case($i)} }; string-join(local:splitter("\s")("A nice cup of tea"), '|') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-032[+]
X hof-032: (if (current-date() gt xs:date('2000-12-31')) then upper-case#1 else lower-case#1)("Mike") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-033[+]
X hof-033: local-name-from-QName(function-name((upper-case#1, lower-case#1)[.("Mike") = "MIKE"])) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-034[+]
X hof-034: local-name-from-QName(function-name((upper-case#1, lower-case#1)[ordered{.}("Mike") = "MIKE"])) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-035[+]
X hof-035: local-name-from-QName(function-name((upper-case#1, lower-case#1)[ordered{.}("Mike") = "MIKE"])) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-036[+]
X hof-036: (<a b="3"/>/(string(@b), upper-case#1, 17))[. instance of xs:anyAtomicType] |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-037[+]
X hof-037: declare function local:f($x as xs:long, $y as xs:NCName) as element(e) { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(*), local:f#2 instance of function(xs:long, xs:NCName) as element(e), local:f#2 instance of function(xs:anyAtomicType?, xs:anyAtomicType?) as element(e), local:f#2 instance of function(item()*, item()*) as element(e) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-038[+]
X hof-038: declare function local:f($x as xs:long?, $y as xs:NCName?) as element(e) { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:int?, xs:NCName?) as element(e), local:f#2 instance of function(xs:long?) as element(e), local:f#2 instance of function(xs:long?, xs:NCName?, item()*) as element(e), local:f#2 instance of function(xs:long, xs:anyAtomicType?) as element(e), local:f#2 instance of function(item()+, item()+) as element(e) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-039[+]
X hof-039: declare function local:f($x as xs:long, $y as xs:NCName) as element(e)? { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:long, xs:NCName) as element()?, local:f#2 instance of function(xs:long, xs:NCName) as element()*, local:f#2 instance of function(xs:long, xs:NCName) as element(e)*, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType?)?, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:untyped)? |
fail | pass | fail
Wrong results, got true true true false false false |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-040[+]
X hof-040: declare function local:apply($fns as (function(xs:string) as xs:string)*, $s as xs:string) as xs:string* { for $f in $fns return $f($s) }; let $ops := (upper-case#1, lower-case#1, function($x){translate($x, 'e', 'i')}, substring-before(?, ' ')) return string-join(local:apply($ops, 'Michael Kay'), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-041[+]
X hof-041: declare function local:ops() as (function(xs:string) as xs:string)* { (upper-case#1, lower-case#1, function($x){translate($x, 'e', 'i')}, substring-before(?, ' ')) }; string-join(for $f in local:ops() return $f('Michael Kay'), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-042[+]
X hof-042: declare function local:lower-case($x as xs:string) as xs:string { concat("'", fn:lower-case($x), "'") }; declare function local:ops() as (function(xs:string) as xs:string)* { (upper-case#1, local:lower-case#1, function($x){translate($x, 'e', 'i')}, substring-before(?, ' ')) }; string-join(for $f in local:ops() return $f(<a name="Michael Kay"/>/@name), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-043[+]
X hof-043: declare function local:round($x as xs:double) as xs:double { fn:floor($x) }; declare function local:ops() as (function(xs:double) as xs:double)* { (abs#1, local:round#1, function($x){$x+1}, round-half-to-even(?, 2)) }; string-join(for $f in local:ops() return string($f(xs:untypedAtomic('123.456'))), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-044[+]
X hof-044: declare function local:round($x as xs:double) as xs:double { fn:floor($x) }; declare function local:ops() as (function(xs:double) as xs:double)* { (abs#1, local:round#1, function($x as xs:double){$x+1}, round-half-to-even(?, 2)) }; string-join(for $f in local:ops() return string(round-half-to-even($f(xs:decimal('123.456')), 4)), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-045[+]
X hof-045: declare function local:round($x as xs:double, $algorithm as (function(xs:double) as xs:double)) as xs:double { $algorithm($x) }; declare variable $roundToCeiling := local:round(?, ceiling#1); $roundToCeiling(12.4) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-046[+]
X hof-046: declare function local:splitter($x as xs:string) as (function() as xs:string*)* { for $sep in ('\s', ',', '!') return function() { for $i in tokenize($x, $sep) return upper-case($i) } }; <out>{ for $f as function(*) in local:splitter("How nice! Thank you, I enjoyed that.") return <tokens>{ for $t in $f() return <t>{$t}</t> }</tokens> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-047[+]
X hof-047: declare function local:splitter($x as xs:string) as (function() as xs:string*)* { for $sep in ('\s', ',', '!') return function() { for $i in tokenize($x, $sep) return let $f := function(){ concat($sep, ':', upper-case($i)) } return $f() } }; <out>{ for $f as function(*) in local:splitter("How nice! Thank you, I enjoyed that.") return <tokens>{ for $t in $f() return <t>{$t}</t> }</tokens> }</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-048[+]
X hof-048: declare function local:do() as xs:integer { (local:f#1)(5) }; declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; local:do() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-049[+]
X hof-049: declare function local:tf($i as xs:integer) as function () as xs:boolean { if ($i) then true#0 else false#0 }; <out>{(local:tf(0)(), local:tf(1)())}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-050[+]
X hof-050: let $f := fn:substring-before#2(?, '-') return <out>{$f('the-end-of-the-world')}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-051[+]
X hof-051: let $f := function($a as xs:string, $b as xs:string) { starts-with($a, $b) and ends-with($a, $b)}(?, 'a') return <out>{$f('abracadabra')}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-052[+]
X hof-052: let $f := fn:concat#3(?, '*', ?) let $g := $f('[', ?) return <out>{$g(']')}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-053[+]
X hof-053: declare function local:f($x as xs:long, $y as xs:NCName) as element(e, xs:anyAtomicType) { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:long, xs:NCName) as element(), local:f#2 instance of function(xs:long, xs:NCName) as element()+, local:f#2 instance of function(xs:long, xs:NCName) as element()?, local:f#2 instance of function(xs:long, xs:NCName) as element()*, local:f#2 instance of function(xs:long, xs:NCName) as element(e)*, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType?)?, local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType)*, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType)?, local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:untyped)? |
fail | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-901[+]
X hof-901: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := local:g#1 return $f(2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-902[+]
X hof-902: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := local:f#3 return $f(2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-903[+]
X hof-903: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := xs:date#2 return $f('2008-03-01') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-904[+]
X hof-904: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f := concat#1 return $f('2008-03-01') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-905[+]
X hof-905: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; string(local:f#1) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-906[+]
X hof-906: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; exists(data(local:f#1)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-907[+]
X hof-907: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; deep-equal((1,2,3,4,local:f#1), (1,2,3,4,local:f#1)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-908[+]
X hof-908: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; local:f#1 eq 3 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-909[+]
X hof-909: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; number(local:f#1) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-910[+]
X hof-910: declare function local:f($x as xs:integer) as xs:integer { $x + 1 }; let $f as function(xs:integer) := local:f#1 return $f(3) |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-911[+]
X hof-911: <a b="3"/>/(@b, upper-case#1) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-912[+]
X hof-912: declare function local:apply($fns as (function(xs:string) as xs:string)*, $s as xs:string) as xs:string* { for $f in $fns return $f($s) }; let $ops := (upper-case#1, lower-case#1, function($x){translate($x, 'e', 'i')}, substring-before(?, ' ', ?)) return string-join(local:apply($ops, 'Michael Kay'), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-913[+]
X hof-913: declare function local:apply($fns as (function(xs:string) as xs:string)*, $s as xs:string) as xs:string* { for $f in $fns return $f($s) }; let $ops := (upper-case#1, lower-case#1, function($x){translate($x, 'e', 'i')}, string-length#1) return string-join(local:apply($ops, 'Michael Kay'), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-914[+]
X hof-914: declare function local:apply($fns as (function(xs:string) as xs:string)*, $s as xs:string) as xs:string* { for $f in $fns return $f($s) }; let $ops := (upper-case#1, lower-case#1, function($x as xs:double){string($x)}) return string-join(local:apply($ops, 'Michael Kay'), '~') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-915[+]
X hof-915: let $ops := substring-before('abc', ' ', (), ?) return $ops('Michael Kay') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-916[+]
X hof-916: let $ops := substring-before(?, ?) return $ops('Michael Kay') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-917[+]
X hof-917: let $ops := substring-before(?, 2) return $ops('Michael Kay') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| hof-918[+]
X hof-918: declare function local:round($x as xs:double, $algorithm as (function(xs:double) as xs:double)) as xs:double { $algorithm($x) }; declare variable $roundToCeiling := local:round(?, upper-case#1); $roundToCeiling(12.4) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| hof-919[+]
X hof-919: declare function local:round($x as xs:double) as xs:double { fn:floor($x) }; declare function local:ops() as (function(xs:double) as xs:double)* { (abs#1, local:round#1, function($x as xs:float){$x+1}, round-half-to-even(?, 2)) }; string-join(for $f in local:ops() return string(round-half-to-even($f(xs:decimal('123.456')), 4)), '~') |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| function-item-1[+]
X function-item-1: concat#64 instance of function(*) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-2[+]
X function-item-2: string-join#1(("a", "b", "c", "d", "e", "f", "g", "h", "i", "j")) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-3[+]
X function-item-3: string-join#1 is string-join#1 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-4[+]
X function-item-4: string-join#1 eq string-join#1 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-5[+]
X function-item-5: element a { avg#1 } |
pass | pass | wrongError
Expected error:XQTY0105, got err:XPTY0004 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQTY0105, got err:XPTY0004 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| function-item-6[+]
X function-item-6: attribute a { avg#1 } |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| function-item-7[+]
X function-item-7: (let $a := 92, $b := true() return function($c) { $a, $b, $c })("lala") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-8[+]
X function-item-8: function-name(function-name#1) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-9[+]
X function-item-9: function-name(let $a := 92, $b := true() return function($c) { $a, $b, $c }) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-10[+]
X function-item-10: (let $a := 92, $b := true() return function($c) { $a, $b, $c }) instance of function(item()*) as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-11[+]
X function-item-11: (let $a := 92, $b := true() return function($c) { $a, $b, $c })((xs:QName("foo"), 5.0e3)) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-12[+]
X function-item-12: function($a as item()) as item() { $a } instance of function(*) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-13[+]
X function-item-13: function($a as item()) as xs:integer { $a } instance of function(item()) as item() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-14[+]
X function-item-14: function($a as item()) as item() { $a } instance of function(xs:string) as item() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-15[+]
X function-item-15: function($a as item()) as item() { $a } instance of function() as item() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-16[+]
X function-item-16: function($a as item()) as xs:integer { $a } instance of function(item(), item()) as item() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| function-item-17[+]
X function-item-17: function($a as xs:string) as item() { $a } instance of function(item()) as item() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-1[+]
X inline-function-1: function() { 5 } instance of function(*) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-2[+]
X inline-function-2: function-name(function() { 5 }) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-3[+]
X inline-function-3: function() as xs:integer { 5 }() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-4[+]
X inline-function-4: function($a as xs:integer) as xs:integer { $a + 5 }(3) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-5[+]
X inline-function-5: function($a as xs:integer, $b as xs:double) as xs:double { $a * $b + 5 }(3, 2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-6[+]
X inline-function-6: function($a, $b as xs:double) as xs:double { $a * $b + 5 } instance of function(item()*, xs:double) as xs:double |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-7[+]
X inline-function-7: function($a as node()+, $b) as xs:double { $a * $b + 5 } instance of function(node(), item()*) as xs:double |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-8[+]
X inline-function-8: function($a as node()+) { $a + 5 } instance of function(node()) as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-9[+]
X inline-function-9: function() { true() } instance of function() as item()* |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-10[+]
X inline-function-10: function($a) { "lala", $a }, $a |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-11[+]
X inline-function-11: let $a := "monkey" return function($a) { "lala", $a }("gibbon") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-12[+]
X inline-function-12: $a, function($a) { "lala", $a } |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-11a[+]
X inline-function-11a: function($a) { let $a := "monkey" return ("lala", $a) }("gibbon") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-12a[+]
X inline-function-12a: function($a, $a) { "lala", $a }("gibbon", "monkey") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-13[+]
X inline-function-13: function($local:foo, $local:bar, $local:foo) { "lala", $local:foo, $local:bar }("gibbon", "monkey", "ape") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-14[+]
X inline-function-14: function($local:foo, $local:bar, $fn:foo) { "lala", $local:foo, $local:bar }("gibbon", "monkey", "ape") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-15[+]
X inline-function-15: function($Q{http://local/}foo, $Q{http://local/}bar, $Q{http://local/}foo) { "lala", $Q{http://local/}foo, $Q{http://local/}bar }("gibbon", "monkey", "ape") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| inline-function-16[+]
X inline-function-16: function($Q{http://local/}foo, $Q{http://local/}bar, $fn:foo) { "lala", $Q{http://local/}foo, $Q{http://local/}bar }("gibbon", "monkey", "ape") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof1[+]
X xqhof1: declare namespace map = "http://snelson.org.uk/functions/map"; declare function map:key($pair as function() as item()+) as item() { $pair()[1] }; declare function map:value($pair as function() as item()+) as item()* { subsequence($pair(), 2) }; declare function map:contains($map as (function() as item()+)*, $key as item()) as xs:boolean { map:process($map, $key, function($a) { true() }, false(), function($a) { () }) }; declare function map:get($map as (function() as item()+)*, $key as item()) as item()* { map:process($map, $key, map:value#1, (), function($a) { () }) }; declare function map:process( $map as (function() as item()+)*, $key as item(), $found as function(function() as item()+) as item()*, $notfound as item()*, $unused as function((function() as item()+)*) as item()* ) as item()* { if(empty($map)) then $notfound else let $length := count($map) let $middle := $length idiv 2 + 1 let $pair := $map[$middle] let $pair_key := $pair()[1] return if($pair_key eq $key) then ( $unused(subsequence($map, 1, $middle - 1)), $found($pair), $unused(subsequence($map, $middle + 1)) ) else if($pair_key gt $key) then ( map:process(subsequence($map, 1, $middle - 1), $key, $found, $notfound, $unused), $unused(subsequence($map, $middle)) ) else ( $unused(subsequence($map, 1, $middle)), map:process(subsequence($map, $middle + 1), $key, $found, $notfound, $unused) ) }; declare function map:pair($key as item(), $value as item()*) as function() as item()+ { function() { $key, $value } }; declare function map:put( $map as (function() as item()+)*, $key as item(), $value as item()* ) as (function() as item()+)+ { let $pair := map:pair($key, $value) return map:process($map, $key, function($a) { $pair }, $pair, function($a) { $a }) }; string-join(let $map := map:put(map:put(map:put(map:put(map:put(map:put((), "a", "aardvark"), "z", "zebra"), "e", ("elephant", "eagle")), "o", "osterich"), "t", "terrapin"), "a", "antelope") return ( map:get($map, "o"), for $m in $map return concat("key: ", map:key($m), ", value: (", string-join(map:value($m), ", "), ")")) , " ") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof2[+]
X xqhof2: import module namespace func = "http://snelson.org.uk/functions/functional"; let $f := func:curry(concat#5) return $f("foo")(" bar")(" baz")(" what's")(" next?") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof3[+]
X xqhof3: import module namespace func = "http://snelson.org.uk/functions/functional"; declare function local:fib2_aux($result as xs:integer, $next as xs:integer, $n) as xs:integer* { if($n eq 0) then () else ( $result, local:fib2_aux($next, $next + $result, $n - 1)) }; declare function local:fib2($n) as xs:integer* { local:fib2_aux(0, 1, $n) }; declare function local:map-pairs($f,$a,$b) { for-each-pair($a,$b,$f) }; string-join( for $a in subsequence( let $interleave := func:curry(local:map-pairs#3)(function($a, $b) { $a, $b }) let $enumerate := $interleave(0 to 49) return $enumerate(local:fib2(50)) , 1, 100) return string($a) , " ") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof4[+]
X xqhof4: declare function local:hof($s, $f as function(*)) { $f($s[1], $s[2]) }; local:hof(('1', '2'), concat#2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof5[+]
X xqhof5: let $a := string-join(?, "") return $a(("foo", "bar", "baz")) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof6[+]
X xqhof6: declare function local:curry($f as function(item()*, item()*) as item()*) as function(item()*) as function(item()*) as item()* { function($a) { $f($a, ?) } }; local:curry(substring-after#2)("foobar")("foo") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof7[+]
X xqhof7: concat#3("one", "two") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof8[+]
X xqhof8: concat#4("one", ?, "three") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof9[+]
X xqhof9: concat#2("one", ?, "three") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof10[+]
X xqhof10: for $f in (concat("one ", ?, " three"), substring-before("one two three", ?), matches(?, "t.*o"), xs:NCName(?)) return $f("two") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xqhof11[+]
X xqhof11: ()("two") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xqhof12[+]
X xqhof12: (concat("one ", ?, " three"), substring-before("one two three", ?), matches(?, "t.*o"), xs:NCName(?))("two") |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xqhof13[+]
X xqhof13: let $f := function($a) { node-name(.), $a } return <a/>/$f(5) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof14[+]
X xqhof14: let $f := name#0 return <a/>/$f() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof15[+]
X xqhof15: let $f := <b/>/name#0 return <a/>/$f() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof16[+]
X xqhof16: declare base-uri "main"; import module namespace lib = "lib"; lib:getfun()(), fn:static-base-uri#0(), fn:static-base-uri() |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof17[+]
X xqhof17: import module namespace lib = "lib"; <main/>/lib:getfun2()(), <main/>/name#0(), <main/>/name() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof18[+]
X xqhof18: declare base-uri "main"; import module namespace lib = "lib"; lib:getfun3()(xs:QName("fn:static-base-uri"),0)(), function-lookup#2(xs:QName("fn:static-base-uri"),0)(), function-lookup(xs:QName("fn:static-base-uri"),0)() |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| xqhof19[+]
X xqhof19: import module namespace lib = "lib"; <main/>/lib:getfun3()(xs:QName("fn:name"),0)(), <main/>/function-lookup#2(xs:QName("fn:name"),0)(), <main/>/function-lookup(xs:QName("fn:name"),0)() |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |