[type-annos-observers] New version of Type Annotations (JSR 308) specification

[Eric Bruneton]

15/03/2013 18:16, Michael Ernst wrote:
> I've made a new version of the Type Annotations (JSR 308) specification, at
>
> http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html
> http://types.cs.washington.edu/jsr308/specification/java-annotation-design.pdf
>
> This version cleans up a few small issues:
>
> Classfile changes:
>   * Type annotations on the body of an initializer appear with the initializer code, not with the field being initialized.
>   * Change method_reference_receiver to method_reference, and change constructor_reference_receiver to constructor_reference.
>   * Change invocation_type_argument_target and method_reference_type_argument to type_argument_target.

Thanks for the update; FYI, I updated ASM accordingly.

> Clarifications:
>   * Clarify the meaning of the receiver of an inner class constructor.
>
> A few other small issues remain to be clarified, but I am not aware of any
> significant errors that remain.
>
> 		    -Mike
>