|
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-random-number-generator* | 37/43 | 40/40 | 43/43 | 40/40 | 43/43 | 43/0 | 0/6 |
fn-random-number-generator-1[+]
X fn-random-number-generator-1: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator() |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-2[+]
X fn-random-number-generator-2: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-3[+]
X fn-random-number-generator-3: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: random-number-generator()?number ge 0 |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-4[+]
X fn-random-number-generator-4: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := random-number-generator()?number return ($r ge 0 and $r lt 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-5[+]
X fn-random-number-generator-5: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := random-number-generator()?number return ($r lt 0 or $r ge 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-6[+]
X fn-random-number-generator-6: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?next() |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-7[+]
X fn-random-number-generator-7: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?next()?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-8[+]
X fn-random-number-generator-8: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := fn:random-number-generator()?next()?number return ($r ge 0 and $r lt 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-9[+]
X fn-random-number-generator-9: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := fn:random-number-generator()?next()?number return ($r lt 0 or $r ge 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-10[+]
X fn-random-number-generator-10: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator(23482) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-11[+]
X fn-random-number-generator-11: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator(0000)?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-12[+]
X fn-random-number-generator-12: Created on: 2015-01-26 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: random-number-generator(3147)?number ge 0 |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-13[+]
X fn-random-number-generator-13: Created on: 2015-01-26 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := random-number-generator("random")?number return ($r ge 0 and $r lt 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-14[+]
X fn-random-number-generator-14: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator(0000)?next() |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-15[+]
X fn-random-number-generator-15: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?next()?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-16[+]
X fn-random-number-generator-16: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $r := fn:random-number-generator()?next()?number return ($r ge 0 and $r lt 1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-17[+]
X fn-random-number-generator-17: Created on: 2015-01-26 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?permute(1 to 100) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-18[+]
X fn-random-number-generator-18: Created on: 2015-01-26 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?permute(("a","b","c","d","e","f","g")) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-19[+]
X fn-random-number-generator-19: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: subsequence(fn:random-number-generator()?permute(("a","b","c","d","e","f","g")),2,5) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-20[+]
X fn-random-number-generator-20: Created on: 2015-01-23 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?permute(("a","b","c","d","e","f","g")) => subsequence(2,5) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-21[+]
X fn-random-number-generator-21: Created on: 2015-01-23 Spec Dependencies: spec = XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: declare namespace r="http://example.com/random/"; declare %public function r:random-sequence($length as xs:integer) as xs:double* { r:random-sequence($length, fn:random-number-generator()) }; declare %private function r:random-sequence($length as xs:integer, $G as map(xs:string, item())) { if ($length eq 0) then () else ($G?number, r:random-sequence($length - 1, $G?next())) }; r:random-sequence(200) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
fn-random-number-generator-22[+]
X fn-random-number-generator-22: Created on: 2015-01-18 Spec Dependencies: spec = XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: declare function local:random-sequence($length as xs:integer) as xs:double* { local:random-sequence($length, fn:random-number-generator()) }; declare function local:random-sequence($length as xs:integer, $G as map(xs:string, item())) { if ($length eq 0) then () else ($G?number, local:random-sequence($length - 1, $G?next())) }; let $r := local:random-sequence(200) return if (not(count(distinct-values($r)) >= 0.5*count($r))) then fn:false() else if (not(not(deep-equal($r, fn:sort($r))))) then fn:false() else if (not(count($r[. lt 0.5]) > 0.2*count($r) and count($r[. gt 0.5]) > 0.2*count($r))) then fn:false() else fn:true() |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
fn-random-number-generator-23[+]
X fn-random-number-generator-23: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: let $G := fn:random-number-generator(fn:current-dateTime()) return deep-equal($G?permute(1 to 100), $G?next()?permute(1 to 100)) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-24[+]
X fn-random-number-generator-24: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: deep-equal(fn:random-number-generator(fn:current-dateTime())?permute(1 to 100), fn:random-number-generator(fn:current-dateTime())?permute(1 to 100)) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-25[+]
X fn-random-number-generator-25: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: deep-equal(fn:random-number-generator()?permute(1 to 100), fn:random-number-generator()?permute(1 to 100)) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-26[+]
X fn-random-number-generator-26: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: deep-equal(fn:random-number-generator(0)?permute(1 to 100), fn:random-number-generator(1)?permute(1 to 100)) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-27[+]
X fn-random-number-generator-27: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator(xs:double('NaN'))?permute(1) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-28[+]
X fn-random-number-generator-28: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator('a')?permute((1 to 100)[. lt 0]) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-29[+]
X fn-random-number-generator-29: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: map:keys(fn:random-number-generator('a')) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-30[+]
X fn-random-number-generator-30: Created on: 2015-04-22 Spec Dependencies: spec = XP31+ XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator('a')?next => fn:apply([]) => fn:apply(["number"]) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-31[+]
X fn-random-number-generator-31: Created on: 2015-04-22 Spec Dependencies: spec = XQ31+ spec = XP31+ XQ31+ feature = higherOrderFunctions Test: declare function local:test($f as function(*)) as xs:integer { count($f('zzz')) }; local:test(fn:random-number-generator()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
fn-random-number-generator-32[+]
X fn-random-number-generator-32: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( () ) |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-33[+]
X fn-random-number-generator-33: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( () )?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-34[+]
X fn-random-number-generator-34: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: random-number-generator()?number eq random-number-generator( () )?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-35[+]
X fn-random-number-generator-35: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?next |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-36[+]
X fn-random-number-generator-36: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( () )?next |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-37[+]
X fn-random-number-generator-37: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( 0 )?next |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-38[+]
X fn-random-number-generator-38: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( () )?next() |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-39[+]
X fn-random-number-generator-39: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?next()?number eq fn:random-number-generator( () )?next()?number |
pass | pass | pass | pass | pass | pass | |
fn-random-number-generator-40[+]
X fn-random-number-generator-40: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator()?permute |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-41[+]
X fn-random-number-generator-41: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( () )?permute |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-42[+]
X fn-random-number-generator-42: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: fn:random-number-generator( 0 )?permute |
fail | pass | pass | pass | pass | pass | |
fn-random-number-generator-43[+]
X fn-random-number-generator-43: Created on: 2016-06-13 Spec Dependencies: spec = XP31+ XQ31+ feature = higherOrderFunctions Test: deep-equal(fn:random-number-generator()?permute(1 to 100), fn:random-number-generator( () )?permute(1 to 100)) |
pass | pass | pass | pass | pass | pass |