[Checkers] Anonymous Constructors

Michael Ernst mernst at csail.mit.edu
Wed Jul 2 08:56:38 EDT 2008


Mahmood-

> The type qualifiers annotations should be copied to the constructors.   
> I can go either way about whether the compiler or the framework that  
> should this job.

I see.  Every time something looks simple, we discover it's actually a bit
more complicated!

I can live with either approach.  It sounds like you are leaning toward
having the framework do it, and that's OK with me.

                    -Mike



More information about the checkers mailing list