Type annotations on scoping mechanisms and type/declaration annotation errors

Alex Buckley alex.buckley at oracle.com
Mon Oct 7 18:10:44 PDT 2013


Thanks. Of the two issues:

1. CantAnnotateStaticClass is still OK and CantAnnotateStaticClass2 
still makes me confused. Please see my question to you on 
type-annotations-spec-observers, after your response to Srikanth on Y.YY.Z.

2. CantAnnotateScoping.java looks good. FYI the @DA in "java. at DA 
lang.Object" is illegal because @DA is decorating part of a type in a 
type context, but DA is not applicable to type contexts.


On 10/6/2013 6:24 PM, Werner Dietl wrote:
> Dear all,
> I've just pushed the following three changesets to type-annotations:
> http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/9a8d0fe3375e
> http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/d159031089b9
> http://hg.openjdk.java.net/type-annotations/type-annotations/langtools/rev/5f5ee58549bc
> I tried to address two issues:
> 1. errors on "scoping mechanisms" were inconsistent.
> 2. an annotation that is both a type and a declaration annotation is
> legal, if it is legal under one interpretation (see this discussion:
> http://mail.openjdk.java.net/pipermail/type-annotations-spec-observers/2013-September/000194.html)
> Please have a look at the changed test cases and let me know what you think.
> More complete combo-tests would be great!
> Thanks,
> cu, WMD.

More information about the type-annotations-dev mailing list