Test results covering change: Count clause in FLWOR expression

	Implementations
count-001 [+] X count-001: <out>{ for $x in 1 to 10 count $j return <item><x>{$x}</x><j>{$j}</j></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-002 [+] X count-002: <out>{ for $x at $j in 1 to 10 return <item><x>{$x}</x><j>{$j}</j></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-003 [+] X count-003: <out>{ for $x in 1 to 4 count $ix for $y in $x to 3 count $iy return <item><x>{$x}</x><ix>{$ix}</ix><y>{$y}</y><iy>{$iy}</iy></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-004 [+] X count-004: <out>{ for $x in 1 to 4 count $ix for $y allowing empty in $x to 3 count $iy return <item><x>{$x}</x><ix>{$ix}</ix><y>{$y}</y><iy>{$iy}</iy></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-005 [+] X count-005: <out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-006 [+] X count-006: <out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 count $index2 return <item><x>{$x}</x><y>{$y}</y><index2>{$index2}</index2></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-007 [+] X count-007: <out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 count $index return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-008 [+] X count-008: <out>{ for $x in 1 to 2 for $y in 1 to 3 let $index := $y count $index return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-009 [+] X count-009: <out>{ for $x in 1 to 4 for $y in 1 to 4 count $index let $remainder := $index mod 3 order by $remainder, $index count $index2 return <item><x>{$x}</x><y>{$y}</y><remainder>{$remainder}</remainder><index2>{$index2}</index2></item> }</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. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.	pass
count-010 [+] X count-010: for $x in 1 to 4 return for $y in 1 to 4 count $index return $index	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

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)

count-001 [+]

X count-001:

<out>{ for $x in 1 to 10 count $j return <item><x>{$x}</x><j>{$j}</j></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-002 [+]

X count-002:

<out>{ for $x at $j in 1 to 10 return <item><x>{$x}</x><j>{$j}</j></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-003 [+]

X count-003:

<out>{ for $x in 1 to 4 count $ix for $y in $x to 3 count $iy return <item><x>{$x}</x><ix>{$ix}</ix><y>{$y}</y><iy>{$iy}</iy></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-004 [+]

X count-004:

<out>{ for $x in 1 to 4 count $ix for $y allowing empty in $x to 3 count $iy return <item><x>{$x}</x><ix>{$ix}</ix><y>{$y}</y><iy>{$iy}</iy></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-005 [+]

X count-005:

<out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-006 [+]

X count-006:

<out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 count $index2 return <item><x>{$x}</x><y>{$y}</y><index2>{$index2}</index2></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-007 [+]

X count-007:

<out>{ for $x in 1 to 5 for $y in 1 to 5 count $index where $index mod 3 = 0 count $index return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-008 [+]

X count-008:

<out>{ for $x in 1 to 2 for $y in 1 to 3 let $index := $y count $index return <item><x>{$x}</x><y>{$y}</y><index>{$index}</index></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-009 [+]

X count-009:

<out>{ for $x in 1 to 4 for $y in 1 to 4 count $index let $remainder := $index mod 3 order by $remainder, $index count $index2 return <item><x>{$x}</x><y>{$y}</y><remainder>{$remainder}</remainder><index2>{$index2}</index2></item> }</out>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

count-010 [+]

X count-010:

for $x in 1 to 4 return for $y in 1 to 4 count $index return $index

pass

fail

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass