[Checkers] Interaction Between Checkers
Michael Ernst
mernst at csail.mit.edu
Fri Apr 11 08:21:23 EDT 2008
Mahmood-
> I was just thinking of how hard it is to have dependancies between
> current factories now, and was wondering if we can do anything about it.
>
> Example:
> Any Interned value should be immutable (in the IGJ sense) too.
> However, I cannot easily describe this relation in the current
> framework or checkers.
This is an interesting avenue for future work. I would say that for now we
should focus on more immediate usability issues. (For now, users won't be
able to take advantage of cross-checker annotation relationships.) But
let's add this to the list of interesting problems to take on later.
-Mike
More information about the checkers
mailing list