receiver annotations

[Werner Dietl]

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.

-- 
http://www.google.com/profiles/wdietl