Missing location of Runtime[In]VisibleTypeAnnotations attribute

Alex Buckley alex.buckley at oracle.com
Mon Feb 25 10:39:20 PST 2013

Section 3 of the spec says: "A type annotation is stored in a 
Runtime[In]visibleTypeAnnotations attribute on the smallest enclosing 
class, field, method, or Code structure."

Subsections then give the exact storage location for most, but not all, 
of the possible type annotations. The location is missing in 3.3.9 "Type 
tests, object creation, and method/constructor references" - an omission 
which partly led to dropped annotations in the RI [1]. Also, 3.3.10 
gives a location but is inconsistent about the name of the structure 
being stored.



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