Date: Wed, 27 Mar 2002 09:22:51 -0500 (EST)
From: C. Scott Ananian
To: jsr14-prototype-comments@sun.com
Subject: errors in jsr14 spec.

The following are errors in the April 27, 2001, "Adding Generics to the
Java Programming Language: Participant Draft Specification".
These both have to do with the Signature Classfile Attribute (section 7)
because that's what i'm looking at right now.

1) ParameterSignature definition: missing an explanation of what
'bound_TypeSignature' is (should be plain 'TypeSignature').  Also, the
production is wrong, because there can be multiple bounds.  It should read
something like:

ParameterSignature ::= Ident BoundsList
BoundsList ::= Bound BoundsList
            |  Bound
Bound ::= ':' TypeSignature

2) The MethodTypeSignature production is wrong as well.  It should be:

MethodTypeSignature ::= ParameterPartOpt '(' TypeSignatures ')'
                        TypeSignature ThrowsSignatureListOpt

i.e. the first element should be ParameterPartOpt instead of
TypeArgumentsOpt.

These are the errors I know of so far.  I will write if I find more.
 --scott

AES Peking Cheney global action network cracking ASW UKUSA MI6 EZLN 
Attache munitions assassination politics C4 SLBM SSBN 731 SSBN 743 
              ( http://lesser-magoo.lcs.mit.edu/~cananian )