|
| 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) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| fn-format-integer* | 64/64 | 0/64 | 0/0 | 0/0 | 63/63 | 63/63 | 63/63 | 63/63 | 63/63 | 63/63 | 0/0 | 0/0 | 0/0 | 0/0 | 60/60 | 2/15 |
| format-integer-001[+]
X format-integer-001: format-integer(123, '1') |
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 | |
| format-integer-002[+]
X format-integer-002: format-integer(123, '001') |
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 | |
| format-integer-003[+]
X format-integer-003: format-integer(123, '00001') |
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 | |
| format-integer-004[+]
X format-integer-004: format-integer(-123, '9') |
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 | |
| format-integer-005[+]
X format-integer-005: format-integer(-123, '999') |
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 | |
| format-integer-006[+]
X format-integer-006: format-integer(-123, '99999') |
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 | |
| format-integer-007[+]
X format-integer-007: format-integer(0, '0') |
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 | |
| format-integer-008[+]
X format-integer-008: format-integer(0, '000') |
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 | |
| format-integer-009[+]
X format-integer-009: format-integer(0, '00000') |
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 | |
| format-integer-010[+]
X format-integer-010: string-join(for $i in 1 to 4 return format-integer($i, 'a')) |
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 | |
| format-integer-011[+]
X format-integer-011: string-join(for $i in 1 to 4 return format-integer($i, 'A')) |
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 | |
| format-integer-012[+]
X format-integer-012: string-join(for $i in 1 to 20 return format-integer($i, 'i'), '|') |
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 | |
| format-integer-013[+]
X format-integer-013: string-join(for $i in 1 to 20 return format-integer($i, 'I'), '|') |
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 | |
| format-integer-014[+]
X format-integer-014: string-join(for $i in 1 to 20 return format-integer($i, '١'), '|') |
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 | |
| format-integer-015[+]
X format-integer-015: string-join(for $i in 1 to 20 return format-integer($i, '٩'), '|') |
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 | |
| format-integer-016[+]
X format-integer-016: string-join(for $i in 1 to 10 return format-integer($i, 'Ww'), '|') |
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 | |
| format-integer-017[+]
X format-integer-017: string-join(for $i in 1 to 10 return format-integer($i, 'W'), '|') |
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 | |
| format-integer-018[+]
X format-integer-018: string-join(for $i in 1 to 10 return format-integer($i, 'w'), '|') |
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 | |
| format-integer-019[+]
X format-integer-019: format-integer(a, 'w') |
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 | |
| format-integer-020[+]
X format-integer-020: format-integer(1, '') |
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 | |
| format-integer-021[+]
X format-integer-021: format-integer(1500000, '0,000') |
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 | |
| format-integer-022[+]
X format-integer-022: format-integer(1500000, '#,###,000') |
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 | |
| format-integer-023[+]
X format-integer-023: format-integer(1500000, '0,000,') |
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 | |
| format-integer-024[+]
X format-integer-024: format-integer(1500000, '11#0,000') |
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 | |
| format-integer-025[+]
X format-integer-025: format-integer(1500000, '#') |
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 | |
| format-integer-026[+]
X format-integer-026: format-integer(1500000, '#a') |
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 | |
| format-integer-027[+]
X format-integer-027: format-integer(1500000, ',123') |
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 | |
| format-integer-028[+]
X format-integer-028: format-integer(1500000, '0,00,,000') |
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 | |
| format-integer-029[+]
X format-integer-029: format-integer(1500000, '###𐄀0,00') |
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 | |
| format-integer-030[+]
X format-integer-030: format-integer(602347826, '#(000)000-000') |
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 | |
| format-integer-031[+]
X format-integer-031: format-integer(2, 'W;o') |
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 | |
| format-integer-032[+]
X format-integer-032: format-integer(1, 'Ww;o(-er)', 'de' cast as xs:language) |
pass | no result | pass | n/a
notXP20 |
n/a
notXQ10 |
pass | pass | n/a | 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=language, value=de, satisfied=true) was not met. |
n/a
Dependency (type=language, value=de, satisfied=true) was not met. |
|
| format-integer-033[+]
X format-integer-033: format-integer(1, '1;o(-en)') |
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 | |
| format-integer-034[+]
X format-integer-034: format-integer(1, '1;o(-er)z') |
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 | |
| format-integer-035[+]
X format-integer-035: format-integer(1, 'Ww;t') |
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 | |
| format-integer-036[+]
X format-integer-036: format-integer((), 'Ww') |
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 | |
| format-integer-037[+]
X format-integer-037: format-integer(1234, 'Ww;o()(') |
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 | |
| format-integer-038[+]
X format-integer-038: format-integer(1234, '()Ww;o') |
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 | |
| format-integer-039[+]
X format-integer-039: format-integer(1234, ' ') |
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 | |
| format-integer-040[+]
X format-integer-040: format-integer(1234, '123١') |
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 | |
| format-integer-041[+]
X format-integer-041: format-integer(1234, '#,𐒠𐒠𐒠') |
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 | |
| format-integer-042[+]
X format-integer-042: format-integer(1234, 'ﯴ') |
pass | no result | n/a
Dependency not satisfied |
n/a
notXP20 |
n/a
notXQ10 |
n/a
Dependency not satisfied |
n/a
Dependency not satisfied |
pass | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. |
pass | |
| format-integer-043[+]
X format-integer-043: format-integer(-85, '1;o') |
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 | |
| format-integer-044[+]
X format-integer-044: format-integer(-5, 'Ww;o') |
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 | |
| format-integer-045[+]
X format-integer-045: format-integer(0, 'Ww') |
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 | |
| format-integer-046[+]
X format-integer-046: string-join(for $i in 1 to 5 return format-integer($i, '①'), '|') |
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 | |
| format-integer-047[+]
X format-integer-047: string-join(for $i in 1 to 5 return format-integer($i, '⑴'), '|') |
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 | |
| format-integer-048[+]
X format-integer-048: string-join(for $i in 1 to 5 return format-integer($i, '⒈'), '|') |
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 | |
| format-integer-049[+]
X format-integer-049: string-join(for $i in 1 to 5 return format-integer($i, 'Α'), '|') |
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=format-integer-sequence, value=Α, satisfied=true) was not met. |
n/a
Dependency (type=format-integer-sequence, value=Α, satisfied=true) was not met. |
|
| format-integer-050[+]
X format-integer-050: string-join(for $i in 1 to 5 return format-integer($i,'α'), '|') |
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=format-integer-sequence, value=α, satisfied=true) was not met. |
n/a
Dependency (type=format-integer-sequence, value=α, satisfied=true) was not met. |
|
| format-integer-051[+]
X format-integer-051: format-integer(12345678901,'# 000') |
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 | |
| format-integer-052[+]
X format-integer-052: string-join( for $i in (1 to 23, 151, 302, 469, 2025) return concat($i, '=', format-integer($i, '一')), '|') |
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=format-integer-sequence, value=一, satisfied=true) was not met. |
n/a
Dependency (type=format-integer-sequence, value=一, satisfied=true) was not met. |
|
| format-integer-053[+]
X format-integer-053: format-integer(123,'#0') |
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 | |
| format-integer-054[+]
X format-integer-054: format-integer(123,'0#') |
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 | |
| format-integer-055[+]
X format-integer-055: format-integer(1,'b;o') |
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 | |
| format-integer-056[+]
X format-integer-056: format-integer(1,'o;o') |
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 | |
| format-integer-057[+]
X format-integer-057: format-integer(1,'bo;o') |
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 | |
| format-integer-058[+]
X format-integer-058: format-integer(1,'bb') |
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 | |
| format-integer-059[+]
X format-integer-059: format-integer(1,'001;') |
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 | |
| format-integer-060[+]
X format-integer-060: format-integer(1234,'#;##1;') |
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 | |
| format-integer-061[+]
X format-integer-061: format-integer(1, ';') |
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 | |
| format-integer-062[+]
X format-integer-062: format-integer(11, 'Ww', 'en') |
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 | |
| format-integer-063[+]
X format-integer-063: format-integer(11, 'Ww', '@*!+%') |
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 | |
| format-integer-064[+]
X format-integer-064: format-integer(-1, '1o') |
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 | |