W3C home > Mailing lists > Public > spec-prod@w3.org > July to September 2009

WebIDL checker

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Thu, 30 Jul 2009 09:20:40 +0200
To: spec-prod@w3.org
Message-Id: <1248938440.10352.3838.camel@localhost>
(bcc to public-html, public-webapps, public-device-apis)


I have just released a simple on-line WebIDL checker:
It detects bugs in the WebIDLs it finds inside HTML documents - it looks
for <pre> elements with a class set to "idl" or "webidl", and then
validates what it extracts using Aplix' widlproc:

See it for instance:
 * applied to HTML5: http://www.w3.org/2009/07/webidl-check?doc=http%3A%
 * to Geolocation: http://www.w3.org/2009/07/webidl-check?doc=http%3A%2F

More details on my blog:

I'm open for suggestions of improvements - in particular if having a
other output formats in addition to the HTML report would be useful.

Hope this useful to some,

Received on Thursday, 30 July 2009 07:21:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:55:14 UTC