public @interface Immutable
Indicates that the annotated reference is an immutable reference to an
immutable object.
An Immutable object cannot be modified. Its fields may be reassigned or
mutated only if they are explicitly marked as Mutable or Assignable.
- See the Checker Framework manual:
- IGJ Checker