Request for revised terminology describing ways annotations can be present or not

[Alex Buckley]

On 4/8/2013 3:49 PM, Alex Buckley wrote:
> On 4/8/2013 12:33 PM, Joe Darcy wrote:
>>> The building blocks are easy:
>>>
>>> a) An annotation A is DIRECTLY PRESENT on an element E if E is
>>> associated with a RuntimeVisibleAnnotations or
>>> RuntimeVisibleParameterAnnotations attribute, and the attribute
>>> contains A.
>>
>> For completeness, the attributes used to store declaration annotations
>> on type parameters should be included in this list too.
>
> Yes, thanks. I updated JDK-8010679 and will upload a new spec document
> soon.

I have updated the spec for what is hopefully the final time:

   http://cr.openjdk.java.net/~abuckley/8misc.pdf

The only changes are i) mentioning RuntimeVisibleTypeAnnotations in the 
definition of "directly present" (since reflection APIs expose type 
parameter declaration annotations stored in that attribute), and ii) 
adding getAnnotatedType() to java.lang.reflect.Parameter (for 
consistency with other jang.lang.reflect types).

Alex