[Checkers] more constructors

Mahmood Ali mahmood at MIT.EDU
Wed Jun 4 23:45:21 EDT 2008

Hi Telmo,

I am quite sure what to test for now.  I will be in the office  
tomorrow.  We can discuss this then.

> I instead extended AnnotatedTypeScanner, since I need to visit two  
> AnnotatedTypeMirrors at the same time, one of them as the parameter
Please send me your patch.  I think there will be a simpler solution.

- Mahmood

More information about the checkers mailing list