XTTE0570 at compilation, depending on runtime conditio

  Hi

  Is it legal for an XSLT 2.0 processor provided the
following input:

    <xsl:variable name="v" as="xs:integer">
      <xsl:choose>
        <xsl:when test="$p/@a">1</xsl:when>
        <xsl:when test="$p/@b">2</xsl:when>
      </xsl:choose>
    </xsl:variable>

to give a compilation error with code XTTE0570?  That is,
arguing that if none of the conditions succeed, then the
empty sequence would be set as the value of $v, but this is
not permited per the @as.  Please note I say a *compilation*
error, not even trying to execute the stylesheet.

  I can't find it for sure in the recommendation.

  Regards,

--drkm






















      _____________________________________________________________________________ 
Ne gardez plus qu'une seule adresse mail ! Copiez vos mails vers Yahoo! Mail