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

RE: WebIDL checker

From: Marcin Hanclik <Marcin.Hanclik@access-company.com>
Date: Thu, 30 Jul 2009 10:25:11 +0200
To: Dominique Hazael-Massieux <dom@w3.org>, "spec-prod@w3.org" <spec-prod@w3.org>
CC: "public-device-apis@w3.org" <public-device-apis@w3.org>
Message-ID: <FAA1D89C5BAF1142A74AF116630A9F2C2890AF8604@OBEEX01.obe.access-company.com>
Hi Dom,

Thanks for the very useful tool!

I think it should be clarified what validity means.
I did similar tool for BONDI APIs, and the problems I encountered were related to the BONDI Design Patterns we agreed on there.
E.g. Web IDL itself may be correct on syntax level, but it may violate the design patterns by wrong inheritance, wrong naming, wrong values for constants etc. I call this a semantic checker.
I understand this could be first done once we have some design patterns e.g. in DAP and probably then only for DAP.

The specification of the generated HTML would be good.
It could be something like "spec of the spec".
I mean here documenting the classes you use in the output, like "interface", "attributes", "attribute", "consts" etc.


Kind regards,

BTW: Little typo: In the generated output there is missing a space between attribute's and constants' type and name.

Marcin Hanclik
ACCESS Systems Germany GmbH
Tel: +49-208-8290-6452  |  Fax: +49-208-8290-6465
Mobile: +49-163-8290-646
E-Mail: marcin.hanclik@access-company.com

-----Original Message-----
From: public-device-apis-request@w3.org [mailto:public-device-apis-request@w3.org] On Behalf Of Dominique Hazael-Massieux
Sent: Thursday, July 30, 2009 9:21 AM
To: spec-prod@w3.org
Subject: WebIDL checker

(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,



Access Systems Germany GmbH
Essener Strasse 5  |  D-46047 Oberhausen
HRB 13548 Amtsgericht Duisburg
Geschaeftsfuehrer: Michel Piquemal, Tomonori Watanabe, Yusuke Kanda


This e-mail and any attachments hereto may contain information that is privileged or confidential, and is intended for use only by the
individual or entity to which it is addressed. Any disclosure, copying or distribution of the information by anyone else is strictly prohibited.
If you have received this document in error, please notify us promptly by responding to this e-mail. Thank you.
Received on Thursday, 30 July 2009 08:26:02 UTC

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