25364 2014-04-16 11:55:23 +0000 Incorrect sweep and posture in the path expressions sample for the effect of operand on the streamability 2014-08-05 10:34:01 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 eugene.fotin mike eugene.fotin public-qt-comments oldest_to_newest 103959 0 eugene.fotin 2014-04-16 11:55:23 +0000 In "19.4.1 Examples showing the Effect of Operand Usage" (http://www.w3.org/TR/xslt-30/#operand-usage-examples) section "Example: The Effect of Operand Roles on the Streamability of Path Expressions". Expression ".//chapter" is consuming and crawling. The example states that expression "count(.//chapter)" and "exists(.//chapter)" are motionless: "The operand usage (the usage of the argument to count or exists) is defined as a inspection. The general streamability rules show that when the posture of an operand is crawling and the operand usage is inspection, the resulting expression is motionless" (http://marker.to/CZCtMH). But, according to GSR, operand ".//chapter" is potentially consuming (consuming and crawling with inspection) and is not a high-order, and step 2.d.ii of GSR (http://www.w3.org/TR/xslt-30/#general-streamability-rules) is applied, which produces grounded and consuming (http://marker.to/DaScke). 106043 1 mike 2014-05-15 14:31:57 +0000 Thank you for reporting this. I have fixed the explanation of the example editorially.