receiver annotations

[Jonathan Gibbons]

On 11/29/2012 11:15 PM, Werner Dietl wrote:
> Jon,
>
> On Wed, Nov 28, 2012 at 5:38 PM, Jonathan Gibbons
> <jonathan.gibbons at oracle.com> wrote:
>> Where are the receiver annotations on the MethodSymbol?
> The receiver annotations are stored in Symbol.annotations.type_attribute.
> See the last two ifs in
> com.sun.tools.javac.code.TypeAnnotations.AnnotationsKindSeparator.separateAnnotationsKinds
>
> At the moment there is no nice way to get the receiver annotations out
> of a MethodSymbol.
> In the Checker Framework we decode the annotations on a MethodSymbol in
> checkers.types.TypeFromElement.annotateExec.
>
> I do expect that Joel will extend ExecutableElement with a getter
> method to directly access the receiver parameter.
>
> Did this answer your question?
> cu, WMD.
>

Partly. We (Bhavesh and I) were also poking around the javadoc code
and realized we don't want receiver annotations as much as the receiver 
type.

-- Jon