[Checkers] Questions about Javari quals
mahmood at MIT.EDU
Wed Jun 11 15:55:37 EDT 2008
I have two questions about the java qualifiers.
1. Should PolyRead accept a String value? If so, what does it mean
and can you document it?
2. What does @Unmodifiable mean? I see no use of it in the checker
itself. I've heard that at some point it was for immutable classes,
but it seems that ReadOnly does that now too. Should we delete it?
More information about the checkers