29697 2016-06-18 09:25:14 +0000 [XSLT30]With nested xsl:merge, should the current-merge-group() of outer merge be available for a merge group selection of inner merge? 2016-10-06 18:42:18 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Candidate Recommendation PC Windows NT CLOSED FIXED P2 normal --- 1 martin.honnen mike public-qt-comments oldest_to_newest 126792 0 1645 martin.honnen 2016-06-18 09:25:14 +0000 Created attachment 1645 sample input data for test case The following code has two nested xsl:merge, where an xsl:merge-source/@select of the inner xsl:merge tries to select the current-merge-group() of the outer xsl:merge: <xsl:template match="root"> <xsl:copy> <xsl:merge> <xsl:merge-source select="item"> <xsl:merge-key select="foo"/> </xsl:merge-source> <xsl:merge-action> <group key="{current-merge-key()}"> <xsl:merge> <xsl:merge-source select="current-merge-group()"> <xsl:merge-key select="bar"></xsl:merge-key> </xsl:merge-source> <xsl:merge-action> <nested-group key="{current-merge-key()}"> <xsl:copy-of select="current-merge-group()/value"/> </nested-group> </xsl:merge-action> </xsl:merge> </group> </xsl:merge-action> </xsl:merge> </xsl:copy> </xsl:template> This works fine with Exselt, however Saxon (tested with 9.7.0.5 EE) complains Error in xsl:merge-source/@select on line 18 column 57 of test2016061801.xsl: XTDE3480: There is no current merge group So with Saxon I have to use a variable, as in <xsl:merge> <xsl:merge-source select="item"> <xsl:merge-key select="foo"/> </xsl:merge-source> <xsl:merge-action> <group key="{current-merge-key()}"> <xsl:variable name="group" select="current-merge-group()"/> <xsl:merge> <xsl:merge-source select="$group"> <xsl:merge-key select="bar"></xsl:merge-key> </xsl:merge-source> <xsl:merge-action> <nested-group key="{current-merge-key()}"> <xsl:copy-of select="current-merge-group()/value"/> </nested-group> </xsl:merge-action> </xsl:merge> </group> </xsl:merge-action> </xsl:merge> So I would like a clarification whether with nested xsl:merge the current-merge-group() of an outer xsl:merge should be accessible with an xsl:merge-source of a inner xsl:merge. 126793 1 1646 martin.honnen 2016-06-18 09:26:22 +0000 Created attachment 1646 reduced test case 126796 2 mike 2016-06-19 07:57:33 +0000 Thanks for raising this. I think that (a) the spec doesn't currently provide a clear answer to the question (b) it's desirable that this test case should work, i.e that the parent merge key/merge group should be available except within the merge-action of the child (c) in looking for analogies in xsl:for-each-group, I'm not sure the text is very clear there either. 126821 3 mike 2016-06-23 17:24:15 +0000 Abel referred us to this text which provides an indication of the intent: If neither of for-each-item and for-each-stream is present, the xsl:merge-source element defines a single merge input sequence. This sequence is the result of evaluating the expression in the select attribute. *This is evaluated using the dynamic context of the containing xsl:merge instruction.* This sequence will be merged with the sequences defined by other xsl:merge-source elements, if present. The editor was actioned to come up with a proposal for clarification of the rules. 126838 4 mike 2016-06-26 19:46:52 +0000 There seem to be a number of cases we have to consider. (A) xsl:merge-source/@select when there is no @for-each-item or @for-each-stream. In this case we state "[The select expression] is evaluated using the dynamic context of the containing xsl:merge instruction. This is the case that applies to this example, and it makes it pretty clear that the example should work. (B) xsl:merge-source/@for-each-item. Here we say: (B1) The for-each-item expression is evaluated with the dynamic context of the containing xsl:merge instruction (B2) the select attribute is evaluated with the focus for the evaluation as follows... We don't explicitly say anything about other aspects of the dynamic context for the evaluation of the select attribute. (C) xsl:merge-source/@for-each-stream. (C1) We don't say anything about the dynamic context for the evaluation of for-each-stream. (C2) We say "These anchor items are then used in the same way as a sequence of anchor items selected directly using the for-each-item attribute." which hints that the dynamic context for the select expression follows the same rules as in the for-each-item case. (D) xsl:merge-key/@select (or the contained sequence constructor): we say "This is evaluated with a singleton focus based on J, or, if streamable=yes is specified on the xsl:merge-source, a singleton focus based on a snapshot of J (see 15.4 Streamable Merging)." We say nothing about other aspects of the dynamic context. (E) Attribute value templates on xsl:merge-key: we say "their effective values are evaluated using the focus of the containing xsl:merge instruction." We say nothing about other aspects of the dynamic context. In 15.6 we have a non-normative note: "The current merge group and key are set during the evaluation of the sequence constructor contained in the xsl:merge-action element. They are initially absent, and they are cleared by all invocation constructs, which means in effect that the functions current-merge-group and current-merge-key can only usefully be invoked from instructions appearing lexically within the xsl:merge-action element." But this doesn't help us much because all these cases are lexically within the xsl:merge-action of the outer xsl:merge. The statement that the current merge group and key are cleared by all invocation constructs appears normatively in 15.6.1 and 15.6.2. Section 5.3, the general description of the static and dynamic context, sheds no additional light: for these components it delegates entirely to 15.6. I think we should add the general rules (in 15.6): (part of this is transferred from 15.6.1 and 15.6.2). <quote> The current merge group and current merge key are available within the sequence constructor contained by an xsl:merge-action element. The values are initially absent during the evaluation of global variables and stylesheet parameters, during the evaluation of the use attribute or contained sequence constructor of xsl:key, and during the evaluation of the initial-value attribute of xsl:accumulator and the select attribute of contained sequence constructor of xsl:accumulator-rule. All invocation constructs set the current merge group and current merge key to absent. Note: Taken together, these rules mean that any invocation of current-merge-group or current-merge-key that is not lexically scoped by an xsl:merge-action element will raise a dynamic error. When an inner xsl:merge instruction is lexically nested within the xsl:merge-action element of an outer xsl:merge instruction, any use of current-merge-group or current-merge-key that appears within the xsl:merge-action of the inner xsl:merge instruction is a reference to the current merge group or key of the inner xsl:merge instruction, while any such reference that appears within the outer xsl:merge-action element, but not within the inner xsl:merge-action, is a reference to the current merge group or key of the outer xsl:merge instruction. This means, for example, that a reference to the current merge group of the outer xsl:merge can appear in the select attribute of an xsl:merge-source child of the inner xsl:merge. </quote> Additional changes: In 15.3, after "When the for-each-stream attribute is present, its value must be an expression that returns a sequence of URIs." add "The expression is evaluated with the dynamic context of the containing xsl:merge instruction." After "These anchor items are then used in the same way as a sequence of anchor items selected directly using the for-each-item attribute." add: "in particular, the focus for the select expression is established in the same way. 126840 5 mike 2016-06-26 21:31:37 +0000 Test case added - merge-089 I have updated the spec as proposed in comment #4. 126923 6 mike 2016-07-07 17:20:08 +0000 The change was accepted. 1645 2016-06-18 09:25:14 +0000 2016-06-18 09:25:14 +0000 sample input data for test case test2016061801.xml text/xml 453 martin.honnen PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJvb3Q+Cgk8aXRlbT4KCQk8 Zm9vPmE8L2Zvbz4KCQk8YmFyPjE8L2Jhcj4KCQk8dmFsdWU+MTwvdmFsdWU+Cgk8L2l0ZW0+Cgk8 aXRlbT4KCQk8Zm9vPmE8L2Zvbz4KCQk8YmFyPjE8L2Jhcj4KCQk8dmFsdWU+MjwvdmFsdWU+CQkK CTwvaXRlbT4KCTxpdGVtPgoJCTxmb28+YTwvZm9vPgoJCTxiYXI+MjwvYmFyPgoJCTx2YWx1ZT4z PC92YWx1ZT4KCTwvaXRlbT4KCTxpdGVtPgoJCTxmb28+YjwvZm9vPgoJCTxiYXI+MTwvYmFyPgoJ CTx2YWx1ZT40PC92YWx1ZT4KCTwvaXRlbT4KCTxpdGVtPgoJCTxmb28+YjwvZm9vPgoJCTxiYXI+ MTwvYmFyPgoJCTx2YWx1ZT41PC92YWx1ZT4KCTwvaXRlbT4KCTxpdGVtPgoJCTxmb28+YjwvZm9v PgoJCTxiYXI+MjwvYmFyPgoJCTx2YWx1ZT42PC92YWx1ZT4KCTwvaXRlbT4KPC9yb290PgoK 1646 2016-06-18 09:26:22 +0000 2016-06-18 09:26:22 +0000 reduced test case test2016061801.xsl application/xml 971 martin.honnen PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHhzbDpzdHlsZXNoZWV0IHht bG5zOnhzbD0iaHR0cDovL3d3dy53My5vcmcvMTk5OS9YU0wvVHJhbnNmb3JtIgoJeG1sbnM6eHM9 Imh0dHA6Ly93d3cudzMub3JnLzIwMDEvWE1MU2NoZW1hIgoJeG1sbnM6bWF0aD0iaHR0cDovL3d3 dy53My5vcmcvMjAwNS94cGF0aC1mdW5jdGlvbnMvbWF0aCIgZXhjbHVkZS1yZXN1bHQtcHJlZml4 ZXM9InhzIG1hdGgiCgl2ZXJzaW9uPSIzLjAiPgoKCTx4c2w6b3V0cHV0IGluZGVudD0ieWVzIi8+ CgoJPHhzbDp0ZW1wbGF0ZSBtYXRjaD0icm9vdCI+CgkJPHhzbDpjb3B5PgoJCQk8eHNsOm1lcmdl PgoJCQkJPHhzbDptZXJnZS1zb3VyY2Ugc2VsZWN0PSJpdGVtIj4KCQkJCQk8eHNsOm1lcmdlLWtl eSBzZWxlY3Q9ImZvbyIvPgoJCQkJPC94c2w6bWVyZ2Utc291cmNlPgoJCQkJPHhzbDptZXJnZS1h Y3Rpb24+CgkJCQkJPGdyb3VwIGtleT0ie2N1cnJlbnQtbWVyZ2Uta2V5KCl9Ij4KCQkJCQkJPHhz bDptZXJnZT4KCQkJCQkJCTx4c2w6bWVyZ2Utc291cmNlIHNlbGVjdD0iY3VycmVudC1tZXJnZS1n cm91cCgpIj4KCQkJCQkJCQk8eHNsOm1lcmdlLWtleSBzZWxlY3Q9ImJhciI+PC94c2w6bWVyZ2Ut a2V5PgoJCQkJCQkJPC94c2w6bWVyZ2Utc291cmNlPgoJCQkJCQkJPHhzbDptZXJnZS1hY3Rpb24+ CgkJCQkJCQkJPG5lc3RlZC1ncm91cCBrZXk9IntjdXJyZW50LW1lcmdlLWtleSgpfSI+CgkJCQkJ CQkJCTx4c2w6Y29weS1vZiBzZWxlY3Q9ImN1cnJlbnQtbWVyZ2UtZ3JvdXAoKS92YWx1ZSIvPgoJ CQkJCQkJCTwvbmVzdGVkLWdyb3VwPgoJCQkJCQkJPC94c2w6bWVyZ2UtYWN0aW9uPgoJCQkJCQk8 L3hzbDptZXJnZT4KCQkJCQk8L2dyb3VwPgoJCQkJPC94c2w6bWVyZ2UtYWN0aW9uPgoJCQk8L3hz bDptZXJnZT4KCQk8L3hzbDpjb3B5PgoJPC94c2w6dGVtcGxhdGU+Cgo8L3hzbDpzdHlsZXNoZWV0 Pgo=