See: Description
| Annotation Type | Description |
|---|---|
| Assignable |
Indicates the annotated
Field may be re-assigned regardless of the
immutability of the enclosing class or object instance. |
| AssignsFields |
Indicates that the annotated method could assign (but not mutate) the fields
of
this object. |
| I |
Template annotation over IGJ Immutability annotations.
|
| IGJBottom |
An annotation used to represent a placeholder immutability type, that is a
subtype of all other types.
|
| Immutable |
Indicates that the annotated reference is an immutable reference to an
immutable object.
|
| Mutable |
Indicates that the annotated reference is an immutable reference to an
immutable object.
|
| ReadOnly |
Indicates that the annotated reference is a ReadOnly reference.
|
IGJChecker