[Checkers] Checkers Code Review
mahmood at MIT.EDU
Thu Jun 19 23:39:01 EDT 2008
I updated the files in the same old location (~/mali/public_html/
checkers-code-review) to the latest checker code.
On Jun 17, 2008, at 4:45 PM, Mahmood Ali wrote:
> There is a PDF and a PS of all the source file in ~mali/public_html/
> The files include a table of contents and numbering for all the
> files, so it would make our browsing through the code easier.
> Please note that they include all the files, with a lot of utilities
> classes and the declarations of annotations.
> - checkers/basetype and checkers/types contain the core classes of
> the framework;
> - each checker (nullness, interning, javari, igj) has its own package.
> - I advise against revising checkers.util subpackages (e.g. skel,
> debug, dist, test, count).
> - Mahmood
More information about the checkers