receiver annotations

Jonathan Gibbons jonathan.gibbons at
Fri Nov 30 07:50:34 PST 2012

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> 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
> 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 

-- Jon

More information about the type-annotations-dev mailing list