Re: [xsl] SFINAE in xslt?

["Vladimir Nesterovsky" <vladimir@xxxxxxxxxxxxxxxxxxxx>]

> The effect of dynamic errors occurring during pattern evaluation is
> described here:
>
> http://www.w3.org/TR/xslt20/#pattern-errors

That's probably too esoteric, however this permits error handling however 
primitive, but native.

<xsl:stylesheet version="2.0"
 xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
 xmlns:xs="http://www.w3.org/2001/XMLSchema";>

 <xsl:template match="/">
   <xsl:variable name="operator" as="element()+">
     <div divident="10" divisor="0"/>
     <div divident="10" divisor="2"/>
   </xsl:variable>

   <xsl:apply-templates select="$operator"/>
 </xsl:template>

 <xsl:template match="
   div[(xs:integer(@divident) div xs:integer(@divisor)) ne number('')]">
   <xsl:message select="xs:integer(@divident) div xs:integer(@divisor)"/>
 </xsl:template>

 <xsl:template match="div">
   <xsl:message select="'Division by zero.'"/>
 </xsl:template>

</xsl:stylesheet>

Thanks.
--
Vladimir Nesterovsky
http://www.nesterovsky-bros.com


> > -----Original Message-----
> > From: Vladimir Nesterovsky [mailto:vladimir@xxxxxxxxxxxxxxxxxxxx]
> > Sent: 30 July 2008 16:37
> > To: xsl-list@xxxxxxxxxxxxxxxxxxxxxx
> > Subject: [xsl] SFINAE in xslt?
> >
> > I'm curious if in the xslt 2.0 works SFINAE principle
> > (http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error)
> > regarding template match?
> >
> > For a template:
> >
> > <xsl:template match="if[then/exactly-one(signal)]"/>
> >
> > and a code
> >
> > <xsl:variable name="statement" as="element()">
> >   <if>
> >     <then/>
> >   </if>
> > </xsl:variable>
> >
> > <xsl:apply-templates select="$statement"/>
> >
> > what are chances to not to fail on the specified template?