[Checkers] Type Declaration Qualifiers

Mahmood Ali mahmood at MIT.EDU
Sun Aug 24 11:12:32 EDT 2008


>> How should one express that a type cannot be Immutable?
> Can you give a use case for when one would want to say this?
I am thinking of procedural classes, e.g. loggers, parsers, output  
streams.  In practice, all references are mutable references; and I  
cannot imagine having an immutable reference to such classes.


More information about the checkers mailing list