[Checkers] Checkers Code Review

[Mahmood Ali]

Greetings everyone,

For the code review to be scheduled on June 23rd.  The checkers code  
for the code review is available now in ~mali/public_html/checkers- 
code-review.  It directory contains two files:

manual.pdf -  the manual for Checkers Framework, and section 9 'How to  
create a new checker plug-in' would be the most relevant section for  
the code review.

checkers.zip - a zip of all the files, the source files are in  
checkers/src when unzipped.

Please review any files you can review any subset you like (with  
emphasis on checkers.basetype, .types -- the core of the framework).

Regards,
Mahmood