I'm creating a xslt template that creates schematron rules for testing xsd elementtypes
when I get to the point that I want to test for simple type elements and test the restriction types I use this XSL syntax:
<xsl:if test="xsd:restriction/@base">
   <xsl:element name="sch:assert">
     <xsl:attribute name="test">(normalize-space(.)) instance of <xsl:value-of select="xsd:restriction/@base"/></xsl:attribute>
      This is no <xsl:value-of select="xsd:restriction/@base"/> type
   </xsl:element>
</xsl:if>

for xsd:int this generates the expression:
 <xsl:when test="(normalize-space(.)) instance of xsd:int"/>

But when I get to an element with the restriction base is xsd:int the test for "instance of xsd:int" is not recognized but the test "instance of xsd:integer" is recognised. In OXYGEN I get the message:
the type xsd:int is not recognized by a basic XSLT processor. Also long and short is not recognized. Does that mean that in XSLT you can only test for types higher in the type hierarchy with the expression 'instance of'?

I use SAXON 8B for testing

There are two conformance levels for XSLT 2.0, basic and schema-aware. Saxon-B implements the basic level. This allows only primitive data types plus xs:integer, it doesn't allow derived types such as xs:int.

There is however a switch in Saxon-B to recognize these types. Set

saxon:allow-all-built-in-types="yes"
xmlns:saxon="http://saxon.sf.net/"

on the xsl:stylesheet element

Michael Kay
http://www.saxonica.com/
Author, XSLT Programmer's Reference and XPath 2.0 Programmer's Reference

See also

http://www.archivesat.com/SAXON_XSLT...read625922.htm

Michael Kay
http://www.saxonica.com/
Author, XSLT Programmer's Reference and XPath 2.0 Programmer's Reference