[Checkers] BasicChecker Question

Mahmood Ali mahmood at MIT.EDU
Wed Jun 4 19:01:48 EDT 2008

Hi Matt,

Does the Flow class operate on non-polymorphic types only?  I noticed  
that in BasicChecker flowQuals contains all supported qualifiers but  
polymorphic ones.  I am thinking of the following trivial method:

@NullPoly identity(@NullPoly String s) {
     String m = s;
     return m;

- Mahmood

More information about the checkers mailing list