|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| op-numeric-integer-divide | 136/136 | 135/136 | 125/125 | 136/136 | 125/125 | 136/136 | 133/136 | 125/125 | 136/136 | 136/136 | 125/125 | 136/136 | 136/136 | 136/136 | 136/136 | 2/15 |
| op-numeric-integer-divideint2args-1[+]
X op-numeric-integer-divideint2args-1: xs:int("-2147483648") idiv xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideint2args-2[+]
X op-numeric-integer-divideint2args-2: xs:int("-1873914410") idiv xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideint2args-3[+]
X op-numeric-integer-divideint2args-3: xs:int("2147483647") idiv xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideint2args-4[+]
X op-numeric-integer-divideint2args-4: xs:int("-2147483648") idiv xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideint2args-5[+]
X op-numeric-integer-divideint2args-5: xs:int("-2147483648") idiv xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideintg2args-1[+]
X op-numeric-integer-divideintg2args-1: xs:integer("-999999999999999999") idiv xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideintg2args-2[+]
X op-numeric-integer-divideintg2args-2: xs:integer("830993497117024304") idiv xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideintg2args-3[+]
X op-numeric-integer-divideintg2args-3: xs:integer("999999999999999999") idiv xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideintg2args-4[+]
X op-numeric-integer-divideintg2args-4: xs:integer("-999999999999999999") idiv xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideintg2args-5[+]
X op-numeric-integer-divideintg2args-5: xs:integer("-999999999999999999") idiv xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedec2args-1[+]
X op-numeric-integer-dividedec2args-1: xs:decimal("-999999999999999999") idiv xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedec2args-2[+]
X op-numeric-integer-dividedec2args-2: xs:decimal("617375191608514839") idiv xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedec2args-3[+]
X op-numeric-integer-dividedec2args-3: xs:decimal("999999999999999999") idiv xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedec2args-4[+]
X op-numeric-integer-dividedec2args-4: xs:decimal("-999999999999999999") idiv xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedec2args-5[+]
X op-numeric-integer-dividedec2args-5: xs:decimal("-999999999999999999") idiv xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividelng2args-1[+]
X op-numeric-integer-dividelng2args-1: xs:long("-92233720368547758") idiv xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividelng2args-2[+]
X op-numeric-integer-dividelng2args-2: xs:long("-47175562203048468") idiv xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividelng2args-3[+]
X op-numeric-integer-dividelng2args-3: xs:long("92233720368547758") idiv xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividelng2args-4[+]
X op-numeric-integer-dividelng2args-4: xs:long("-92233720368547758") idiv xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividelng2args-5[+]
X op-numeric-integer-dividelng2args-5: xs:long("-92233720368547758") idiv xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideusht2args-1[+]
X op-numeric-integer-divideusht2args-1: xs:unsignedShort("0") idiv xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideusht2args-2[+]
X op-numeric-integer-divideusht2args-2: xs:unsignedShort("0") idiv xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenint2args-1[+]
X op-numeric-integer-dividenint2args-1: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenint2args-2[+]
X op-numeric-integer-dividenint2args-2: xs:negativeInteger("-297014075999096793") idiv xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenint2args-3[+]
X op-numeric-integer-dividenint2args-3: xs:negativeInteger("-1") idiv xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenint2args-4[+]
X op-numeric-integer-dividenint2args-4: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenint2args-5[+]
X op-numeric-integer-dividenint2args-5: xs:negativeInteger("-999999999999999999") idiv xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividepint2args-1[+]
X op-numeric-integer-dividepint2args-1: xs:positiveInteger("1") idiv xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividepint2args-2[+]
X op-numeric-integer-dividepint2args-2: xs:positiveInteger("52704602390610033") idiv xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividepint2args-3[+]
X op-numeric-integer-dividepint2args-3: xs:positiveInteger("999999999999999999") idiv xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividepint2args-4[+]
X op-numeric-integer-dividepint2args-4: xs:positiveInteger("1") idiv xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividepint2args-5[+]
X op-numeric-integer-dividepint2args-5: xs:positiveInteger("1") idiv xs:positiveInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideulng2args-1[+]
X op-numeric-integer-divideulng2args-1: xs:unsignedLong("0") idiv xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divideulng2args-2[+]
X op-numeric-integer-divideulng2args-2: xs:unsignedLong("0") idiv xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenpi2args-1[+]
X op-numeric-integer-dividenpi2args-1: xs:nonPositiveInteger("-999999999999999999") idiv xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenpi2args-2[+]
X op-numeric-integer-dividenpi2args-2: xs:nonPositiveInteger("-475688437271870490") idiv xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenpi2args-3[+]
X op-numeric-integer-dividenpi2args-3: xs:nonPositiveInteger("0") idiv xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenpi2args-4[+]
X op-numeric-integer-dividenpi2args-4: xs:nonPositiveInteger("-999999999999999999") idiv xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenni2args-1[+]
X op-numeric-integer-dividenni2args-1: xs:nonNegativeInteger("0") idiv xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividenni2args-2[+]
X op-numeric-integer-dividenni2args-2: xs:nonNegativeInteger("0") idiv xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividesht2args-1[+]
X op-numeric-integer-dividesht2args-1: xs:short("-32768") idiv xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividesht2args-2[+]
X op-numeric-integer-dividesht2args-2: xs:short("-5324") idiv xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividesht2args-3[+]
X op-numeric-integer-dividesht2args-3: xs:short("32767") idiv xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividesht2args-4[+]
X op-numeric-integer-dividesht2args-4: xs:short("-32768") idiv xs:short("-5324") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividesht2args-5[+]
X op-numeric-integer-dividesht2args-5: xs:short("-32768") idiv xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-1[+]
X op-numeric-integer-dividemix2args-1: () idiv 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-2[+]
X op-numeric-integer-dividemix2args-2: 1 idiv '1' |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-3[+]
X op-numeric-integer-dividemix2args-3: 1 idiv xs:integer('1') |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-4[+]
X op-numeric-integer-dividemix2args-4: 3 idiv <a> 2 </a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-5[+]
X op-numeric-integer-dividemix2args-5: 1 idiv <a> <b> 2 </b> </a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-6[+]
X op-numeric-integer-dividemix2args-6: 3 idiv <a> <b> 2</b> <c> 2</c> </a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-7[+]
X op-numeric-integer-dividemix2args-7: <a> 1 </a> idiv <b> 2 </b> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-8[+]
X op-numeric-integer-dividemix2args-8: 1 idiv <a> x </a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-9[+]
X op-numeric-integer-dividemix2args-9: 1 idiv <a/> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-integer-dividemix2args-10[+]
X op-numeric-integer-dividemix2args-10: 1 idiv 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-divide-1[+]
X op-numeric-integer-divide-1: (0 div 0E0) idiv xs:integer(2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-1[+]
X K-NumericIntegerDivide-1: (xs:decimal(6) idiv xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-2[+]
X K-NumericIntegerDivide-2: (xs:integer(6) idiv xs:decimal(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-3[+]
X K-NumericIntegerDivide-3: (xs:integer(6) idiv xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-4[+]
X K-NumericIntegerDivide-4: (xs:decimal(6) idiv xs:decimal(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-5[+]
X K-NumericIntegerDivide-5: (xs:decimal(6) idiv xs:decimal(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-6[+]
X K-NumericIntegerDivide-6: (xs:float(6) idiv xs:decimal(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-7[+]
X K-NumericIntegerDivide-7: (xs:decimal(6) idiv xs:float(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-8[+]
X K-NumericIntegerDivide-8: (xs:float(6) idiv xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-9[+]
X K-NumericIntegerDivide-9: (xs:integer(6) idiv xs:float(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-10[+]
X K-NumericIntegerDivide-10: (xs:float(6) idiv xs:float(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-11[+]
X K-NumericIntegerDivide-11: (xs:decimal(6) idiv xs:double(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-12[+]
X K-NumericIntegerDivide-12: (xs:double(6) idiv xs:decimal(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-13[+]
X K-NumericIntegerDivide-13: (xs:double(6) idiv xs:float(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-14[+]
X K-NumericIntegerDivide-14: (xs:float(6) idiv xs:double(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-15[+]
X K-NumericIntegerDivide-15: (xs:double(6) idiv xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-16[+]
X K-NumericIntegerDivide-16: (xs:integer(6) idiv xs:double(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-17[+]
X K-NumericIntegerDivide-17: (xs:double(6) idiv xs:double(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-18[+]
X K-NumericIntegerDivide-18: 10 idiv 3 eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-19[+]
X K-NumericIntegerDivide-19: 3 idiv -2 eq -1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-20[+]
X K-NumericIntegerDivide-20: -3 idiv 2 eq -1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-21[+]
X K-NumericIntegerDivide-21: -3 idiv -2 eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-22[+]
X K-NumericIntegerDivide-22: 5.0 idiv 2.0 eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-23[+]
X K-NumericIntegerDivide-23: 9.0 idiv 3 eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-24[+]
X K-NumericIntegerDivide-24: -3.5 idiv 3 eq -1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-25[+]
X K-NumericIntegerDivide-25: 3.0 idiv 4 eq 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-26[+]
X K-NumericIntegerDivide-26: 3.1E1 idiv 6 eq 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-27[+]
X K-NumericIntegerDivide-27: 3.1E1 idiv 7 eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-28[+]
X K-NumericIntegerDivide-28: (1.1 idiv 1) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-29[+]
X K-NumericIntegerDivide-29: (xs:double(1.1) idiv 1.1) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-30[+]
X K-NumericIntegerDivide-30: 3 idiv 1.1 eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-31[+]
X K-NumericIntegerDivide-31: 1 idiv xs:float("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-32[+]
X K-NumericIntegerDivide-32: xs:float("NaN") idiv 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-33[+]
X K-NumericIntegerDivide-33: xs:float("INF") idiv xs:float(3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-34[+]
X K-NumericIntegerDivide-34: xs:float("-INF") idiv xs:float(3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-35[+]
X K-NumericIntegerDivide-35: xs:float("3") idiv xs:float("INF") eq xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-36[+]
X K-NumericIntegerDivide-36: xs:float("3") idiv xs:float("-INF") eq xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-37[+]
X K-NumericIntegerDivide-37: 1 idiv xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-38[+]
X K-NumericIntegerDivide-38: xs:double("NaN") idiv 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-39[+]
X K-NumericIntegerDivide-39: xs:double("INF") idiv xs:double(3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-40[+]
X K-NumericIntegerDivide-40: xs:double("-INF") idiv xs:double(3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-41[+]
X K-NumericIntegerDivide-41: xs:double("3") idiv xs:double("INF") eq xs:double(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-42[+]
X K-NumericIntegerDivide-42: xs:double("3") idiv xs:double("-INF") eq xs:double(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-43[+]
X K-NumericIntegerDivide-43: 10idiv 3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-44[+]
X K-NumericIntegerDivide-44: 10 idiv3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-45[+]
X K-NumericIntegerDivide-45: 10idiv3 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-46[+]
X K-NumericIntegerDivide-46: "3" idiv "3" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-47[+]
X K-NumericIntegerDivide-47: "3" idiv xs:float(3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-48[+]
X K-NumericIntegerDivide-48: (xs:untypedAtomic("9") idiv xs:float(5)) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-49[+]
X K-NumericIntegerDivide-49: (xs:float(9) idiv xs:untypedAtomic("5")) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-50[+]
X K-NumericIntegerDivide-50: (xs:untypedAtomic("nine") idiv xs:float(5)) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-51[+]
X K-NumericIntegerDivide-51: (xs:float(9) idiv xs:untypedAtomic("five")) eq 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-52[+]
X K-NumericIntegerDivide-52: empty(() idiv ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericIntegerDivide-53[+]
X K-NumericIntegerDivide-53: empty(() idiv xs:decimal(1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-1[+]
X K2-NumericIntegerDivide-1: 1 idiv 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-2[+]
X K2-NumericIntegerDivide-2: 1 idiv 0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-3[+]
X K2-NumericIntegerDivide-3: 1 idiv +0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-4[+]
X K2-NumericIntegerDivide-4: 1 idiv -0.0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-5[+]
X K2-NumericIntegerDivide-5: 1 idiv 0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-6[+]
X K2-NumericIntegerDivide-6: -1 idiv 0e0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-7[+]
X K2-NumericIntegerDivide-7: 1 idiv xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericIntegerDivide-8[+]
X K2-NumericIntegerDivide-8: -1 idiv xs:float(0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividefloat2args-1[+]
X op-numeric-integer-dividefloat2args-1: xs:float("-INF") idiv xs:float("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividefloat2args-2[+]
X op-numeric-integer-dividefloat2args-2: xs:float("1") idiv xs:float("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividefloat2args-3[+]
X op-numeric-integer-dividefloat2args-3: xs:float("1") idiv xs:float("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividefloat2args-4[+]
X op-numeric-integer-dividefloat2args-4: xs:float("INF") idiv xs:float("0") |
pass | wrongError
expected: FOAR0001 actualCode: FOAR0002 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividefloat2args-5[+]
X op-numeric-integer-dividefloat2args-5: xs:float("-3.5") idiv xs:float("3") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedouble2args-1[+]
X op-numeric-integer-dividedouble2args-1: xs:double("-INF") idiv xs:double("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedouble2args-2[+]
X op-numeric-integer-dividedouble2args-2: xs:double("1") idiv xs:double("NaN") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedouble2args-3[+]
X op-numeric-integer-dividedouble2args-3: xs:double("1") idiv xs:double("0.0E0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedouble2args-4[+]
X op-numeric-integer-dividedouble2args-4: xs:double("INF") idiv xs:double("0") |
pass | wrongError
expected: FOAR0001 actualCode: FOAR0002 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-integer-dividedouble2args-5[+]
X op-numeric-integer-dividedouble2args-5: xs:double("12.78e-2") idiv xs:double("3") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-idivide-001[+]
X cbcl-numeric-idivide-001: declare function local:square($arg as xs:decimal) as xs:decimal { $arg * $arg }; local:square(4294967296.0) idiv 0.0000000000005 gt 0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-idivide-002[+]
X cbcl-numeric-idivide-002: declare function local:square($arg as xs:double) as xs:double { $arg * $arg }; local:square(1e100) idiv 5e-100 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-idivide-003[+]
X cbcl-numeric-idivide-003: declare function local:square($arg as xs:float) as xs:float { $arg * $arg }; local:square(xs:float(1e30)) idiv xs:float(5e-30) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-idivide-004[+]
X cbcl-numeric-idivide-004: declare function local:integer($x as xs:decimal) { if ($x mod 1 eq 0) then xs:integer($x) else $x }; (local:integer(2) idiv local:integer(2)) instance of xs:integer |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-numeric-idivide-005[+]
X cbcl-numeric-idivide-005: xs:integer(2) idiv xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-idivide-006[+]
X cbcl-numeric-idivide-006: xs:float(1.5) idiv xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-idivide-007[+]
X cbcl-numeric-idivide-007: xs:double(1.5) idiv xs:decimal(1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-numeric-idivide-008[+]
X cbcl-numeric-idivide-008: xs:float('1e38') idiv xs:float('1e-37') |
pass | fail | wrongError
Expected error:FOAR0002, got err:FOCA0002 |
wrongError
Expected error:FOAR0002, got err:FOCA0002 |
wrongError
Expected error:FOAR0002, got err:FOCA0002 |
wrongError
Expected error:FOAR0002, got err:FOCA0002 |
wrongError
Expected error:FOAR0002, got err:FOCA0002 |
pass | pass | pass | pass | pass | pass | wrongError
Expected error: FOAR0002. Found error: ZXQP0003 |
wrongError
Expected error: FOAR0002. Found error: ZXQP0003 |
|
| cbcl-numeric-idivide-009[+]
X cbcl-numeric-idivide-009: declare function local:value($number as xs:boolean) { if ($number) then 1 else xs:string('1') }; local:value(true()) idiv local:value(true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |