|
| 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-add | 140/140 | 140/140 | 131/131 | 140/140 | 131/131 | 140/140 | 140/140 | 131/131 | 140/140 | 140/140 | 131/131 | 140/140 | 140/140 | 140/140 | 140/140 | 3/15 |
| op-numeric-addint2args-1[+]
X op-numeric-addint2args-1: xs:int("-1873914410") + xs:int("-273569238") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addint2args-2[+]
X op-numeric-addint2args-2: xs:int("2147483647") + xs:int("-2147483648") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addint2args-3[+]
X op-numeric-addint2args-3: xs:int("-273569238") + xs:int("-1873914410") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addint2args-4[+]
X op-numeric-addint2args-4: xs:int("-2147483648") + xs:int("2147483647") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addintg2args-1[+]
X op-numeric-addintg2args-1: xs:integer("830993497117024304") + xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addintg2args-2[+]
X op-numeric-addintg2args-2: xs:integer("999999999999999999") + xs:integer("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addintg2args-3[+]
X op-numeric-addintg2args-3: xs:integer("-999999999999999999") + xs:integer("830993497117024304") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addintg2args-4[+]
X op-numeric-addintg2args-4: xs:integer("-999999999999999999") + xs:integer("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddec2args-1[+]
X op-numeric-adddec2args-1: xs:decimal("617375191608514839") + xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddec2args-2[+]
X op-numeric-adddec2args-2: xs:decimal("999999999999999999") + xs:decimal("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddec2args-3[+]
X op-numeric-adddec2args-3: xs:decimal("-999999999999999999") + xs:decimal("617375191608514839") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddec2args-4[+]
X op-numeric-adddec2args-4: xs:decimal("-999999999999999999") + xs:decimal("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddbl2args-1[+]
X op-numeric-adddbl2args-1: xs:double("0") + xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddbl2args-2[+]
X op-numeric-adddbl2args-2: xs:double("1.7976931348623157E308") + xs:double("-1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddbl2args-3[+]
X op-numeric-adddbl2args-3: xs:double("-1.7976931348623157E308") + xs:double("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-adddbl2args-4[+]
X op-numeric-adddbl2args-4: xs:double("-1.7976931348623157E308") + xs:double("1.7976931348623157E308") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addflt2args-1[+]
X op-numeric-addflt2args-1: xs:float("0") + xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addflt2args-2[+]
X op-numeric-addflt2args-2: xs:float("3.4028235E38") + xs:float("-3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addflt2args-3[+]
X op-numeric-addflt2args-3: xs:float("-3.4028235E38") + xs:float("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addflt2args-4[+]
X op-numeric-addflt2args-4: xs:float("-3.4028235E38") + xs:float("3.4028235E38") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addlng2args-1[+]
X op-numeric-addlng2args-1: xs:long("-47175562203048468") + xs:long("-45058158165499290") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addlng2args-2[+]
X op-numeric-addlng2args-2: xs:long("92233720368547758") + xs:long("-92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addlng2args-3[+]
X op-numeric-addlng2args-3: xs:long("-45058158165499290") + xs:long("-47175562203048468") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addlng2args-4[+]
X op-numeric-addlng2args-4: xs:long("-92233720368547758") + xs:long("92233720368547758") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addusht2args-1[+]
X op-numeric-addusht2args-1: xs:unsignedShort("0") + xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addusht2args-2[+]
X op-numeric-addusht2args-2: xs:unsignedShort("44633") + xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addusht2args-3[+]
X op-numeric-addusht2args-3: xs:unsignedShort("65535") + xs:unsignedShort("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addusht2args-4[+]
X op-numeric-addusht2args-4: xs:unsignedShort("0") + xs:unsignedShort("44633") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addusht2args-5[+]
X op-numeric-addusht2args-5: xs:unsignedShort("0") + xs:unsignedShort("65535") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnint2args-1[+]
X op-numeric-addnint2args-1: xs:negativeInteger("-297014075999096793") + xs:negativeInteger("-702985924000903206") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnint2args-2[+]
X op-numeric-addnint2args-2: xs:negativeInteger("-1") + xs:negativeInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnint2args-3[+]
X op-numeric-addnint2args-3: xs:negativeInteger("-702985924000903206") + xs:negativeInteger("-297014075999096793") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnint2args-4[+]
X op-numeric-addnint2args-4: xs:negativeInteger("-999999999999999999") + xs:negativeInteger("-1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addpint2args-1[+]
X op-numeric-addpint2args-1: xs:positiveInteger("1") + xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addpint2args-2[+]
X op-numeric-addpint2args-2: xs:positiveInteger("52704602390610033") + xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addpint2args-3[+]
X op-numeric-addpint2args-3: xs:positiveInteger("999999999999999998") + xs:positiveInteger("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addpint2args-4[+]
X op-numeric-addpint2args-4: xs:positiveInteger("1") + xs:positiveInteger("52704602390610033") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addpint2args-5[+]
X op-numeric-addpint2args-5: xs:positiveInteger("1") + xs:positiveInteger("999999999999999998") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addulng2args-1[+]
X op-numeric-addulng2args-1: xs:unsignedLong("0") + xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addulng2args-2[+]
X op-numeric-addulng2args-2: xs:unsignedLong("130747108607674654") + xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addulng2args-3[+]
X op-numeric-addulng2args-3: xs:unsignedLong("184467440737095516") + xs:unsignedLong("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addulng2args-4[+]
X op-numeric-addulng2args-4: xs:unsignedLong("0") + xs:unsignedLong("130747108607674654") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addulng2args-5[+]
X op-numeric-addulng2args-5: xs:unsignedLong("0") + xs:unsignedLong("184467440737095516") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnpi2args-1[+]
X op-numeric-addnpi2args-1: xs:nonPositiveInteger("-475688437271870490") + xs:nonPositiveInteger("-524311562728129509") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnpi2args-2[+]
X op-numeric-addnpi2args-2: xs:nonPositiveInteger("0") + xs:nonPositiveInteger("-999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnpi2args-3[+]
X op-numeric-addnpi2args-3: xs:nonPositiveInteger("-524311562728129509") + xs:nonPositiveInteger("-475688437271870490") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnpi2args-4[+]
X op-numeric-addnpi2args-4: xs:nonPositiveInteger("-999999999999999999") + xs:nonPositiveInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnni2args-1[+]
X op-numeric-addnni2args-1: xs:nonNegativeInteger("0") + xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnni2args-2[+]
X op-numeric-addnni2args-2: xs:nonNegativeInteger("303884545991464527") + xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnni2args-3[+]
X op-numeric-addnni2args-3: xs:nonNegativeInteger("999999999999999999") + xs:nonNegativeInteger("0") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnni2args-4[+]
X op-numeric-addnni2args-4: xs:nonNegativeInteger("0") + xs:nonNegativeInteger("303884545991464527") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addnni2args-5[+]
X op-numeric-addnni2args-5: xs:nonNegativeInteger("0") + xs:nonNegativeInteger("999999999999999999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addsht2args-1[+]
X op-numeric-addsht2args-1: xs:short("-5324") + xs:short("-27444") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addsht2args-2[+]
X op-numeric-addsht2args-2: xs:short("32767") + xs:short("-32768") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addsht2args-3[+]
X op-numeric-addsht2args-3: xs:short("-27444") + xs:short("-5324") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addsht2args-4[+]
X op-numeric-addsht2args-4: xs:short("-32768") + xs:short("32767") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addmix2args-1[+]
X op-numeric-addmix2args-1: 1 + () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addmix2args-2[+]
X op-numeric-addmix2args-2: 1 + '1' |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addmix2args-3[+]
X op-numeric-addmix2args-3: 1 + xs:integer('1') |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-addmix2args-4[+]
X op-numeric-addmix2args-4: 1 + <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-addmix2args-5[+]
X op-numeric-addmix2args-5: 1+<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-addmix2args-6[+]
X op-numeric-addmix2args-6: 1 + <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-addmix2args-7[+]
X op-numeric-addmix2args-7: <a> 1 </a> + <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-addmix2args-8[+]
X op-numeric-addmix2args-8: 1 + <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-addmix2args-9[+]
X op-numeric-addmix2args-9: 1 + <a/> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-add-derived-1[+]
X op-numeric-add-derived-1: xs:long(10) + xs:unsignedLong(35) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-add-derived-2[+]
X op-numeric-add-derived-2: xs:positiveInteger(10) + xs:nonPositiveInteger(-15) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-add-derived-3[+]
X op-numeric-add-derived-3: xs:nonNegativeInteger(10) + xs:short(15) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-add-derived-4[+]
X op-numeric-add-derived-4: xs:short(10) + xs:long(145) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| op-numeric-add-derived-5[+]
X op-numeric-add-derived-5: xs:positiveInteger(10) + xs:negativeInteger(-5) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-1[+]
X K-NumericAdd-1: xs:double(6) + xs:double(2) eq 8 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-2[+]
X K-NumericAdd-2: xs:decimal(6) + xs:decimal(2) eq 8 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-3[+]
X K-NumericAdd-3: xs:decimal(6.1) + xs:decimal(2.1) eq 8.2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-4[+]
X K-NumericAdd-4: 1.1 + 2.2 eq 3.3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-5[+]
X K-NumericAdd-5: xs:double(1.1) + xs:double(2.2) ne 3.3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-6[+]
X K-NumericAdd-6: xs:float(1.1) + xs:float(2.2) ne 3.3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-7[+]
X K-NumericAdd-7: xs:integer(6) + xs:integer(2) eq 8 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-8[+]
X K-NumericAdd-8: xs:float(6) + xs:float(2) eq 8 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-9[+]
X K-NumericAdd-9: string(xs:float("NaN") + 3) eq "NaN" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-10[+]
X K-NumericAdd-10: string(xs:double("NaN") + 3) eq "NaN" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-11[+]
X K-NumericAdd-11: string(3 + xs:float("NaN")) eq "NaN" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-12[+]
X K-NumericAdd-12: string(3 + xs:double("NaN")) eq "NaN" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-13[+]
X K-NumericAdd-13: (xs:decimal(6) + xs:integer(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-14[+]
X K-NumericAdd-14: (xs:integer(6) + xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-15[+]
X K-NumericAdd-15: (xs:integer(6) + xs:integer(2)) instance of xs:integer |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-16[+]
X K-NumericAdd-16: (xs:decimal(6) + xs:decimal(2)) instance of xs:decimal |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-17[+]
X K-NumericAdd-17: (xs:decimal(6) + xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-18[+]
X K-NumericAdd-18: (xs:float(6) + xs:decimal(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-19[+]
X K-NumericAdd-19: (xs:float(6) + xs:integer(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-20[+]
X K-NumericAdd-20: (xs:integer(6) + xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-21[+]
X K-NumericAdd-21: (xs:float(6) + xs:float(2)) instance of xs:float |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-22[+]
X K-NumericAdd-22: (xs:decimal(6) + xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-23[+]
X K-NumericAdd-23: (xs:double(6) + xs:decimal(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-24[+]
X K-NumericAdd-24: (xs:double(6) + xs:float(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-25[+]
X K-NumericAdd-25: (xs:float(6) + xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-26[+]
X K-NumericAdd-26: (xs:double(6) + xs:integer(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-27[+]
X K-NumericAdd-27: (xs:integer(6) + xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-28[+]
X K-NumericAdd-28: (xs:double(6) + xs:double(2)) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-29[+]
X K-NumericAdd-29: 1+1 eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-30[+]
X K-NumericAdd-30: 2 eq 1+1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-31[+]
X K-NumericAdd-31: 3 + error() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-32[+]
X K-NumericAdd-32: error() + 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-33[+]
X K-NumericAdd-33: 3 + (error(), 4) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-34[+]
X K-NumericAdd-34: (4, error()) + 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-35[+]
X K-NumericAdd-35: 3 + (4, error()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-36[+]
X K-NumericAdd-36: (error(), 4) + 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-37[+]
X K-NumericAdd-37: (1, 2) + 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-38[+]
X K-NumericAdd-38: empty((1, 2) + ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-39[+]
X K-NumericAdd-39: 1 + (1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-40[+]
X K-NumericAdd-40: empty(() + (1, 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-41[+]
X K-NumericAdd-41: error() + 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-42[+]
X K-NumericAdd-42: 3 + error() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-43[+]
X K-NumericAdd-43: "3" + "3" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-44[+]
X K-NumericAdd-44: "3" + xs:untypedAtomic("3") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-45[+]
X K-NumericAdd-45: (3 + xs:untypedAtomic("3")) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-46[+]
X K-NumericAdd-46: (xs:untypedAtomic("3") + 3.0) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-47[+]
X K-NumericAdd-47: (2 + 4) * 5 eq 30 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-48[+]
X K-NumericAdd-48: 2 + 4 * 5 eq 22 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-49[+]
X K-NumericAdd-49: 1 + 2 * 4 + (1 + 2 + 3 * 4) eq 24 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-50[+]
X K-NumericAdd-50: empty(() + ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-51[+]
X K-NumericAdd-51: (remove((1, "two"), 2) + 1) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-52[+]
X K-NumericAdd-52: 2 eq (1 + remove((1, "two"), 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-53[+]
X K-NumericAdd-53: (remove((1, "two"), 2) + xs:untypedAtomic("1")) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-54[+]
X K-NumericAdd-54: 2 eq (xs:untypedAtomic("1") + remove((1, "two"), 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-55[+]
X K-NumericAdd-55: (remove((xs:untypedAtomic("1"), "two"), 2) + 1) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-56[+]
X K-NumericAdd-56: 2 eq (1 + remove((xs:untypedAtomic("1"), "two"), 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-57[+]
X K-NumericAdd-57: (remove((1, "two"), 2) + xs:untypedAtomic("1")) eq 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-58[+]
X K-NumericAdd-58: 2 eq (xs:untypedAtomic("1") + remove((1, "two"), 2)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-59[+]
X K-NumericAdd-59: xs:untypedAtomic("3") + 3 eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-60[+]
X K-NumericAdd-60: (xs:untypedAtomic("3") + 3) instance of xs:double |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-61[+]
X K-NumericAdd-61: (remove((5, 1e0), 2) + 1) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-62[+]
X K-NumericAdd-62: (1 + remove((5, 1e0), 2)) eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-63[+]
X K-NumericAdd-63: 1 + subsequence("a string", 1, 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-64[+]
X K-NumericAdd-64: subsequence("a string", 1, 1) + 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-65[+]
X K-NumericAdd-65: "foo" + 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-NumericAdd-66[+]
X K-NumericAdd-66: 1 + "foo" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericAdd-1[+]
X K2-NumericAdd-1: (1, 2) + (1, 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-NumericAdd-2[+]
X K2-NumericAdd-2: <a>1</a> + <b>2</b> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-NumericAdd-3[+]
X K2-NumericAdd-3: <a foo="1"/>/@foo + <b foo="2"/>/@foo |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| op-numeric-add-1[+]
X op-numeric-add-1: for $x in (1, xs:decimal(2), xs:float(3), xs:double(4), xs:untypedAtomic(5)) for $y in (1, xs:decimal(2), xs:float(3), xs:double(4), xs:untypedAtomic(5)) return typeswitch ($x + $y) case xs:integer return "integer" case xs:decimal return "decimal" case xs:float return "float" case xs:double return "double" default return error() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |