w3.org 上的 xslt 示例中的“pop”是什么意思

Question

代码是倒数第二个例子："Example: Output Hierarchic Section Numbers", https://www.w3.org/TR/2017/REC-xslt-30-20170608/#accumulator-examples

<xsl:accumulator name="section-nr" as="xs:integer*" 
             initial-value="0">
    <xsl:accumulator-rule match="section" phase="start" 
             select="0, head($value)+1, tail($value)"/>
    <xsl:accumulator-rule match="section" phase="end" 
             select="tail($value) (:pop:)"/>
</xsl:accumulator>


<xsl:template match="section">
  <p>
    <xsl:value-of select="reverse(tail(accumulator-before('section-nr')))" 
              separator="."/>
  </p>
  <xsl:apply-templates/>
</xsl:template>

第二个 "xsl:accumulator-rule" 中的 ":pop:" 是什么意思，它是关键字还是定义的东西？ 谢谢

Answer 1

这是一个 XPath 注释，它是一个由符号(:和:)分隔的字符串

查看您提供的链接的“5.5.2 模式语法”：https ://www.w3.org/TR/2017/REC-xslt-30-20170608/#pattern-syntax