This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 25327 - [XSLT30] Typo in 'sum(a/b/c)' general streamability example
Summary: [XSLT30] Typo in 'sum(a/b/c)' general streamability example
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 trivial
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-04-11 15:07 UTC by Eugene Fotin
Modified: 2014-07-27 19:22 UTC (History)
3 users (show)

See Also:


Attachments

Description Eugene Fotin 2014-04-11 15:07:51 UTC
In 'sum(a/b/c)' sample the argument is referred as the argument of 'count' function instead of 'sum'.

http://www.w3.org/TR/xslt-30/#general-streamability-examples
"sum(a/b/c) is grounded and consuming, because the operand (the argument to the ***count*** function) is striding and consuming (see earlier example) and the operand usage is absorption."
Comment 1 Eugene Fotin 2014-04-11 15:27:39 UTC
http://marker.to/gxwJHI
Comment 2 Eugene Fotin 2014-04-11 15:43:00 UTC
Also, I would like to see one or two examples for the case where OU of Transmission with crawling and cardinality > 1, and one with OU of Transmission with crawling and cardinality = 1.
Comment 3 Michael Kay 2014-04-11 16:04:35 UTC
Thanks for reporting it. I've fixed the typo mentioned, and I'll leave the bug open so we can try and allocate effort for extra examples as requested.
Comment 4 Abel Braaksma 2014-07-17 15:27:10 UTC
Some examples as requested by Eugene:

- zero-or-one(div//p) has OU of transmission and its argument, div//p has posture crawling, sweep of consuming. The result of the analysis following the GSR makes this consuming and striding (rule 2.d.iii).

- fn:tail(head//section) has OU of transmission and its argument, head//section, is crawling and consuming. The result of the analysis following the GSR makes this crawling and consuming (rule 2.d.iv).

- exactly-one(div | p) has OU of transmission and its argument, div | p, is crawling and consuming. The result of the analysis following the GSR makes this striding and consuming (rule 2.d.iii).

- fn:unordered(head | section) has OU of transmission and its argument, head | section, is crawling and consuming. The result of the analysis following the GSR makes this crawling and consuming (rule 2.d.iv).

In fact, I am unsure whether the rules for fn:tail correctly make it crawling and consuming, I tend to think it should be free-ranging. For fn:unordered it does not seem to matter.
Comment 5 Jim Melton 2014-07-17 19:09:28 UTC
I would really like to request that people who submit (new) bugs to PLEASE use the convention of having the first bit of the bug title indicating the document against which the bug is being filed -- in the case of this bug, that would be something like "[XSLT30]" or "[XT30]" or something similar. 

Thanks!
Comment 6 Abel Braaksma 2014-07-17 19:31:04 UTC
Hi Jim, we can't really ask that from people outside the working group to do so (as was the case here), and I myself was not aware of the requirement, but I will do so in subsequent bug-entries, or fix the title if necessary.

I assume it is not possible to let BugZilla do this automatically? It is something that is easily forgotten. I'll fix this title.
Comment 7 Michael Kay 2014-07-27 19:22:29 UTC
Some further examples based on those provided in comment 4 have been added to the spec.