W3C home > Mailing lists > Public > www-validator@w3.org > September 2003

Re: Custom DTD for case-insensitive ID values ?

From: Philip TAYLOR [PC87S-O/XP] <P.Taylor@Rhul.Ac.Uk>
Date: Mon, 15 Sep 2003 16:12:19 +0100
Message-ID: <3F65D6D3.64BE9E20@Rhul.Ac.Uk>
To: "Jukka K. Korpela" <jkorpela@cs.tut.fi>
Cc: www-validator@w3.org



"Jukka K. Korpela" wrote:

[snip]

> Well, that is possible, but I really don't think you should do that.
> Anyway, it can be done by location the following in the DTD:
> 
> <!ENTITY % coreattrs
>  "id          ID           #IMPLIED  -- document-wide unique id --
> 
> and changing ID (the uppercase string) to NAME. You could alternatively
> use CDATA, but that would be more permissive than you asked for.
> The syntactic rule for NAME values is the same as for ID values, but for
> ID, there is the added requirement of uniqueness.

Slight problem, Jukka : IDs are no longer required to be unique.

What I had wanted was that they should still be required to be
unique, but that uniqueness should imply case-sensitivity (in this
context, at least); is that possible, do you think ?

New validation results at

	http://validator.w3.org/check?uri=http://uk.tug.org/

but

	http://uk.tug.org/ 

has two identical DIVs of the form

	<div id="Mask" style="position:absolute; width:200px; 
             height:115px; z-index:1; left: 12px; top: 16px; 
             visibility: visible"><img src="Resources/Graphics/Mask.gif" 
             width="750" height="405" alt="">
        </div>

	<div id="Mask" style="position:absolute; width:200px; 
             height:115px; z-index:1; left: 12px; top: 16px; 
             visibility: visible"><img src="Resources/Graphics/Mask.gif" 
             width="750" height="405" alt="">
        </div>

** Phil.
Received on Monday, 15 September 2003 11:15:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 25 April 2012 12:14:09 GMT