W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2010

New release of WebIDL checker with additional semantic tests

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Wed, 26 May 2010 15:34:08 +0200
To: public-script-coord <public-script-coord@w3.org>
Message-ID: <1274880848.2149.316.camel@localhost>
Hi,

I've just released a new version of the WebIDL checker:
http://www.w3.org/2009/07/webidl-check

In addition to the syntactic checks, it also now tries to find other
types of errors; it looks for instance for mis-used extended attributes,
clashes in attributes/constants/method names, rules for special
operations, etc.

It does tso by running a Schematron against the output of widlproc:
http://dev.w3.org/2009/webidl-checker/widlproc-schematron/webidl-schematron.xml

That schematron doesn't reflect all the rules defined in WebIDL yet, but
I'm planning to make it as complete as possible.

Also, to help verify if interfaces used undefined interfaces, I've
started collecting a set of "standards" WebIDL interfaces in
http://dev.w3.org/2009/webidl-checker/web-platform/standards/
Given how prevalent HTML5 interfaces are getting into newly defined
specifications, I'll probably integrate at lest some of them into that
set of standards interface (or make it an optional parameter to the
checker).

I've also made sure that the whole code is publicly released:
http://dev.w3.org/cvsweb/2009/webidl-checker/
The schematron code also comes with a fairly comprehensive test suite
for what it currently covers:
http://dev.w3.org/cvsweb/2009/webidl-checker/widlproc-schematron/tests/
Some of it could be reused for a WebIDL test suite if such a thing is
required for the spec to make progress on the Recommendation track.

Dom
Received on Wednesday, 26 May 2010 13:34:16 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:02 UTC