jonathan.gibbons at oracle.com
Fri Nov 30 07:50:34 PST 2012
On 11/29/2012 11:15 PM, Werner Dietl wrote:
> 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
> 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.
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
More information about the type-annotations-dev