W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2008

[Bug 3659] Bugs in date/time regexes

From: <bugzilla@wiggum.w3.org>
Date: Wed, 04 Jun 2008 14:33:29 +0000
CC:
To: www-xml-schema-comments@w3.org
Message-Id: <E1K3u3N-0008Sy-6O@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3659


cmsmcq@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsDrafting               |needsReview




------- Comment #7 from cmsmcq@w3.org  2008-06-04 14:33 -------
A wording proposal intended to fix the bugs identified here is at 

  http://www.w3.org/XML/Group/2004/06/xmlschema-2/datatypes.b3659.html
  (member-only link)

A schema document with pattern elements for the various regexes
in the spec, those in this bug report, and some alternatives constructed
by the editors is at 

  http://www.w3.org/XML/2008/xsdl-exx/regexes.xsd

An annotated version of the same schema document, with abstract syntax
trees in the annotation child of each pattern, is at 

  http://www.w3.org/XML/2008/03/xsdl-regex/regexes.annotated.xsd

And PNG images of the parse trees are in 

  http://www.w3.org/XML/2008/03/xsdl-regex/images/

using a naming convention which should be clear.

Note that the wording proposal differs in two ways (so far) from the
sketches in the material just mentioned (as it is shown today; we may
update it to re-synch things):  (1) signs are written [+\-] not
[-+] so as to be compatible with implementations which implemented the
language of the XSD 1.0 PER and have not changed since (if there are any
such), and (2) the rules for time zones have been corrected both in the
EBNF and in the regexes, to allow time zones up to and including 14:00
but not further (so the largest time offset is 14:00, not 14:59); this
aligns the formal definitions with the prose and with the WG's intentions.
Received on Wednesday, 4 June 2008 14:34:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:15 GMT