Results for tests requiring that dependency staticTyping is satisfied
| 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) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ST-Data001[+]
X ST-Data001: import schema namespace mc ="http://www.w3.org/XQueryTest/mixedcontent"; let $node as element(*, mc:mixedType) := /* return data($node) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
Dependency not satisfied |
n/a
notXP30 |
n/a
Dependency not satisfied |
n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-006[+]
X fn-filter-006: ( fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:exists#1 else 1 ), fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then 1 else fn:exists#1 ) ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-007[+]
X fn-filter-007: fn:filter( (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:exists#1 else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-008[+]
X fn-filter-008: fn:filter( (), fn:true() ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | 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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-009[+]
X fn-filter-009: fn:filter( (), fn:true() ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | 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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-016[+]
X fn-filter-016: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then () else fn:true()}) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-019[+]
X fn-filter-019: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then 0 else fn:true()}) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-022[+]
X fn-filter-022: fn:filter( 1 to 10, function($arg) { if ($arg eq 100) then (fn:true(), fn:false()) else fn:true()}) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-filter-023[+]
X fn-filter-023: fn:filter( ("1", "2", "3"), function($arg as xs:integer) as xs:boolean { $arg eq 100 } ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-function-lookup-711[+]
X fn-function-lookup-711: fn:function-lookup(fn:QName('http://www.w3.org/2005/xpath-functions', 'node-name'), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then () else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | 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=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-function-lookup-713[+]
X fn-function-lookup-713: fn:function-lookup((if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:QName('http://www.w3.org/2005/xpath-functions', 'node-name') else ()), 1) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-function-arity-010[+]
X fn-function-arity-010: fn:function-arity( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-function-arity-012[+]
X fn-function-arity-012: fn:function-arity( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-function-name-010[+]
X fn-function-name-010: fn:function-name( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:dateTime#2 else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-has-children-012[+]
X fn-has-children-012: ( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) ! fn:has-children() |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-has-children-013[+]
X fn-has-children-013: fn:has-children( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-innermost-008[+]
X fn-innermost-008: fn:innermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-innermost-010[+]
X fn-innermost-010: fn:innermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else fn:dateTime#2 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-for-each-pair-010[+]
X fn-for-each-pair-010: fn:for-each-pair( (), (), if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:concat#2 else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-for-each-pair-032[+]
X fn-for-each-pair-032: fn:for-each-pair( "a", "b", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then fn:concat#2 else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-outermost-008[+]
X fn-outermost-008: fn:outermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-outermost-010[+]
X fn-outermost-010: fn:outermost( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then . else fn:dateTime#2 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-007[+]
X fn-unparsed-text-007: fn:unparsed-text( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-009[+]
X fn-unparsed-text-009: fn:unparsed-text( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-011[+]
X fn-unparsed-text-011: fn:unparsed-text( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-available-007[+]
X fn-unparsed-text-available-007: fn:unparsed-text-available( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-available-009[+]
X fn-unparsed-text-available-009: fn:unparsed-text-available( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-available-011[+]
X fn-unparsed-text-available-011: fn:unparsed-text-available( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-lines-007[+]
X fn-unparsed-text-lines-007: fn:unparsed-text-lines( if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-lines-009[+]
X fn-unparsed-text-lines-009: fn:unparsed-text-lines( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else 1 ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| fn-unparsed-text-lines-011[+]
X fn-unparsed-text-lines-011: fn:unparsed-text-lines( "http://www.w3.org/fots/unparsed-text/text-plain-utf-8.txt", if ( fn:current-dateTime() eq fn:dateTime( fn:current-date(), fn:current-time() )) then "utf-8" else () ) |
no result | n/a | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes001[+]
X ST-Axes001: fn:count(//center/self::nowhere) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes002[+]
X ST-Axes002: fn:count(//center/@center-attr-2/self::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes003[+]
X ST-Axes003: fn:count(//center/@center-attr-3/self::center-attr-3) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes004[+]
X ST-Axes004: fn:count(//center/@center-attr-1/self::nowhere) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes005[+]
X ST-Axes005: fn:count(//center/text()/self::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes006[+]
X ST-Axes006: fn:count(//center/text()/self::center) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes007[+]
X ST-Axes007: fn:count(//center/@center-attr-1/descendant-or-self::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes008[+]
X ST-Axes008: fn:count(//center/@center-attr-2/descendant-or-self::far-south) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes009[+]
X ST-Axes009: fn:count(//center/@center-attr-2/descendant-or-self::center-attr-2) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes010[+]
X ST-Axes010: fn:count(//center/text()/descendant-or-self::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes011[+]
X ST-Axes011: fn:count(/attribute::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes012[+]
X ST-Axes012: fn:count(/@*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes013[+]
X ST-Axes013: fn:count(/parent::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes014[+]
X ST-Axes014: fn:count(/..) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-Axes015[+]
X ST-Axes015: fn:count(/self::*) |
no result | n/a | no result | no result | no result | no result | no result | pass | pass | pass | pass | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-21[+]
X statictyping-21: let $x := 1 let $z := $x + $y return $x |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-22[+]
X statictyping-22: declare variable $x := $y + 1; "abc" |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-23[+]
X statictyping-23: for $x in (1, 2, 3) for $z in ($x, $y) return $x |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-24[+]
X statictyping-24: let $var := ("a","b","c") where fn:not($var) eq fn:true() return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-WhereExpr001[+]
X ST-WhereExpr001: for $file in (//Folder)[1]/File where ($file, 1) return $file/FileName |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-WhereExpr002[+]
X ST-WhereExpr002: for $file in (//Folder)[1]/File where (1, $file) return $file/FileName |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-1[+]
X statictyping-1: for $var in ("a","b","c") where $var + 1 = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-2[+]
X statictyping-2: for $var in ("a","b","c") where fn:abs(($var)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-3[+]
X statictyping-3: for $var in ("a","b","c") where fn:avg(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-4[+]
X statictyping-4: for $var in ("a","b","c") where fn:max(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-5[+]
X statictyping-5: for $var in ("a","b","c") where fn:min(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-6[+]
X statictyping-6: for $var in ("a","b","c") where fn:sum(($var,1)) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-7[+]
X statictyping-7: let $var := ("a","b","c") where fn:boolean($var) = fn:true() return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-8[+]
X statictyping-8: for $var in ("a","b","c") where ($var - 1) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-9[+]
X statictyping-9: for $var in ("a","b","c") where ($var * 1) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-10[+]
X statictyping-10: for $var in ("a","b","c") where ($var div 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-11[+]
X statictyping-11: for $var in ("a","b","c") where ($var idiv 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-12[+]
X statictyping-12: for $var in ("a","b","c") where ($var mod 2) = 3 return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-13[+]
X statictyping-13: let $var := ("a","b","c") where ($var eq 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-14[+]
X statictyping-14: let $var := ("a","b","c") where ($var le 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-15[+]
X statictyping-15: let $var := ("a","b","c") where ($var lt 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-16[+]
X statictyping-16: let $var := ("a","b","c") where ($var gt 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-17[+]
X statictyping-17: let $var := ("a","b","c") where ($var ne 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-18[+]
X statictyping-18: let $var := (1,2,3) where ($var + 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-19[+]
X statictyping-19: let $var := (1,2,3) where ($var - 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| statictyping-20[+]
X statictyping-20: let $var := (1,2,3) where ($var * 1) return $var |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-PITest-01[+]
X ST-PITest-01: (: Description: In LetClause, binding expr's ST must be subtype of variable's ST. Under REC FS, both are 'processing-instruction?', so STA succeeds. Under PER FS, former is 'processing-instruction filesystem?', latter is 'processing-instruction filesytem', so STA fails, raises error. (Note that an implementation that doesn't do STA will not raise an error.) :) let $pi as processing-instruction(filesystem) := (//processing-instruction(filesystem))[1] return $pi |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
| ST-PITest-02[+]
X ST-PITest-02: for $pi in //processing-instruction(nonexistent) let $pi2 as processing-instruction(filesystem) := $pi return $pi2 |
no result | n/a | no result | no result | no result | no result | no result | n/a | pass | pass | n/a | pass | pass | n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |
n/a
Dependency (type=feature, value=staticTyping, satisfied=true) was not met. |