Change id: private-functions
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| fn-function-lookup-606[+]
X fn-function-lookup-606: xquery version "3.0"; declare %private function local:square($i as xs:integer) as xs:integer { $i*$i }; function-lookup(QName("http://www.w3.org/2005/xquery-local-functions", "square"), 1)(13) |
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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| fn-function-lookup-610[+]
X fn-function-lookup-610: xquery version "3.0"; declare %private function local:square($i as xs:integer) as xs:integer { $i*$i }; function-lookup(QName("http://www.w3.org/2005/xquery-local-functions", "square"), 1)(13, 12) |
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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| fn-function-lookup-611[+]
X fn-function-lookup-611: xquery version "3.0"; declare %private function local:square($i as xs:integer) as xs:integer { $i*$i }; function-lookup(QName("http://www.w3.org/2005/xquery-local-functions", "square"), 1)("banana") |
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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: ZSTR0040 |
| modules-pub-priv-1[+]
X modules-pub-priv-1: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g(42)}</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 |
| modules-pub-priv-2[+]
X modules-pub-priv-2: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs: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 |
| modules-pub-priv-3[+]
X modules-pub-priv-3: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:one)}</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 |
| modules-pub-priv-4[+]
X modules-pub-priv-4: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:two)}</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 |
| modules-pub-priv-5[+]
X modules-pub-priv-5: declare %public function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</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 |
| modules-pub-priv-6[+]
X modules-pub-priv-6: declare %private function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</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 |
| modules-pub-priv-7[+]
X modules-pub-priv-7: declare %public variable $i := 1; <a>{$i+1}</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 |
| modules-pub-priv-8[+]
X modules-pub-priv-8: declare %private variable $i := 1; <a>{$i+1}</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 |
| modules-pub-priv-9[+]
X modules-pub-priv-9: declare %public function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</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 |
| modules-pub-priv-10[+]
X modules-pub-priv-10: declare %private function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</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 |
| modules-pub-priv-11[+]
X modules-pub-priv-11: declare %public variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</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 |
| modules-pub-priv-12[+]
X modules-pub-priv-12: declare %private variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</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 |
| modules-pub-priv-13[+]
X modules-pub-priv-13: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:g(42) }; <a>{local:test()}</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 |
| modules-pub-priv-14[+]
X modules-pub-priv-14: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:f() }; <a>{local:test()}</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 |
| modules-pub-priv-17[+]
X modules-pub-priv-17: declare %public function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</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 |
| modules-pub-priv-18[+]
X modules-pub-priv-18: declare %private function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</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 |
| modules-pub-priv-21[+]
X modules-pub-priv-21: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:g(42); <a>{$test}</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 |
| modules-pub-priv-22[+]
X modules-pub-priv-22: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:f(); <a>{$test}</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 |
| modules-pub-priv-25[+]
X modules-pub-priv-25: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:h(42)}</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 |
| modules-pub-priv-26[+]
X modules-pub-priv-26: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{$defs:ninety}</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 |
| modules-pub-priv-27[+]
X modules-pub-priv-27: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv3"; <a>{defs:f(42)}</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 |
| modules-pub-priv-28[+]
X modules-pub-priv-28: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv2"; <a>{defs:fails()}</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 |
| modules-pub-priv-29[+]
X modules-pub-priv-29: declare %private %public function local:foo() { () }; local: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 |
| modules-pub-priv-30[+]
X modules-pub-priv-30: declare namespace xq="http://www.w3.org/2012/xquery"; declare %private %xq:public function local:foo() { () }; local: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 |
| modules-pub-priv-31[+]
X modules-pub-priv-31: declare %public %public function local:foo() { () }; local: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 |
| modules-pub-priv-32[+]
X modules-pub-priv-32: declare %private %private function local:foo() { () }; local: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 |
| modules-pub-priv-37[+]
X modules-pub-priv-37: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs:f#0() |
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 |
| modules-pub-priv-38[+]
X modules-pub-priv-38: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g#1(42)}</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 |