search

chaucoder / checker-plugin

Automatically exported from code.google.com/p/checker-plugin
0 stars 0 forks source link

seeing annotations on Java library classes #7

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
It would help reduce confusion to be able to see the checker annotations on 
Java library classes - or perhaps any called method - especially through the 
natural mechanism of the hover javadoc.

Original issue reported on code.google.com by c...@frontiernet.net on 21 Aug 2010 at 4:24

GoogleCodeExporter commented 8 years ago 
I will look into if this behavior is overridable from the plugin, but this is 
probably a feature for the Eclipse plugin that deals with type annotations (a 
separate project).

Original comment by asumu.ta...@gmail.com on 23 Aug 2010 at 4:42

GoogleCodeExporter commented 8 years ago 
This is a compelling feature that Eclipse should support.

However, this support is better provided by the forthcoming Eclipse support for 
type annotations, rather than worked around by the Checker Framework plugin.

If we have time, we will look into it, but our work should soon be obviated 
anyway.

I'm changing the status to WontFix for now.  But, thanks for the good 
suggestion!

Original comment by michael.ernst@gmail.com on 27 Aug 2010 at 7:54