tests/expr/math/math-3310a.xsl
author Michael Kay <mike@saxonica.com>
Mon, 11 Jan 2016 11:27:29 +0000
changeset 1198 aacf3d6d8681
permissions -rw-r--r--
Variants of some math tests to force runtime evaluation
1198
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     1
<xsl:stylesheet version="2.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     2
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     3
    <xsl:template match="/">
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     4
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     5
        <!-- test value comparisons on NaN -->
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     6
        <!-- Variant forcing runtime evaluation -->
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     7
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     8
        <xsl:param name="a" select="2"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
     9
        <xsl:param name="n" select="number(dummy)"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    10
        <xsl:param name="s" select="(2,3,4)"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    11
        <xsl:param name="t" select="($n, 4)"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    12
        <z>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    13
            <x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    14
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    15
                    <xsl:value-of select="$a eq $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    16
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    17
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    18
                    <xsl:value-of select="$a ne $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    19
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    20
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    21
                    <xsl:value-of select="$a lt $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    22
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    23
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    24
                    <xsl:value-of select="$a le $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    25
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    26
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    27
                    <xsl:value-of select="$a gt $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    28
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    29
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    30
                    <xsl:value-of select="$a ge $n"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    31
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    32
            </x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    33
            <x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    34
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    35
                    <xsl:value-of select="$n eq $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    36
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    37
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    38
                    <xsl:value-of select="$n ne $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    39
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    40
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    41
                    <xsl:value-of select="$n lt $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    42
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    43
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    44
                    <xsl:value-of select="$n le $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    45
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    46
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    47
                    <xsl:value-of select="$n gt $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    48
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    49
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    50
                    <xsl:value-of select="$n ge $a"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    51
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    52
            </x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    53
            <x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    54
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    55
                    <xsl:value-of select="$s = $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    56
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    57
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    58
                    <xsl:value-of select="$s != $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    59
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    60
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    61
                    <xsl:value-of select="$s &lt; $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    62
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    63
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    64
                    <xsl:value-of select="$s &lt;= $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    65
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    66
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    67
                    <xsl:value-of select="$s &gt; $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    68
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    69
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    70
                    <xsl:value-of select="$s &gt;= $t"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    71
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    72
            </x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    73
            <x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    74
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    75
                    <xsl:value-of select="$t = $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    76
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    77
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    78
                    <xsl:value-of select="$t != $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    79
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    80
                <f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    81
                    <xsl:value-of select="$t &lt; $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    82
                </f>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    83
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    84
                    <xsl:value-of select="$t &lt;= $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    85
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    86
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    87
                    <xsl:value-of select="$t &gt; $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    88
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    89
                <t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    90
                    <xsl:value-of select="$t &gt;= $s"/>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    91
                </t>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    92
            </x>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    93
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    94
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    95
        </z>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    96
    </xsl:template>
aacf3d6d8681 Variants of some math tests to force runtime evaluation
Michael Kay <mike@saxonica.com>
parents:
diff changeset
    97
</xsl:stylesheet>