[Checkers] Need for multiple immutability parameters
mernst at csail.mit.edu
Wed Jun 11 09:12:09 EDT 2008
> > The Checker Framework paper says:
> > In just two cases, the programmer would have liked multiple immutability
> > parameters for an object. The return value of \<Map.keySet> allows removal
> > but disallows insertion. The return value of \<Arrays.asList> is a mutable
> > list with a fixed size; it allows changing elements but not insertion nor
> > removal.
When you wrote "changing elements", do you mean "replacing elements"?
If so, then I understand the analogy between the examples.
More information about the checkers