receiver annotations

Werner Dietl wdietl at
Thu Nov 29 23:15:10 PST 2012


On Wed, Nov 28, 2012 at 5:38 PM, Jonathan Gibbons
<jonathan.gibbons at> 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

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

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.


More information about the type-annotations-dev mailing list