|
| 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-CompNamespaceConstructor* | 32/42 | 27/42 | 0/0 | 0/0 | 0/0 | 42/42 | 42/42 | 0/0 | 42/42 | 42/42 | 0/0 | 0/0 | 0/0 | 0/0 | 42/42 | 2/15 |
| nscons-001[+]
X nscons-001: declare variable $s := "http://saxon.sf.net/"; declare variable $xsl := "http://www.w3.org/1999/XSL/Transform"; <e>{ namespace saxon {$s}, attribute a {23}, namespace xsl {$xsl} }</e> |
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 | |
| nscons-002[+]
X nscons-002: declare variable $s := "saxon"; declare variable $xsl := "xsl"; <e>{ namespace {$s} {"http://saxon.sf.net/"}, attribute a {23}, namespace {$xsl} {"http://www.w3.org/1999/XSL/Transform"} }</e> |
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 | |
| nscons-003[+]
X nscons-003: declare variable $s := "saxon"; declare variable $xsl := "xsl"; <out> <t:e xmlns:t="http://www.example.com/">{ namespace {""} {"http://saxon.sf.net/"}, attribute a {23}, namespace {$xsl} {"http://www.w3.org/1999/XSL/Transform"}, <f/> }</t:e> </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 | |
| nscons-004[+]
X nscons-004: declare variable $s := "saxon"; declare variable $xml := "http://www.w3.org/XML/1998/namespace"; <out> <t:e xmlns:t="http://www.example.com/" xml:space="preserve">{ namespace xml {"http://www.w3.org/XML/1998/namespace"}, attribute a {23}, <f/> }</t:e> </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 | |
| nscons-005[+]
X nscons-005: declare variable $s := "http://saxon.sf.net/"; declare variable $xsl := "http://www.w3.org/1999/XSL/Transform"; element {QName("http://saxon.sf.net/", "saxon:extension")} { namespace saxon {$s}, attribute a {23}, namespace xsl {$xsl}, element f {42} } |
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 | |
| nscons-006[+]
X nscons-006: declare variable $s := "http://saxon.sf.net/"; declare variable $xsl := "http://www.w3.org/1999/XSL/Transform"; element {QName("http://saxon.sf.net/", "saxon:extension")} { namespace saxon {$s}, attribute a {23}, namespace xsl {$xsl}, namespace saxon {$s}, element f {42} } |
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 | |
| nscons-007[+]
X nscons-007: declare variable $s := "http://saxon.sf.net/"; declare variable $xsl := "http://www.w3.org/1999/XSL/Transform"; declare variable $xmlns := "xmlns"; <e> { namespace saxon {$s}, attribute a {23}, namespace xsl {$xsl}, namespace xmlns {$s}, element f {42} }</e> |
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 | |
| nscons-008[+]
X nscons-008: declare variable $s := "http://saxon.sf.net/"; declare variable $xsl := "http://www.w3.org/1999/XSL/Transform"; declare variable $xmlns := "xml"; <e> { namespace saxon {$s}, attribute a {23}, namespace xsl {$xsl}, namespace {$xmlns} {$s}, element f {42} }</e> |
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 | |
| nscons-009[+]
X nscons-009: declare variable $p1 := "http://example.com/one"; declare variable $p2 := "http://example.com/two"; <e> { namespace p {$p1}, namespace p {$p2}, element f {42} }</e> |
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 | |
| nscons-010[+]
X nscons-010: declare variable $p1 := "http://example.com/one"; declare variable $p2 := "http://example.com/two"; declare variable $r := <e> { namespace p {$p1}, attribute {QName($p2, "p:att")} {93.7}, element f {42} }</e>; <out> { exists($r/@*:att[prefix-from-QName(node-name(.))!='p']), exists(in-scope-prefixes($r)[.='p']) }</out> |
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 | |
| nscons-011[+]
X nscons-011: declare variable $p1 := "http://example.com/one"; declare variable $p2 := "http://example.com/two"; declare variable $r := element {QName($p2, 'p:e')} { namespace p {$p1}, element f {42} }; <out> { exists($r[prefix-from-QName(node-name(.))!='p']), exists(in-scope-prefixes($r)[.='p']) }</out> |
fail | 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 | |
| nscons-012[+]
X nscons-012: declare variable $p1 := "http://example.com/one"; declare variable $p2 := "http://example.com/two"; declare function local:f($ns as namespace-node()) as element() { <namespace name="{name($ns)}" local-name="{local-name($ns)}" namespace-uri="{namespace-uri($ns)}" string-value="{string($ns)}" typed-value="{data($ns)}" is-untyped="{data($ns) instance of xs:untypedAtomic}" parent-exists="{exists($ns/..)}" is-namespace="{$ns instance of namespace-node()}" is-node="{$ns instance of node()}" is-item="{$ns instance of item()}" same-as-self="{$ns is $ns}"/> }; <out>{ local:f(namespace p {"http://example.com/one"}), local:f(namespace {""} {"http://example.com/two"}) }</out> |
fail | 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 | |
| nscons-013[+]
X nscons-013: let $pre := <prefix>z</prefix>, $uri := "http://www.zorba-xquery.com/" return <e>{ namespace { $pre } { $uri } }</e> |
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 | |
| nscons-014[+]
X nscons-014: let $pre := "z", $uri := "http://www.zorba-xquery.com/" return <e>{ namespace { $pre } { $uri } }</e> |
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 | |
| nscons-015[+]
X nscons-015: declare namespace z="http://www.zorba-xquery.com/"; <z:e>{ namespace { <a/>/* } { "http://www.w3.org/" } }</z:e> |
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 | |
| nscons-016[+]
X nscons-016: let $pre := <prefix>z:z</prefix>, $uri := "http://www.zorba-xquery.com/" return <e>{ namespace { $pre } { $uri } }</e> |
pass | pass | wrongError
Expected error:XQDY0074, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQDY0074, got err:FORG0001 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| nscons-017[+]
X nscons-017: let $pre := "z z", $uri := "http://www.zorba-xquery.com/" return <e>{ namespace { $pre } { $uri } }</e> |
pass | pass | wrongError
Expected error:XQDY0074, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQDY0074, got err:FORG0001 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| nscons-018[+]
X nscons-018: let $pre := 1, $uri := "http://www.zorba-xquery.com/" return <e>{ namespace { $pre } { $uri } }</e> |
pass | pass | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| nscons-019[+]
X nscons-019: let $uri := "http://www.w3.org/XML/1998/namespace" return <e>{ namespace x { $uri } }</e> |
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 | |
| nscons-020[+]
X nscons-020: let $uri := "http://www.w3.org/2000/xmlns/" return <e>{ namespace x { $uri } }</e> |
pass | pass | wrongError
Expected error:XQDY0101, got err:XTDE0935 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQDY0101, got err:XTDE0935 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XQDY0101. Found error: XQST0070 |
|
| nscons-021[+]
X nscons-021: <e>{ namespace x { "" } }</e> |
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 | |
| nscons-022[+]
X nscons-022: let $elem := <e>{ namespace z { "http://www.zorba-xquery.com/" } }</e> return element { resolve-QName("z:f", $elem) } {} |
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 | |
| nscons-023[+]
X nscons-023: <z:e>{ namespace z { "http://www.zorba-xquery.com/" } }</z:e> |
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 | |
| nscons-024[+]
X nscons-024: <e>{ namespace z { "http://www.zorba-xquery.com/" }, element z:e {} }</e> |
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 | |
| nscons-025[+]
X nscons-025: element e { attribute z:a {}, namespace z { "http://www.zorba-xquery.com/" } } |
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 | |
| nscons-026[+]
X nscons-026: <e>{ namespace z { "http://www.zorba-xquery.com/" }, element { xs:QName("z:e") } { } }</e> |
pass | fail | wrongError
Expected error:FONS0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:FONS0004, got err:FORG0001 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| nscons-027[+]
X nscons-027: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; let $elem := <e>{ mod1:one() }</e> return element { resolve-QName("z:f", $elem) } {} |
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 | |
| nscons-028[+]
X nscons-028: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; let $ns := mod1:one() return ($ns is $ns, $ns is mod1:one()) |
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 | |
| nscons-029[+]
X nscons-029: serialize( namespace z { "http://www.zorba-xquery.com/" } ) |
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 | |
| nscons-030[+]
X nscons-030: serialize( element e { namespace z { "http://www.zorba-xquery.com/" } } ) |
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 | |
| nscons-031[+]
X nscons-031: declare copy-namespaces preserve, inherit; let $nested := element outer { namespace out { "http://out.zorba-xquery.com/" }, element inner { namespace in { "http://in.zorba-xquery.com/" } } }, $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
fail | 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 | |
| nscons-032[+]
X nscons-032: declare copy-namespaces preserve, no-inherit; let $nested := element outer { namespace out { "http://out.zorba-xquery.com/" }, element inner { namespace in { "http://in.zorba-xquery.com/" } } }, $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
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 | |
| nscons-033[+]
X nscons-033: declare copy-namespaces no-preserve, inherit; let $nested := element outer { namespace out { "http://out.zorba-xquery.com/" }, element inner { namespace in { "http://in.zorba-xquery.com/" } } }, $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
fail | 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 | |
| nscons-034[+]
X nscons-034: declare copy-namespaces no-preserve, no-inherit; let $nested := element outer { namespace out { "http://out.zorba-xquery.com/" }, element inner { namespace in { "http://in.zorba-xquery.com/" } } }, $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
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 | |
| nscons-035[+]
X nscons-035: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; declare copy-namespaces preserve, inherit; let $nested := mod1:nested(), $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
fail | 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 | |
| nscons-036[+]
X nscons-036: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; declare copy-namespaces preserve, no-inherit; let $nested := mod1:nested(), $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
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 | |
| nscons-037[+]
X nscons-037: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; declare copy-namespaces no-preserve, inherit; let $nested := mod1:nested(), $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
fail | 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 | |
| nscons-038[+]
X nscons-038: import module namespace mod1="http://www.w3.org/TestModules/cnc-module"; declare copy-namespaces no-preserve, no-inherit; let $nested := mod1:nested(), $elem := element e { namespace new { "http://new.zorba-xquery.com/" }, $nested } return $elem/outer/inner |
fail | 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 | |
| nscons-039[+]
X nscons-039: declare copy-namespaces preserve, inherit; declare function local:rec-add($level as xs:integer) as element() { if ($level > 0) then element { concat("e", $level) } { namespace { concat("pre", $level) } { concat("uri", $level) }, local:rec-add($level - 1) } else element e0 {} }; local:rec-add(2)/e1/e0 |
fail | 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 | |
| nscons-040[+]
X nscons-040: import schema namespace cnc="http://www.w3.org/TestSchemas/cnc"; validate { <cnc:value xsi:type="xs:int" >{ 10 }</cnc:value> } |
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. |
pass | |
| nscons-041[+]
X nscons-041: import schema namespace cnc="http://www.w3.org/TestSchemas/cnc"; let $xs := namespace xs { "http://www.w3.org/2001/XMLSchema" }, $val := validate { <cnc:value xsi:type="xs:int" >{ $xs, 10 }</cnc:value> } return data($val) instance of xs:int |
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. |
pass | |
| nscons-042[+]
X nscons-042: element e { namespace {''} {'http://example.com/uri'} } |
pass | fail | wrongError
Expected error:XQDY0102, got err:XTDE0440 |
n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
wrongError
Expected error:XQDY0102, got err:XTDE0440 |
n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |