W3C home > Mailing lists > Public > www-archive@w3.org > January 2010


From: Ian Hickson <ian@hixie.ch>
Date: Fri, 29 Jan 2010 23:15:30 +0000 (UTC)
To: Dominique Hazael-Massieux <dom@w3.org>
Cc: www-archive@w3.org
Message-ID: <Pine.LNX.4.64.1001292311020.22020@ps20323.dreamhostps.com>
On Fri, 29 Jan 2010, Dominique Hazael-Massieux wrote:
> I'm making progress on adding a layer of semantic checks to the WebIDL
> checker that verifies some of the constraints defined in the WebIDL
> specs; this includes verifying that the extended attributes are known,
> the interfaces match defined names, etc.
> So far, I still haven't found any real problem in the HTML5 spec,
> although the (not-online-yet) checker raises a few false positives:
> • for the unknown Supplemental and ReplaceableNamedProperties extended
> attributes (that aren't defined in WebIDL yet)
> • for the references to WindowProxy type which isn't defined anywhere
> I know you've filed a request to add Supplemental to WebIDL; I'm not
> sure if you have done so for ReplaceableNamedProperties; in both cases,
> it would probably useful to document minimally the constraints
> (accepting arguments or not, applicable to interfaces only or exception
> as well, ...) you have in mind for these attributes to
> public-script-coord?


Both are for interfaces only, both accept no arguments.

> For WindowProxy, I've seen that the spec says that WindowProxy is kind 
> of magical, which I assumes explains why "interface WindowProxy" appears 
> nowhere; I guess I could hard-wire the checker with knowledge about this 
> mythical interface, but I was wondering if there wasn't a way to still 
> declare the interface somewhere in the spec somehow?

I've added an IDL block that defines it to the version of the spec I send 
only to the validators:


Ian Hickson               U+1047E                )\._.,--....,'``.    fL
http://ln.hixie.ch/       U+263A                /,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'
Received on Friday, 29 January 2010 23:15:59 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:33:45 UTC