JLS Creator production does not use 'Type'

Michael Ernst mernst at cs.washington.edu
Sun Mar 31 11:33:56 PDT 2013


> The JSR 308 spec has a problem: the 'Creator' production in JLS ch.18 does
> not use 'Type', so it is unaffected by JSR 308's addition of 'Annotations'
> to 'Type'. In other words, no annotations after 'new' are permitted by the
> spec! Obviously they should be, if their type has TYPE or TYPE_USE in
> @Target.

I'm sorry, but I can't remember what decision we made about fixing this
problem with the JLS specification.  Are you going to change that in the
JLS, so that the JSR 308 specification doesn't have to call it out?  Or, do
you want the JSR 308 specification to change the BNF rules for Creator,
ArrayCreator, and InnerCreator?



More information about the type-annotations-spec-experts mailing list