Change id: default-external-var
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| K2-ExternalVariablesWithout-18b[+]
X K2-ExternalVariablesWithout-18b: declare variable $var external := 1; 1 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-001[+]
X extvardef-001: declare variable $ext external := 0; <a>{$ext}</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 |
| extvardef-001a[+]
X extvardef-001a: declare variable $ext external := 0; $ext |
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 |
| extvardef-002[+]
X extvardef-002: declare variable $ext as xs:integer external := 0; <a>{$ext}</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 |
| extvardef-002a[+]
X extvardef-002a: declare variable $ext as xs:integer external := 0; <a>{$ext}</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 |
| extvardef-002b[+]
X extvardef-002b: declare variable $ext as xs:integer external := 0; <a>{$ext}</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 |
| extvardef-003[+]
X extvardef-003: declare variable $ext as xs:integer* external := (0,1,2); <a>{sum($ext)}</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 |
| extvardef-003a[+]
X extvardef-003a: declare variable $ext as xs:integer* external := (0,1,2); <a>{sum($ext)}</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 |
| extvardef-003b[+]
X extvardef-003b: declare variable $ext as xs:integer* external := (0,1,2); <a>{sum($ext)}</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 |
| extvardef-004[+]
X extvardef-004: declare variable $ext as xs:integer* external := 0,1,2; <a>{sum($ext)}</a> |
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 |
| extvardef-005[+]
X extvardef-005: declare variable $ext as xs:integer* external := ; <a></a> |
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 |
| extvardef-006[+]
X extvardef-006: declare variable $var as xs:integer := 17; declare variable $ext as element(a) external := <a>{$var}</a>; <out>{$ext}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-006a[+]
X extvardef-006a: declare variable $var as xs:integer := 17; declare variable $ext as xs:integer external := $var; <out>{$ext}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-006b[+]
X extvardef-006b: declare variable $var as xs:integer := 17; declare variable $ext as xs:integer external := <a>{$var}</a>; <out>{$ext}</out> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-007[+]
X extvardef-007: declare variable $ext as xs:date external := current-date() + xs:dayTimeDuration('P30D'); $ext gt xs:date('2008-12-30') |
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 |
| extvardef-008[+]
X extvardef-008: declare variable $x external; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-009[+]
X extvardef-009: declare variable $x external; "result" |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-010[+]
X extvardef-010: declare variable $a := 1; declare variable $x external := $a + $b; declare variable $b external := 2; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-010a[+]
X extvardef-010a: declare variable $a external := 6 + local:foo(); declare variable $b external := 12; declare function local:foo() { $b + 10 }; $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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-011[+]
X extvardef-011: declare variable $a := $x; declare variable $x external := $a + 2; $x |
pass | wrongError
expected: XQDY0054 actualCode: XPST0008 |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-011a[+]
X extvardef-011a: declare variable $x external := 3 + local:foo(); declare variable $b external := 2 + local:foo(); declare function local:foo() { $b }; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-012[+]
X extvardef-012: declare function local:aaa() { 1 }; declare variable $x external := local:bbb() + local:aaa(); declare function local:bbb() { 2 }; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-013[+]
X extvardef-013: declare variable $y external; declare variable $z external := 10; declare function local:aaa() { $z }; declare variable $x external := local:bbb() + local:aaa() + 2; declare function local:bbb() { $y }; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-014[+]
X extvardef-014: declare variable $x external := /works/employee[@name eq "Jane Doe 1"]; fn:count($x) |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-015[+]
X extvardef-015: declare variable $y := /works/employee; declare context item := $y[9]; declare variable $x external := fn:position(); $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-016a[+]
X extvardef-016a: declare variable $y := (<a>1</a>,<a>2</a>,<a>3</a>,<a>4</a>,<a>5</a>,<a>6</a>,<a>7</a>,<a>8</a>,<a>9</a>,<a>10</a>); declare context item := $y[3]; declare variable $x external := fn:position(); $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-016b[+]
X extvardef-016b: declare variable $y := <root><a>1</a>,<a>2</a>,<a>3</a>,<a>4</a>,<a>5</a>,<a>6</a>,<a>7</a>,<a>8</a>,<a>9</a>,<a>10</a></root>; declare context item := $y; declare variable $x external := fn:last(); $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-017[+]
X extvardef-017: declare variable $x as xs:decimal external := xs:integer(10); $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-018[+]
X extvardef-018: declare variable $x external := $a + 10; $x |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-019[+]
X extvardef-019: declare variable $x external := 10; declare variable $y external := 18 + $x; $y |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-020[+]
X extvardef-020: declare variable $x external := 5; declare variable $a := $x + 2; declare function local:foo() {$x +$a}; declare variable $y external := 11 + local:foo() + $x; $y |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-021[+]
X extvardef-021: declare variable $x as xs:integer external := xs:int(5); declare variable $y as xs:decimal external := $x; $y instance of xs:decimal |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-022[+]
X extvardef-022: declare function local:foo() { $x }; declare variable $x external := 5; local:foo() |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-023[+]
X extvardef-023: declare construction strip; import schema default element namespace "http://www.w3.org/XQueryTest/hats"; declare variable $x := validate strict { <abf> <a/> <b/> <b/> <f/> <f/> <f/> </abf>}; $x |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-024[+]
X extvardef-024: declare construction strip; import schema default element namespace "http://www.w3.org/XQueryTest/hats"; declare variable $x external := validate strict { <abc> <a/> <b/> <b/> <f/> <f/> <f/> </abc>}; $x |
no result | wrongError
expected: XQDY0084 actualCode: XQDY0027 |
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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-025[+]
X extvardef-025: declare construction strip; import schema namespace hats="http://www.w3.org/XQueryTest/hats"; declare variable $x as schema-element(hats:abf) external := validate strict { <hats:abf> <hats:a/> <hats:b/> <hats:b/> <hats:f/> <hats:f/> <hats:f/> </hats:abf>}; $x |
no result | 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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-026[+]
X extvardef-026: declare construction strip; import schema namespace hats="http://www.w3.org/XQueryTest/hats"; declare variable $x as schema-element(hats:s) external := validate strict { <hats:abf> <hats:a/> <hats:b/> <hats:b/> <hats:f/> <hats:f/> <hats:f/> </hats:abf>}; $x |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| extvardef-027[+]
X extvardef-027: declare construction strip; import schema namespace hats="http://www.w3.org/XQueryTest/hats"; declare variable $x as schema-element(hats:s) external := <hats:abf> <hats:a/> <hats:b/> <hats:b/> <hats:f/> <hats:f/> <hats:f/> </hats:abf>; $x |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WhereExpr033[+]
X WhereExpr033: declare variable $n external := 0; for $x in -2 to +2 where ($n - $x) return $x |
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 |