RE: [WebIDL] grammar in ABNF


Marcin Hanclik
ACCESS Systems Germany GmbH
Tel: +49-208-8290-6452  |  Fax: +49-208-8290-6465
Mobile: +49-163-8290-646

-----Original Message-----
From: Cameron McCormack []
Sent: Wednesday, July 01, 2009 7:36 AM
To: Marcin Hanclik
Cc: public-webapps
Subject: Re: [WebIDL] grammar in ABNF

Marcin Hanclik:
> I had the following problem:
> [45]    ScopedName      -> "::" ScopedNameAfterColon
>  | identifier ScopedNameParts
> Where I assumed that each ScopedName has to start with "::", because according to ABNF this production has to be written as
> [45ABNF]        ScopedName      = ("::" ScopedNameAfterColon) | (identifier ScopedNameParts)

Was the confusion because the ‘"::" ScopedNameAfterColon’ and
‘identifier ScopedNameParts’ weren’t written on the same line?  I’m not
sure that r1.189 is incorrect.  It was more complicated, though, since
I was trying to make references to DOMString as a non-intrinsic type
still work.

> I am ok with the grammar now.

OK great.

> Anyway, I would put some reference to the syntax of the LL(1). Maybe
> Aho+Sethi+Ullman's book could be listed there?

Yes I might add a reference to that.  That’s where I got the ‘→’ and ‘ε’
syntax from, I think.

Cameron McCormack ≝


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 Wednesday, 1 July 2009 06:14:55 UTC