W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > August 2009

[Bug 7211] New: define "positive integer" and use it consistently, instead of "non-negative integer greater than zero"

From: <bugzilla@wiggum.w3.org>
Date: Tue, 04 Aug 2009 10:44:12 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-7211-2486@http.www.w3.org/Bugs/Public/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=7211

           Summary: define "positive integer" and use it consistently,
                    instead of "non-negative integer greater than zero"
           Product: HTML WG
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: HTML5 spec bugs
        AssignedTo: dave.null@w3.org
        ReportedBy: mike@w3.org
         QAContact: public-html-bugzilla@w3.org
                CC: ian@hixie.ch, mike@w3.org, public-html@w3.org


The spec should define what a "positive integer" is, and use that term
consistently instead of "non-negative integer greater than zero".

Rationale:

In, for example, the section on the col element, the spec states that the value
of the span content attribute "must be a valid non-negative integer greater
than zero". There are a number of other instances of constraints on the values
of  content attributes being expressed as "non-negative integer greater than
zero".

However, in a couple of other places in the spec, the term "positive integer"
is used, but never defined.

FWIW, the datatype-checking code in validator.nu has both a "non-negative
integer" datatype and a "positive integer" datatype, and most any other
implementation would also. So it would seem to make some sense for the spec to
align more closely with the implementations.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Tuesday, 4 August 2009 10:56:22 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:00:58 UTC