wdietl at gmail.com
Thu Nov 29 23:15:10 PST 2012
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?
More information about the type-annotations-dev