|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-FunctionDecl | 166/152 | 148/152 | 0/0 | 152/152 | 0/0 | 152/152 | 126/152 | 0/0 | 152/152 | 152/152 | 0/0 | 152/152 | 152/152 | 137/152 | 151/152 | 0/15 |
| function-declaration-001[+]
X function-declaration-001: declare namespace foo = "http://www..oracle.com/xquery/test"; declare function foo:price ($b as element()) as element()* { $b/price }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-002[+]
X function-declaration-002: declare function local:foo($n as xs:integer) { <tr> {$n} </tr> }; local:foo(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-003[+]
X function-declaration-003: declare function local:price ($i as element()) as element()? { $i/price }; for $j in /bib/book return local:price($j) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-004[+]
X function-declaration-004: declare function local:summary($emps as element(employee)*) as element(dept)* { for $d in distinct-values($emps/deptno) let $e := $emps[deptno = $d] return <dept> <deptno>{$d}</deptno> <headcount> {count($e)} </headcount> <payroll> {sum($e/salary)} </payroll> </dept> }; local:summary(//employee[location = "Denver"]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-005[+]
X function-declaration-005: declare function local:mysum($i as xs:integer, $j as xs:integer) { let $j := $i + $j return $j }; declare function local:invoke_mysum() { let $s := 1 for $d in (1,2,3,4,5) let $s := local:mysum($s, $d) return $s }; local:invoke_mysum() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-006[+]
X function-declaration-006: declare function local:mysum($i as xs:integer, $j as xs:integer) { let $j := $i + $j return $j }; declare function local:invoke_mysum($st as xs:integer) { for $d in (1,2,3,4,5) let $st := local:mysum($d, $st) return $st }; local:invoke_mysum(0) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-007[+]
X function-declaration-007: declare variable $a := 1; declare function local:foo($a as xs:integer) { if ($a > 100) then $a else let $a := $a + 1 return local:foo($a) }; local:foo($a) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-008[+]
X function-declaration-008: declare namespace my = "urn:foo"; declare function my:fact($n as xs:integer) as xs:integer { if ($n < 2) then 1 else $n * my:fact($n - 1) }; declare variable $my:ten := my:fact(10); <table> { for $i in 1 to 10 return <tr> <td>10!/{$i}! = {$my:ten div my:fact($i)}</td> </tr> } </table> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-009[+]
X function-declaration-009: declare function local:fact($n as xs:integer) as xs:integer { if ($n < 2) then 1 else $n * local:fact(($n)-1) }; <table> { for $i in 1 to 10 return <tr> <td>{$i}! = {local:fact($i)}</td> </tr> } </table> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-010[+]
X function-declaration-010: declare function local:prnt($n as xs:integer,$n2 as xs:string, $n3 as xs:date, $n4 as xs:long, $n5 as xs:string, $n6 as xs:decimal) { if ($n < 2) then 1 else concat($n, " ",$n2," ",$n3," ",$n4," ",$n5," ",$n6) }; <table> { <td>Value is = {local:prnt(4,xs:string("hello"),xs:date("2005-02-22"), xs:long(5),xs:string("well"),xs:decimal(1.2))}</td> } </table> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-011[+]
X function-declaration-011: declare function local:fn1 ($n as xs:integer) as xs:integer { local:fn2($n) }; declare function local:fn2 ($n as xs:integer) as xs:integer { if ($n = 1) then 1 else $n + local:fn1($n - 1) }; local:fn1(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-012[+]
X function-declaration-012: declare function local:fn1 ($n as xs:integer) as xs:integer { local:fn2($n) }; declare function local:fn2 ($n as xs:integer) as xs:integer { if ($n = 1) then 1 else $n + local:fn1($n - 1) }; local:fn1(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-013[+]
X function-declaration-013: declare function local:foo2($i as xs:string) as xs:string {local:foo($i)}; declare function local:foo($i as xs:string) as xs:string {$i}; local:foo2("abc") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-014[+]
X function-declaration-014: declare function local:odd($x as xs:integer) as xs:boolean {if ($x = 0) then false() else local:even($x - 1)}; declare function local:even($x as xs:integer) as xs:boolean {if ($x = 0) then true() else local:odd($x - 1)}; local:even(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-015[+]
X function-declaration-015: declare function local:odd($x as xs:integer) as xs:boolean {if ($x = 0) then false() else local:even($x - 1)}; declare function local:even($x as xs:integer) as xs:boolean {if ($x = 0) then true() else local:odd($x - 1)}; local:even(3) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-016[+]
X function-declaration-016: declare function local:title($a_book as element()) { for $i in $a_book return $i/title }; /bib/book/(local:title(.)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-017[+]
X function-declaration-017: declare default element namespace "http://www.example.com/filesystem"; declare variable $v as xs:integer := 100; declare function local:udf1 ($CUSTNO as xs:integer) { <empty> {$CUSTNO*$v} </empty> }; local:udf1(10) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-018[+]
X function-declaration-018: declare default element namespace "http://www.example.com/filesystem"; declare function local:udf1 () { <empty> {10*10} </empty> }; local:udf1 () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-019[+]
X function-declaration-019: declare default element namespace "http://www.example.com/def"; declare namespace test="http://www.example.com/test"; declare namespace test2="http://www.example.com/test2"; declare function test:udf1() { <empty> {10*10} </empty> }; declare function test2:udf1() { <empty/> }; <A> {test:udf1()} {test2:udf1()} </A> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-020[+]
X function-declaration-020: declare namespace foo = "http://www..oracle.com/xquery/test"; declare function foo:price () as xs:integer+ { 100 }; declare function foo:price ($z as xs:integer) as xs:integer+ { $z }; declare function foo:price ($x as xs:integer, $y as xs:integer) as xs:integer+ { $x, $y }; declare function foo:price ($x as xs:integer, $y as xs:integer, $z as xs:integer) as xs:integer+ { $x+$y+$z }; foo:price(), foo:price(1), foo:price(2,3), foo:price(4,5,6) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-021[+]
X function-declaration-021: declare function local:foo ($n as xs:integer) as xs:string { $n }; local:foo(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-022[+]
X function-declaration-022: declare function local:foo ($m as xs:integer) { $m }; declare function local:foo ($n as xs:integer) { $n }; local:foo(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-023[+]
X function-declaration-023: declare function foo ($n as xs:integer) { $n }; foo(4) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-024[+]
X function-declaration-024: declare function local:foo ($n as xs:integer, $n as xs:integer) { $n }; local:foo(4, 1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-025[+]
X function-declaration-025: declare default function namespace ""; declare function foo ($n as xs:integer, $m as xs:integer) { $n }; foo(4, 1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-declaration-026[+]
X function-declaration-026: declare variable $global := node(); declare function local:function() { exists($global) }; local:function() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-1[+]
X K-FunctionProlog-1: declare namespace test = "http://www.w3.org/2005/xpath-datatypes"; declare function test:myFunction() { 1}; 1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-2[+]
X K-FunctionProlog-2: declare function wrongNS() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-3[+]
X K-FunctionProlog-3: declare function xml:wrongNS() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-4[+]
X K-FunctionProlog-4: declare namespace my = "http://www.w3.org/2001/XMLSchema-instance"; declare function my:wrongNS() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-5[+]
X K-FunctionProlog-5: declare namespace my = "http://www.w3.org/2001/XMLSchema"; declare function my:wrongNS() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-6[+]
X K-FunctionProlog-6: declare function local:myFunction($arg = 1) {1}; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-7[+]
X K-FunctionProlog-7: declare function local:myFunction($arg = 1 as xs:integer) {1}; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-8[+]
X K-FunctionProlog-8: declare function local:myFunction($arg := 1) {1}; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-9[+]
X K-FunctionProlog-9: declare function local:myFunction($arg := 1 as xs:integer) {1}; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-10[+]
X K-FunctionProlog-10: declare function local:myFunction() as xs:double { "This is not a double, it's an xs:string." }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-11[+]
X K-FunctionProlog-11: declare function local:myFunction() as item() { () }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-12a[+]
X K-FunctionProlog-12a: declare function local:computeSum() { $myVariable }; declare variable $myVariable := 1; 1 |
fail | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | pass | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| K-FunctionProlog-12b[+]
X K-FunctionProlog-12b: declare function local:computeSum() { $myVariable }; declare variable $myVariable := 1; 1 |
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 | |
| K-FunctionProlog-13[+]
X K-FunctionProlog-13: declare function local:computeSum() { $prefix:myVariable }; declare namespaces prefix = "example.com/Anamespace"; 1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-14[+]
X K-FunctionProlog-14: declare function local:myFunction() as xs:integer { subsequence((1, 2, "a string"), 3 ,1) }; fn:boolean(local:myFunction()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-15[+]
X K-FunctionProlog-15: declare function local:myFunction() as xs:anyURI { 1 }; true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-16[+]
X K-FunctionProlog-16: declare function local:myFunction as xs:integer { 1 }; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-17[+]
X K-FunctionProlog-17: declare function local:myFunction { 1 }; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-18[+]
X K-FunctionProlog-18: declare variable $var1 := 1; declare function local:func1() as xs:integer { $var1 }; declare variable $var2 := 2; declare function local:func2() as xs:integer { $var2 }; 1 eq local:func1() and 2 eq local:func2() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-19[+]
X K-FunctionProlog-19: declare function local:func1($a1, $a2, $a3) { 1 }; local:func1(1, 2, 3) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-20[+]
X K-FunctionProlog-20: declare function local:func($choose, $whenTrue, $whenFalse) { if($choose) then $whenTrue else $whenFalse }; local:func(true(), current-time(), current-date()) instance of xs:time and local:func(false(), current-time(), current-date()) instance of xs:date |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-21[+]
X K-FunctionProlog-21: declare function local:func($a as xs:integer, $unused, $c as xs:integer) { $a + $c }; local:func(1, 2, 3) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-22[+]
X K-FunctionProlog-22: declare function local:func($unused, $b as xs:integer, $c as xs:integer) { $b + $c }; local:func(1, 2, 3) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-23[+]
X K-FunctionProlog-23: declare function local:func($a as xs:integer, $b as xs:integer, $unused) { $a + $b }; local:func(1, 2, 3) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-24[+]
X K-FunctionProlog-24: declare function wrongNS() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-25[+]
X K-FunctionProlog-25: declare variable $local:myName := 1; declare function local:myName() as xs:integer { 1 }; $local:myName eq local:myName() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-26[+]
X K-FunctionProlog-26: declare function local:myName() { 1 }; declare function local:myName() { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-27[+]
X K-FunctionProlog-27: declare function local:myName() as xs:integer { 1 }; declare function local:myName() as xs:nonPositiveInteger { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-28[+]
X K-FunctionProlog-28: declare function local:myName($myvar as xs:integer) { 1 }; declare function local:myName($myvar as xs:nonPositiveInteger) { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-29[+]
X K-FunctionProlog-29: declare function local:myName($myvar) { 1 }; declare function local:myName($myvar2) { 1 }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-30[+]
X K-FunctionProlog-30: declare function local:myName($var as xs:integer) as xs:integer { $var }; declare function local:myName() as xs:integer { 1 }; (local:myName(4) - 3) eq local:myName() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-31[+]
X K-FunctionProlog-31: declare function fn:count($var) { fn:count($var) }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-32[+]
X K-FunctionProlog-32: declare function xs:gYear($arg as xs:anyAtomicType?) as xs:gYear? { xs:gYear($arg) }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-33[+]
X K-FunctionProlog-33: declare function local:myFunction() { "a string" + 1 }; true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-34[+]
X K-FunctionProlog-34: declare function local:MyFunction() { 1 }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-35[+]
X K-FunctionProlog-35: declare function local:MyFunction() { 1 }; local:myFunctionn() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-36[+]
X K-FunctionProlog-36: declare function local:MyFunction($myArg) { 0 }; $myArg |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-37[+]
X K-FunctionProlog-37: declare function local:MyFunction($myArg) { 0 }; declare function local:MyFunction2($myArg2) { $myArg }; 1 |
fail | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-38[+]
X K-FunctionProlog-38: declare function local:MyFunction($myArg) { $myArg2 }; declare function local:MyFunction2($myArg2) { 0 }; 1 |
fail | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-39[+]
X K-FunctionProlog-39: declare variable $local:myVar := 1; declare function local:myFunction($local:myVar) { $local:myVar }; $local:myVar, local:myFunction(2) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-40[+]
X K-FunctionProlog-40: declare function local:myFunction($local:myVar as xs:integer) { for $local:myVar in ($local:myVar, 3) return $local:myVar }; deep-equal(local:myFunction(1), (1, 3)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-41[+]
X K-FunctionProlog-41: declare function local:myFunction($local:myVar) { $local:myVar + 1 }; local:myFunction(1), local:myFunction("this will fail") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-42[+]
X K-FunctionProlog-42: declare function local:myFunction($local:arg) as item() { 1, $local:arg }; local:myFunction(()), local:myFunction(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-43[+]
X K-FunctionProlog-43: declare function local:myFunction($arg as item(), $arg2 as xs:integer) { $arg, $arg2 }; local:myFunction("3", "3") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-44[+]
X K-FunctionProlog-44: declare function local:myFunction($arg as item(), $arg2 as xs:integer) { $arg, $arg2 }; local:myFunction("3", ()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-45[+]
X K-FunctionProlog-45: declare function local:myFunction($arg as item()?, $arg2 as xs:integer) { $arg, $arg2 }; local:myFunction((), 4.1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-46[+]
X K-FunctionProlog-46: declare function local:myFunction($arg as empty-sequence()) { $arg }; local:myFunction(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-47[+]
X K-FunctionProlog-47: declare function local:myFunction($arg as empty-sequence()+) { $arg }; local:myFunction(()) |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-48[+]
X K-FunctionProlog-48: declare function local:myFunction($arg as empty-sequence()?) { $arg }; local:myFunction(()) |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-49[+]
X K-FunctionProlog-49: declare function local:myFunction($arg as empty-sequence()) { $arg }; empty(local:myFunction(())) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-50[+]
X K-FunctionProlog-50: declare function local:myFunction($arg) as empty-sequence() { $arg }; local:myFunction(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-51[+]
X K-FunctionProlog-51: declare function local:myFunction($arg) { $arg }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-52[+]
X K-FunctionProlog-52: declare function local:myFunction() as empty-sequence() { fn:error() }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-53[+]
X K-FunctionProlog-53: declare namespace my = "http://example.com/MyNamespace/"; declare variable $my:error-qname := QName("http:example.org/", "prefix:ncname"); declare function my:error($choice, $msg as xs:string) as empty-sequence() { if($choice) then error($my:error-qname, concat('No luck: ', $msg)) else () }; empty((my:error(false(), "msg"), my:error(false(), "The message"))) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-54[+]
X K-FunctionProlog-54: declare namespace my = "http://example.com/MyNamespace/"; declare variable $my:error-qname := QName("http://example.com/MyErrorNS", "my:qName"); declare function my:error($msg as xs:string) as empty-sequence() { error($my:error-qname, concat('No luck: ', $msg)) }; my:error("The message") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-55[+]
X K-FunctionProlog-55: declare namespace my = "http://example.com/MyNamespace/"; declare variable $my:error-qname := QName("http://example.com/MyErrorNS", "my:qName"); declare function my:error($choice, $msg as xs:string) as empty-sequence() { if($choice) then error($my:error-qname, concat('No luck: ', $msg)) else () }; my:error(false(), "msg"), my:error(true(), "The message") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-56[+]
X K-FunctionProlog-56: declare namespace my = "http://example.com/MyNamespace/"; declare variable $my:error-qname := QName("http://example.com/MyErrorNS", "my:qName"); declare function my:error($choice, $msg as xs:string) as empty-sequence() { if($choice) then error($my:error-qname, concat('No luck: ', $msg)) else () }; empty((my:error(false(), "msg"), my:error(false(), "The message"))) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-57[+]
X K-FunctionProlog-57: declare function local:error() as none { 1 }; local:error() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-58[+]
X K-FunctionProlog-58: declare function local:error() as none() { 1 }; local:error() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-59[+]
X K-FunctionProlog-59: declare function local:myFunction($unusedArg) { true() }; local:myFunction(1 + "a string") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-60[+]
X K-FunctionProlog-60: declare function local:myFunction($arg) { 1 }; $arg |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-61[+]
X K-FunctionProlog-61: declare function local:myFunction($arg, $arg2, $arg3) { 1 }; $arg3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-62[+]
X K-FunctionProlog-62: declare variable $my := 3; declare function local:myFunction($my, $arg2, $arg4) { 1 }; $my eq 3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-63[+]
X K-FunctionProlog-63: local:myFunction(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-64[+]
X K-FunctionProlog-64: declare namespace my = "http://example.com/ANamespace"; my:function(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-65[+]
X K-FunctionProlog-65: declare function local:myFunction() as empty-sequence() { fn:error() }; QName("http://example.com/ANamespace", local:myFunction()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-66[+]
X K-FunctionProlog-66: declare function local:myFunction() { fn:error() }; QName("http://example.com/ANamespace", local:myFunction()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-67[+]
X K-FunctionProlog-67: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function local:is() as xs:integer { 1 }; is() eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-FunctionProlog-68[+]
X K-FunctionProlog-68: declare function local:myFunction($usedArg) { $usedArg }; local:myFunction(1 + "a string") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-1[+]
X K2-FunctionProlog-1: declare function local:myFunction($arg as xs:integer) as xs:integer { ((if($arg eq 1) then 1 else $arg - 1), current-time())[1] treat as xs:integer }; local:myFunction(1) eq local:myFunction(2) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-2[+]
X K2-FunctionProlog-2: declare function local:myFunction($arg as xs:integer) as xs:integer { ((if($arg eq 1) then 1 else $arg - 1), current-time())[1] treat as xs:integer }; not(local:myFunction(1) ne local:myFunction(2)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-3[+]
X K2-FunctionProlog-3: declare function local:myFunction($arg as xs:integer) as xs:integer { ((if($arg eq 1) then 1 else $arg - 1), current-time())[1] treat as xs:integer }; local:myFunction(1) = local:myFunction(2) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-4[+]
X K2-FunctionProlog-4: declare function local:myFunction($arg as xs:integer) as xs:integer { ((if($arg eq 1) then 1 else $arg - 1), current-time())[1] treat as xs:integer }; not(local:myFunction(1) != local:myFunction(2)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-5[+]
X K2-FunctionProlog-5: declare function local:myFunction($arg as xs:integer) { $arg }; local:myFunction(1.0) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-6[+]
X K2-FunctionProlog-6: declare function local:myFunction() as xs:integer { 1.0 }; local:myFunction() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-7[+]
X K2-FunctionProlog-7: declare function local:myFunction() as xs:float { 4.0 }; (current-time(), 1, 2, "a string", local:myFunction(), 4.0, xs:double("NaN"), current-date())[5] instance of xs:float |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-8[+]
X K2-FunctionProlog-8: declare function local:myFunction($arg as xs:integer) as xs:integer { if($arg eq 1) then $arg else local:myFunction3($arg - 1) }; declare function local:myFunction2($arg as xs:integer) as xs:integer { local:myFunction($arg) }; declare function local:myFunction3($arg as xs:integer) as xs:integer { local:myFunction2($arg) }; local:myFunction3(3) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-9[+]
X K2-FunctionProlog-9: declare function local:multiplySequence($input as xs:integer*) as xs:integer { if (empty($input)) then 1 else $input[1] * local:multiplySequence($input[position() != 1]) }; local:multiplySequence((1, 2, 3, 4, 5)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-10[+]
X K2-FunctionProlog-10: declare default function namespace "http://example.com"; declare function _() { 1 }; _() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-11[+]
X K2-FunctionProlog-11: declare function local:_() { 1 }; local:_() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-12[+]
X K2-FunctionProlog-12: declare function local:_($arg as node()) { $arg }; local:_(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-13[+]
X K2-FunctionProlog-13: declare function local:_($arg as attribute()?) { 1 }; local:_(1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-14[+]
X K2-FunctionProlog-14: declare function local:myFunc() { e }; <e/>/local:myFunc()/1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-15[+]
X K2-FunctionProlog-15: declare variable $var1 := let $var1 := 1 return 1; $var1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-16[+]
X K2-FunctionProlog-16: declare function local:myFunction() as item()* {***}; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-17[+]
X K2-FunctionProlog-17: declare function local:func() as xs:integer { <e>1</e> }; local:func() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-18[+]
X K2-FunctionProlog-18: declare function local:func() as xs:integer { attribute name {"1"} }; local:func() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-19[+]
X K2-FunctionProlog-19: declare function local:func() as xs:integer { document {"1"} }; local:func() |
pass | fail | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-20[+]
X K2-FunctionProlog-20: declare function local:func() as xs:integer { <!--1--> }; local:func() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-21[+]
X K2-FunctionProlog-21: declare function local:func() as xs:integer { <?target 1?> }; local:func() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-22[+]
X K2-FunctionProlog-22: declare function local:func() as xs:integer? { text {"1"} }; local:func() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-23[+]
X K2-FunctionProlog-23: declare function local:recursiveFunction($i as xs:integer) as xs:integer { if($i eq 5) then $i else local:recursiveFunction($i + 1) }; declare function local:proxy() as xs:integer { local:recursiveFunction(0) + 3 }; local:proxy() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-24[+]
X K2-FunctionProlog-24: declare function local:distinct-nodes-stable ($arg as node()*) as xs:boolean* { for $a in $arg return $a }; local:distinct-nodes-stable((<element1/>,<element2/>)) |
pass | wrongError
expected: FORG0001 actualCode: XPTY0004 |
pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-25[+]
X K2-FunctionProlog-25: declare function local:myFunc($recurse as xs:integer) { attribute {concat("name", $recurse)} {()} , if ($recurse = 0) then () else local:myFunc($recurse - 1) }; <e> { local:myFunc((2, current-time())[1] treat as xs:integer) } </e> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-26[+]
X K2-FunctionProlog-26: declare function local:myFunc() as element(foo) { <bar/> }; local:myFunc() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-27[+]
X K2-FunctionProlog-27: declare function local:myFunc() as attribute(foo) { <foo/> }; local:myFunc() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-28[+]
X K2-FunctionProlog-28: declare function local:levenshtein($arg1 as xs:string, $arg2 as xs:string) as xs:decimal { if(string-length($arg1) = 0) then string-length($arg2) else if(string-length($arg2) = 0) then string-length($arg1) else min((local:levenshtein(substring($arg1, 2), $arg2) + 1, local:levenshtein($arg1, substring($arg2, 2)) + 1, local:levenshtein(substring($arg1, 2), substring($arg2, 2)) + (if(substring($arg1, 1, 1) = substring($arg2, 1, 1)) then 0 else 1))) }; local:levenshtein("a", "a"), local:levenshtein("aa", "aa"), local:levenshtein("aaa", "aaa"), local:levenshtein("aa a", "aa a"), local:levenshtein("a a a", "aaa"), local:levenshtein("aaa", "a a a"), local:levenshtein("aaa", "aaab"), local:levenshtein("978", "abc") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-29[+]
X K2-FunctionProlog-29: function gt function |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-30[+]
X K2-FunctionProlog-30: declare function local:foo($arg) as xs:boolean { $arg }; local:foo(<e/>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-31[+]
X K2-FunctionProlog-31: declare function local:foo($arg) as xs:boolean* { $arg }; local:foo((<e>true</e>, true(), xs:untypedAtomic("false"), false(), <e> true </e>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-32[+]
X K2-FunctionProlog-32: declare function local:foo($arg ) as xs:boolean* { $arg }; local:foo(current-date()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-33[+]
X K2-FunctionProlog-33: declare function local:foo($arg ) as xs:boolean* { $arg }; local:foo((<e>true</e>, true(), xs:untypedAtomic("false"), false(), <e> true </e>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-34[+]
X K2-FunctionProlog-34: declare function local:foo($arg) as xs:boolean* { $arg }; local:foo((true(), xs:untypedAtomic("false"))), local:foo((false(), xs:untypedAtomic("false"))) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-35[+]
X K2-FunctionProlog-35: declare function local:foo($arg) as xs:boolean* { $arg }; local:foo(xs:untypedAtomic("false")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-36[+]
X K2-FunctionProlog-36: declare function local:foo($arg) as xs:boolean { $arg }; local:foo(xs:untypedAtomic("false")) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-37[+]
X K2-FunctionProlog-37: declare function local:foo($arg ) as xs:boolean* { $arg }; local:foo((<e>true</e>, true(), xs:untypedAtomic("false"), false(), <e> true </e>)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-38[+]
X K2-FunctionProlog-38: declare function local:foo() as xs:boolean { text {local:doesNotExist()} }; 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-39[+]
X K2-FunctionProlog-39: declare variable $A:=(<A>{local:functionA()}</A>); declare function local:functionA() as element() { <input>testing ...</input> }; declare function local:functionB ( ) as xs:string { xs:string($A) }; local:functionB() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-FunctionProlog-40[+]
X K2-FunctionProlog-40: declare variable $A:=(<A>{local:functionA()}</A>); declare function local:functionA() as element() { <input>testing ...</input> }; declare function local:functionB ( ) as xs:string { $A }; local:functionB() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-function-decl-001[+]
X cbcl-function-decl-001: declare function local:nothing() as empty-sequence() { () }; empty(local:nothing()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-function-declaration-002[+]
X cbcl-function-declaration-002: declare function local:count($x) { count($x) }; local:count((1 to 100000, 1 to 100000)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| function-decl-reserved-function-names-001[+]
X function-decl-reserved-function-names-001: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function attribute() { fn:true() }; local:attribute() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-002[+]
X function-decl-reserved-function-names-002: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function attribute() { fn:true() }; local:attribute() |
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 | |
| function-decl-reserved-function-names-003[+]
X function-decl-reserved-function-names-003: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function comment() { fn:true() }; local:comment() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-004[+]
X function-decl-reserved-function-names-004: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function comment() { fn:true() }; local:comment() |
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 | |
| function-decl-reserved-function-names-005[+]
X function-decl-reserved-function-names-005: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function document-node() { fn:true() }; local:document-node() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-006[+]
X function-decl-reserved-function-names-006: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function document-node() { fn:true() }; local:document-node() |
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 | |
| function-decl-reserved-function-names-007[+]
X function-decl-reserved-function-names-007: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function element() { fn:true() }; local:element() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-008[+]
X function-decl-reserved-function-names-008: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function element() { fn:true() }; local:element() |
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 | |
| function-decl-reserved-function-names-009[+]
X function-decl-reserved-function-names-009: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function empty-sequence() { fn:true() }; local:empty-sequence() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-010[+]
X function-decl-reserved-function-names-010: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function empty-sequence() { fn:true() }; local:empty-sequence() |
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 | |
| function-decl-reserved-function-names-011[+]
X function-decl-reserved-function-names-011: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function function() { fn:true() }; local:function() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | pass | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-012[+]
X function-decl-reserved-function-names-012: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function function() { fn:true() }; local:function() |
pass | fail | 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. |
fail | |
| function-decl-reserved-function-names-013[+]
X function-decl-reserved-function-names-013: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function if() { fn:true() }; local:if() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-014[+]
X function-decl-reserved-function-names-014: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function if() { fn:true() }; local:if() |
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 | |
| function-decl-reserved-function-names-015[+]
X function-decl-reserved-function-names-015: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function item() { fn:true() }; local:item() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-016[+]
X function-decl-reserved-function-names-016: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function item() { fn:true() }; local:item() |
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 | |
| function-decl-reserved-function-names-017[+]
X function-decl-reserved-function-names-017: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function namespace-node() { fn:true() }; local:namespace-node() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-018[+]
X function-decl-reserved-function-names-018: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function namespace-node() { fn:true() }; local:namespace-node() |
pass | fail | 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 | |
| function-decl-reserved-function-names-019[+]
X function-decl-reserved-function-names-019: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function node() { fn:true() }; local:node() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-020[+]
X function-decl-reserved-function-names-020: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function node() { fn:true() }; local:node() |
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 | |
| function-decl-reserved-function-names-021[+]
X function-decl-reserved-function-names-021: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function processing-instruction() { fn:true() }; local:processing-instruction() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-022[+]
X function-decl-reserved-function-names-022: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function processing-instruction() { fn:true() }; local:processing-instruction() |
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 | |
| function-decl-reserved-function-names-023[+]
X function-decl-reserved-function-names-023: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function schema-attribute() { fn:true() }; local:schema-attribute() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-024[+]
X function-decl-reserved-function-names-024: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function schema-attribute() { fn:true() }; local:schema-attribute() |
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 | |
| function-decl-reserved-function-names-025[+]
X function-decl-reserved-function-names-025: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function schema-element() { fn:true() }; local:schema-element() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-026[+]
X function-decl-reserved-function-names-026: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function schema-element() { fn:true() }; local:schema-element() |
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 | |
| function-decl-reserved-function-names-027[+]
X function-decl-reserved-function-names-027: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function switch() { fn:true() }; local:switch() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-028[+]
X function-decl-reserved-function-names-028: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function switch() { fn:true() }; local:switch() |
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 | |
| function-decl-reserved-function-names-029[+]
X function-decl-reserved-function-names-029: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function text() { fn:true() }; local:text() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-030[+]
X function-decl-reserved-function-names-030: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function text() { fn:true() }; local:text() |
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 | |
| function-decl-reserved-function-names-031[+]
X function-decl-reserved-function-names-031: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function typeswitch() { fn:true() }; local:typeswitch() |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | fail | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| function-decl-reserved-function-names-032[+]
X function-decl-reserved-function-names-032: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function typeswitch() { fn:true() }; local:typeswitch() |
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 | |