On 08/23/2017 03:16 PM, Martin Buchholz wrote:
On Wed, Aug 23, 2017 at 3:04 PM, Jonathan Gibbons <[email protected] <mailto:[email protected]>> 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
