[Checkers] Checkers Code Review
Mahmood Ali
mahmood at MIT.EDU
Thu Jun 19 23:39:01 EDT 2008
Hi everyone,
I updated the files in the same old location (~/mali/public_html/
checkers-code-review) to the latest checker code.
- Mahmood
On Jun 17, 2008, at 4:45 PM, Mahmood Ali wrote:
> Greetings,
>
> There is a PDF and a PS of all the source file in ~mali/public_html/
> checkers-code-review.
> 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).
>
> Regards,
> - Mahmood
More information about the checkers
mailing list