|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| xs-error | 0/49 | 0/0 | 0/0 | 0/0 | 35/35 | 49/49 | 44/49 | 0/0 | 0/0 | 0/0 | 0/0 | 0/0 | 0/0 | 0/0 | 36/49 | 3/15 |
| xs-error-001[+]
X xs-error-001: xs:error() |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-002[+]
X xs-error-002: xs:error#0 |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-003[+]
X xs-error-003: xs:error( (), () ) |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-004[+]
X xs-error-004: xs:error#2 |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-005[+]
X xs-error-005: fn:exists( xs:error#1 ) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-006[+]
X xs-error-006: xs:error#1 instance of function(xs:anyAtomicType?) as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-007[+]
X xs-error-007: xs:error#1 instance of function(xs:anyAtomicType?) as empty-sequence() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-008[+]
X xs-error-008: xs:error( () ) |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-009[+]
X xs-error-009: xs:error(xs:untypedAtomic("")) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-010[+]
X xs-error-010: xs:error("") |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-011[+]
X xs-error-011: xs:error(1.0) |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-012[+]
X xs-error-012: xs:error(1e0) |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-013[+]
X xs-error-013: xs:error(1) |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-014[+]
X xs-error-014: xs:error(1) instance of xs:error |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
'Assert-any-of' returned: Expected error: XPTY0004. Found error: XPST0017 'assert-true' returned: query doesn't evaluate to true. |
|
| xs-error-015[+]
X xs-error-015: function() as empty-sequence() { () } instance of function() as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-016[+]
X xs-error-016: function() as empty-sequence() { () } instance of function() as xs:error* |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-017[+]
X xs-error-017: declare function local:identity($arg as xs:error) { $arg }; local:identity(fn:error()) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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: FOER0000. Found error: XPST0051 |
|
| xs-error-018[+]
X xs-error-018: declare function local:identity($arg as xs:error) { $arg }; local:identity(1) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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: XPST0051 |
|
| xs-error-019[+]
X xs-error-019: declare function local:constant($arg as xs:error) { fn:true() }; local:constant(fn:error()) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: XPTY0004. Found error: XPST0051 Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-020[+]
X xs-error-020: declare function local:identity($arg as xs:error?) { $arg }; local:identity(()) |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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. |
fail | |
| xs-error-021[+]
X xs-error-021: declare function local:error() as xs:error { fn:error() }; local:error() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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: FOER0000. Found error: XPST0051 |
|
| xs-error-022[+]
X xs-error-022: declare function local:error() as xs:error { 1 }; local:error() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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: XPST0051 |
|
| xs-error-023[+]
X xs-error-023: let $x as xs:error := fn:error() return $x |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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: FOER0000. Found error: XPST0051 |
|
| xs-error-024[+]
X xs-error-024: let $x := fn:error() return $x |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-025[+]
X xs-error-025: let $x as xs:error := fn:error() return fn:true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-026[+]
X xs-error-026: let $x := fn:error() return true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-027[+]
X xs-error-027: let $x as xs:error := 1 return fn:true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: XPTY0004. Found error: XPST0051 |
|
| xs-error-028[+]
X xs-error-028: for $x as xs:error in () return fn:true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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. |
fail | |
| xs-error-029[+]
X xs-error-029: for $x as xs:error in fn:error() return fn:true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-030[+]
X xs-error-030: for $x in fn:error() return fn:true() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| xs-error-031[+]
X xs-error-031: for $x as xs:error in (1, 2, 3) return $x |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: Expected error: XPTY0004. Found error: XPST0051 |
|
| xs-error-032[+]
X xs-error-032: xs:error(1) castable as xs:error |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-033[+]
X xs-error-033: xs:error(1) castable as xs:integer |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-034[+]
X xs-error-034: xs:error(()) castable as xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-035[+]
X xs-error-035: xs:error(()) castable as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-036[+]
X xs-error-036: fn:error() castable as xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: FOER0000. Found error: XQST0052 |
|
| xs-error-037[+]
X xs-error-037: () castable as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-038[+]
X xs-error-038: xs:error(1) cast as xs:error |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-039[+]
X xs-error-039: xs:error(1) cast as xs:integer |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-040[+]
X xs-error-040: xs:error(()) cast as xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-041[+]
X xs-error-041: xs:error(()) cast as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-042[+]
X xs-error-042: () cast as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |
| xs-error-043[+]
X xs-error-043: xs:error(1) instance of xs:error |
no result | n/a | wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a
notXP20 |
n/a
notXQ10 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
wrongError
Expected error:XPTY0004, got err:FORG0001 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-044[+]
X xs-error-044: fn:error() instance of xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-045[+]
X xs-error-045: typeswitch (xs:error(1)) case xs:error return fn:true() default return false() |
no result | n/a | 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 | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: XPTY0004. Found error: XPST0017 |
|
| xs-error-046[+]
X xs-error-046: typeswitch (fn:error()) case xs:error return fn:true() default return false() |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | n/a | n/a | 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
'Assert-any-of' returned: 'assert-true' returned: query doesn't evaluate to true. Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-047[+]
X xs-error-047: fn:error() treat as xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: FOER0000. Found error: XPST0051 |
|
| xs-error-048[+]
X xs-error-048: 1 treat as xs:error |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPDY0050. Found error: XPST0051 |
|
| xs-error-049[+]
X xs-error-049: () treat as xs:error? |
no result | n/a | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
fail | |