[Checkers] Immutability checker

Michael Ernst mernst at cs.washington.edu
Fri Jun 12 13:45:55 EDT 2009


As a followup to my mention of our new @GuardedBy checker, we have for
several years had a checker for immutability -- essentially the same
semantics as JCIP's.  (You didn't seem to know about this when we talked at

That checker is distributed with the Checker Framework.  It's called the
IGJ checker, after a type system named IGJ that includes @Immutable and
other features (that you don't have to use if you don't want to).

You can find its documentation at



More information about the checkers mailing list