[Checkers] more constructors
mahmood at MIT.EDU
Wed Jun 4 23:35:42 EDT 2008
Actually, .subsitute isn't you would want for resolving polymorphic
qualifiers anyway. .substitute substitute _annotated types_ with
other ones, and not annotations.
You should use SimpleAnnotatedTypeScanner by overriding
> Can one of you add a test couple to the framework expliciting why
> this happens, so I can keep working on it?
I'm sorry, I didn't understand 'test couple'. You can send a patch
and I will examine it.
More information about the checkers