[Checkers] Bottom type qualifier

Michael Ernst mernst at cs.washington.edu
Tue Jun 2 23:54:36 EDT 2009


> Sorry, I forgot about the difference between programmer and type  
> system designer.  I cannot think of a single case where the programmer  
> explicitly write the annotation.  That's why I wanted the explicit  
> bottom qualifier to be a package scope annotation.

OK, that sounds reasonable.


More information about the checkers mailing list