[Checkers] Q about Mutability

Michael Ernst mernst at csail.mit.edu
Fri Nov 28 14:32:13 EST 2008


> a readonly has a mutable alias to the receiver and then  
> the method is used to modify the receiver.

You are right that this is perfectly possible and acceptable.  When only
using reference immutability, any reference, including "this", can be
changed via aliases.


More information about the checkers mailing list