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

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