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 24650 - Streamability with accumulators cannot be statically determined
Summary: Streamability with accumulators cannot be statically determined
Status: CLOSED WORKSFORME
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows NT
: P2 normal
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-02-13 11:01 UTC by Abel Braaksma
Modified: 2014-05-15 14:00 UTC (History)
1 user (show)

See Also:

Attachments

Description Abel Braaksma 2014-02-13 11:01:51 UTC 
This is related to bug 24649.

The argument of fn:accumulator-before and fn:accumulator-after are strings. For purposes of static analysis of streamability, this will fail, because we won't know the value of this string during the static phase.

We should either stipulate this, which means we make every call to an accumulator-before/after streamable, potentially except when the only argument can be determined statically. Or we should change the function signature to have an xs:QName that is not a string but an identifier (which might confuse users with path expressions).
Comment 1 C. M. Sperberg-McQueen 2014-02-13 14:30:42 UTC 
We discussed this in Prague.  Error XTDE3370 applies in this case; it's dynamic, not static, but it was held to resolve this bug report.