File: Data.xml
File: Transform.xslt
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:xs="http://www.w3.org/2001/XMLSchema">
Some tests of the "instance of" operator:
'1995-04-21' instance of xs:date:
xs:date('1995-04-21') instance of xs:date:
3 instance of xs:integer:
'3' instance of xs:integer:
number('3') instance of xs:integer:
number('3') instance of xs:double:
xs:integer('3') instance of xs:integer:
'3' cast as xs:integer instance of xs:integer:
'e' instance of xs:integer:
Output:
Some tests of the "instance of" operator:
'1995-04-21' instance of xs:date: false
xs:date('1995-04-21') instance of xs:date: true
3 instance of xs:integer: true
'3' instance of xs:integer: false
number('3') instance of xs:integer: false
number('3') instance of xs:double: true
xs:integer('3') instance of xs:integer: true
'3' cast as xs:integer instance of xs:integer: true
'e' instance of xs:integer: false