Test results covering change: Move fn:format-number from XSLT

Change id: fn-format-number

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)
    numberformat01[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat02[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat03[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat04[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat05[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat06[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat07[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat08[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat09[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat11[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat12[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat13[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat14[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat15[+] no result no result no result n/a

notXP20

n/a

notXQ10

pass n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

n/a

Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

    numberformat16[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat17[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat18[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat19[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat20[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat26[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat27[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat28[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat29[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat30[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat31[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat32[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat34[+] fail no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat35[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat36[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat37[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat38[+] no result no result no result n/a

notXP20

n/a

notXQ10

pass n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

n/a

Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

    numberformat39[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat40[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat41[+] no result no result no result n/a

notXP20

n/a

notXQ10

pass n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

n/a

Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

    numberformat42[+] no result no result no result n/a

notXP20

n/a

notXQ10

pass n/a

notXQ30

pass n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

n/a

Dependency (type=feature, value=xpath-1.0-compatibility, satisfied=true) was not met. Dependency (type=spec, value=XP30+, satisfied=true) was not met.

    numberformat60a[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat60b[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60c[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60d[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60e[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60f[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60g[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60h[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60i[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60j[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60k[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60l[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60m[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat60n[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60o[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat60p[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat60q[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat61[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat63[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat64[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat65[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat70[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat71[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat72[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat80[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat81[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat82[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat83[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat84[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat85[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat86[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+ XP30+, satisfied=true) was not met.

pass
    numberformat87[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat88[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

fail
    numberformat89[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat90[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat91[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat901err[+] pass no result pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass n/a pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass
    numberformat902err[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat905err[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformat906InputErr[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

wrongError

Expected error: XPTY0004. Found error: FODF1310

    numberformat907InputErr[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformatFODF1280[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    numberformatNaN[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass