On 08/23/2017 03:16 PM, Martin Buchholz wrote:
On Wed, Aug 23, 2017 at 3:04 PM, Jonathan Gibbons
<jonathan.gibb...@oracle.com <mailto:jonathan.gibb...@oracle.com>> wrote:
javadoc is at fault for not giving the warning, and if we fixed
the tool first, we would just get the warnings, and would still
have to fix the comments.
Yeah, but you get synergy - fixing the warnings gives you confidence
that you've implemented the tool correctly, and using the tool gives
you confidence you've fixed the code properly.
Understood, but as you've noted with ArrayQueue, there's enough synergy
to go around when we start generating the warnings. Right now, I'm
getting synergy with the "link checker" in a new "doccheck" utility,
coming soon to a CodeTools near you ;-)
-- Jon