[Checkers] Checker Sizes

[Michael Ernst]

Mahmood-

> I just updated the paper with sizes of the checkers.  I used the  
> current size as of my last check-in.

Thanks!

> I didn't move the implicitFor and flow capabilities to the framework.   
> I couldn't find a tasteful way of doing so (other than having a  
> customization class like what I described in our meeting).

OK.

> For the  
> purposes of numbers, the boilerplate of having creation methods (I  
> believe) is more than our savings from not overriding annotateImplicit.

Do you mean constructors, or something else?

> Also, 84 of the lines of the checkers are simply lines of '@Override'.

This is 5% of the lines.

Did you count import statements, or not?  If not, how many of the lines are
import statements?  (The Nullness checker alone has 31 of them.)

> P.S. I removed the bit about our framework supporting fields and not  
> JavaCOP.  You may want to paraphrase it better. 

OK, thanks.

                    -Mike