W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2013

[Bug 21582] New: format-number() and decimal-digit-family

From: <bugzilla@jessica.w3.org>
Date: Thu, 04 Apr 2013 18:08:26 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-21582-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=21582

            Bug ID: 21582
           Summary: format-number() and decimal-digit-family
    Classification: Unclassified
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators 3.0
          Assignee: mike@saxonica.com
          Reporter: paul@lucasmail.org
        QA Contact: public-qt-comments@w3.org

XQuery Functions & Operators 3.0 [F&O] section 4.6.1 for format-integer() says
in part:

> A mandatory-digit-sign is a ·character· in Unicode category Nd. All mandatory-digit-signs within the format token must be from the same digit family, where a digit family is a sequence of ten consecutive characters in Unicode category Nd, having digit values 0 through 9.

This is clear and precise.  It specifically disallows mandatory digits from
different digit families.

[F&O] section 4.7.1 for format-number() says in part:

> The decimal digit family of a decimal format is the sequence of ten digits with consecutive Unicode ·codepoints· starting with the mandatory-digit-sign.

This is less precise since it does not explicitly disallow other characters in
the format string that may be members of another digit family; or, if they are
allowed, how they should be treated.

Additionally, section 4.7.3, "Syntax of the picture string," is silent on
whether digits MUST be from the same digit family.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 4 April 2013 18:08:32 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:52 UTC