[xsl] XTTE0570 at compilation, depending on runtime conditions?

  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 


--~------------------------------------------------------------------
XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--