[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