[type-annos-observers] May 2 version of the Type Annotations (JSR 308) Specification

[Alex Buckley]

Please see the following four threads:

- "Desugaring of anonymous classes" 3/31
- "JLS Creator production does not use 'Type'" 3/31
- "Clarifying the receiver parameter" 4/10
- "Removing target_type distinctions between constructors and methods" 4/17

The first three threads contain spec changes not found in the May 2 spec.

Alex

On 5/2/2013 9:47 PM, Michael Ernst wrote:
> A new version of the Type Annotations (JSR 308) Specification is
> available at
>
> http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html
>
> http://types.cs.washington.edu/jsr308/specification/java-annotation-design.pdf
>
>
> The changelog appears below.
>
>                      -Mike
>
> Grammar changes:
> Refactor JLS grammar to clarify that throws and catch clauses contain
> type uses that can be annotated, even though type parameters and arrays
> are forbidden in such locations. See the productions for QualifiedType,
> UnannQualifiedType, and QualifiedTypeList.
>
> Classfile changes:
> Remove unused target_info method_reference_target.
>
> Clarifications:
> Give examples of interaction between multiple @Target meta-annotations
> and fully-qualified type names.
> Explain why instanceof uses offset_target but cast uses
> type_argument_target.
> Move examples of classfile annotations, which are not normative, into an
> appendix so that Section 3 contains only normative text.