Change id: declaration-cycles
| 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-613[+]
X fn-function-lookup-613: declare variable $n external := xs:QName('local:return-v'); declare variable $v := function-lookup($n, 0)(); declare function local:return-v() {$v + 1}; $v |
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 |
| contextDecl-015[+]
X contextDecl-015: declare variable $y := /works/employee; declare context item := $y[9]; declare variable $x external := if (./*) then fn:position() else 0; ($x, $y) |
pass | wrongError
expected: XQDY0054 actualCode: XPDY0002 |
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 |
| contextDecl-053[+]
X contextDecl-053: declare variable $p := "base-uri"; declare variable $f := function-lookup(xs:QName("fn:"||$p), 0); declare context item := $f(); . |
pass | wrongError
expected: XQDY0054 actualCode: FOFL0001 |
wrongError
Expected error:XQDY0054, got err:XPDY0002 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQDY0054, got err:XPDY0002 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| vardeclerr[+]
X vardeclerr: declare namespace foo = "http://www..oracle.com/xquery/test"; declare variable $var1 as xs:integer := foo:price(xs:integer(2)); declare function foo:price ($b as xs:integer) as xs:integer { $var1 + 1 }; declare variable $input-context1 external; $var1 |
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. |
| vardeclerr-1[+]
X vardeclerr-1: declare namespace foo = "http://www..oracle.com/xquery/test"; declare variable $var1 as xs:integer := foo:price(xs:integer(2)); declare function foo:price ($b as xs:integer) as xs:integer { $var1 + 1 }; declare variable $input-context1 external; $var1 |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-1a[+]
X K2-InternalVariablesWithout-1a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { local:myFunction(), 1, $local:myVar }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-2a[+]
X K2-InternalVariablesWithout-2a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-3a[+]
X K2-InternalVariablesWithout-3a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-4a[+]
X K2-InternalVariablesWithout-4a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-5a[+]
X K2-InternalVariablesWithout-5a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { $local:myVar, 1, local:myFunction() }; declare function local:myFunction() { local:myFunction2() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-6a[+]
X K2-InternalVariablesWithout-6a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction() { local:myFunction2() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-7a[+]
X K2-InternalVariablesWithout-7a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction4() { local:myFunction2() }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-8a[+]
X K2-InternalVariablesWithout-8a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction4() }; declare function local:myFunction4() { local:myFunction2(), $local:myVar }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |
| K2-InternalVariablesWithout-9a[+]
X K2-InternalVariablesWithout-9a: declare variable $local:myVar := local:myFunc(3); declare function local:myFunc($arg) { local:myFunc($local:myVar) }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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-InternalVariablesWith-16a[+]
X K-InternalVariablesWith-16a: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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-InternalVariablesWith-17[+]
X K-InternalVariablesWith-17: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { 1 }; true() |
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. |
| K-InternalVariablesWith-17a[+]
X K-InternalVariablesWith-17a: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { 1 }; true() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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-InternalVariablesWith-18[+]
X K-InternalVariablesWith-18: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { $arg2 }; $var |
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. |
| K-InternalVariablesWith-18a[+]
X K-InternalVariablesWith-18a: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { $arg2 }; $var |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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-InternalVariablesWith-19[+]
X K-InternalVariablesWith-19: declare variable $var2 := local:func1(); declare variable $var := ($var2 treat as xs:integer) + 1; declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
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. |
| K-InternalVariablesWith-19a[+]
X K-InternalVariablesWith-19a: declare variable $var2 := local:func1(); declare variable $var := ($var2 treat as xs:integer) + 1; declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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-InternalVariablesWith-20[+]
X K-InternalVariablesWith-20: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare variable $var2 := local:func2(); declare function local:func3() { $var2 }; boolean($var) |
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. |
| K-InternalVariablesWith-20a[+]
X K-InternalVariablesWith-20a: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare variable $var2 := local:func2(); declare function local:func3() { $var2 }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 |