May 2 version of the Type Annotations (JSR 308) Specification
alex.buckley at oracle.com
Fri May 3 14:38:44 PDT 2013
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.
On 5/2/2013 9:47 PM, Michael Ernst wrote:
> A new version of the Type Annotations (JSR 308) Specification is
> available at
> The changelog appears below.
> 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.
> Give examples of interaction between multiple @Target meta-annotations
> and fully-qualified type names.
> Explain why instanceof uses offset_target but cast uses
> Move examples of classfile annotations, which are not normative, into an
> appendix so that Section 3 contains only normative text.
More information about the type-annotations-spec-experts